Sara Belluccini

According to our database, Sara Belluccini authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Model-based verification of data protection mechanisms in collaborative business processes.

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re, Francesco Tiezzi

Softw. Syst. Model., April, 2025

CERERE - An Emulation Environment to Evaluate the Resilience of Complex Systems against Cyber Electro-Magnetic Activities.

Matteo Attenni, Sara Belluccini, Giordano Colò, Andrea Pompili, Pietro Tedeschi, Lennart Bader, Martin Serror, Eric Wagner, Thorsten Aurisch, Maximilian Prahl-Kamps, Philipp Zißner

Proceedings of the International Conference on Military Communication and Information Systems, 2025

2020

PALM: A Technique for Process ALgebraic Specification Mining.

Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Verification of Privacy-Enhanced Collaborations.

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020