Follow
Sara Belluccini
Sara Belluccini
IMT Lucca
Verified email at imtlucca.it
Title
Cited by
Cited by
Year
Verification of privacy-enhanced collaborations
S Belluccini, R De Nicola, M Dumas, P Pullonen, B Re, F Tiezzi
Proceedings of the 8th International Conference on Formal Methods in …, 2020
52020
PALM: A Technique for Process ALgebraic Specification Mining
S Belluccini, R De Nicola, B Re, F Tiezzi
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
22020
Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities
S Belluccini
IMT Institute for Advanced Studies Lucca, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3