Franco Mazzanti

Franco Mazzanti

Institute of Information Science and Technologies, CNR - / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5006600
person_outline Franco Mazzanti's MOST POPULAR ARTICLES
1-) A state/event-based model-checking approach for the analysis of abstract system properties MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti Science of Computer Programming 76 (2), 119-135, 2011 992011
2-) Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints MH ter Beek, A Fantechi, S Gnesi, F Mazzanti Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016 702016
3-) An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti International Workshop on Formal Methods for Industrial Critical Systems …, 2007 652007
4-) A model checking approach for verifying COWS specificationsA Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F TiezziFundamental Approaches to Software Engineering: 11th International …, 2008662008
5-) On the Industrial Uptake of Formal Methods in the Railway Domain A Survey with StakeholdersD Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...14th International Conference on Integrated Formal Methods (IFM) LNCS 11023 …, 2018652018