Franco Mazzanti

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi et al. · Science of Computer Programming · 2010 · 83 citations

Engineering, Formal Modeling, Program Analysis +14

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi et al. · Journal of Logical and Algebraic Methods in Programming · 2015 · 83 citations · Full text

Systems Analysis, Variability Constraints, Engineering +13

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design

Alessio Ferrari, Franco Mazzanti, Davide Basile et al. · IEEE Transactions on Software Engineering · 2021 · 46 citations

Railway Traffic, Engineering, Software Systems +26

A logical verification methodology for service-oriented computing

Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula et al. · ACM Transactions on Software Engineering and Methodology · 2012 · 38 citations

Engineering, Verification, Software Engineering +19

Towards formal methods diversity in railways: an experience report with seven frameworks

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo · International Journal on Software Tools for Technology Transfer · 2018 · 34 citations

Railway Traffic, Formal Specification, Engineering +11