Verification of Privacy-Enhanced Collaborations. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen; Barbara Re 001; Francesco Tiezzi 001 (FormaliSE@ICSE, 2020)

PALM: A Technique for Process ALgebraic Specification Mining. - Sara Belluccini; Rocco De Nicola; Barbara Re 001; Francesco Tiezzi 001 (IFM, 2020)

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 003; Thorsten Aurisch; Maximilian Prahl-Kamps; Philipp Zißner (ICMCIS, 2025)

Model-based verification of data protection mechanisms in collaborative business processes. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen-Raudvere; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2025)