Formal Methods && Tools Group


Stefania Gnesi is director of research at CNR-ISTI since 2001, and head of the Formal Methods and Tools group. She has been chair of the ERCIM-FMICS working group from 2002 to 2005, and currently is deputy chair of the Formal Methods Europe (FME) association and member of the IFIP WG 1.3 - Foundation of Systems Specification. She was coordinator of several CNR projects on Methods and Tools for Analysis, Verification and Validation of Safety-Critical and Mobile Systems among which MOD-CONTROL (Train control and monitoring system, a sub-project of MODTRAIN FP6-PLT-506652/TIP3-CT-2003-506652), the IST-FET IP SENSORIA (Software Engineering for Service-Oriented Overlay Computers), the EU FP7-ICT- 2013-11 / 619583 LearnPAd (Model-Based Social Learning for Public Administrations) and TRACE-IT: TrainControl Enhancement via Information Technology (PAR FAS 2007-2013 Azione 1.1 P.I.R. 1.1.B, 2011-2013,cofounded by Tuscany Region).Currently she is involved in QUANTICOL: Quantitative Modeling of Collective Adaptive Systems. In SENSORIA Stefania Gnesi was responsible for the WP8 on Case Studies. In LearnPad she was responsible of WP4 on Models and Contents Quality Assessment, whose purpose is to provide support for quality assessment both of model specifications, and related contents.
She is member of the editorial Board of the International Journal on Software Tools for Technology Transfer, Springer and she has been program chair of several conferences and workshops in the area of formal methods. Gnesi’s current research interests include i) study and development of new methods and tools for the formal specification and verification of complex systems; ii) application of model-checking techniques to complex case studies, focusing on the study of formal verification methods