Static analysis and family-based model checking with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michael Lienhardt (SPLC (A), 2021)

Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini; Giordano Scarso (Sci. Comput. Program., 2022)

An Enhanced Exchange Operator for XC. - Giorgio Audrito; Daniele Bortoluzzi 002; Ferruccio Damiani; Giordano Scarso; Gianluca Torta (COORDINATION, 2024)

Software Engineering for Collective Cyber-Physical Ecosystems. - Roberto Casadei; Gianluca Aguzzi; Giorgio Audrito; Ferruccio Damiani; Danilo Pianini; Giordano Scarso; Gianluca Torta; Mirko Viroli (ACM Trans. Softw. Eng. Methodol., 2025)