Formal Methods and Tools (FMT)
Head: Maurice Henri ter Beek
Home
Web Site: http://fmt.isti.cnr.it/
The Formal Methods and Tools (FMT) lab has longstanding experience in the development and application of formal notations, methods and software support tools for the specification, design and verification of complex systems. These efforts are typically based on foundational concepts and techniques such as process algebras, temporal, probabilistic, stochastic, and spatial logics, and model checking. The FMT lab is also active in requirements engineering and various branches of software engineering, and in the areas of computer ethics and information technology and society. Important application fields concern the railway domain and, recently, medical image analysis.
The FMT lab has a main role in the association FME (Formal Methods Europe), ERCIM (European Research Consortium for Informatics and Mathematics), the ERCIM Working Group FMICS (Formal Methods in Industrial Critical Systems), and DITECFER (Distretto Tecnologico Ferroviario della Regione Toscana).
Over the years, the FMT lab has organised numerous conferences on formal methods, requirements engineering and software (product line) engineering, among which FM, FMICS, FORTE, iFM, SEFM, ABZ, AVoCS, REFSQ, VaMoS and SPLC.
People
- Basile Davide Research Staff
- Broccia Giovanna Research Staff
- Ciancia Vincenzo Research Staff
- Ferdous Raihana Research Staff
- Ferrari Alessio Research Staff
- Massink Mieke Research Staff
- Mazzanti Franco Research Staff
- Spagnolo Giorgio Oronzo Research Staff
- ter Beek Maurice Henri Research Staff
- Trentanni Gianluca Technical Staff
- Trivella Maria Luisa Administrative Staff
- Bettini Lorenzo Research Associate
- Bussi Laura Graduate Fellow
- Fantechi Alessandro Research Associate
- Gnesi Stefania Research Associate
- Imbriani Manuela Graduate Fellow
- Jadoon Gullelala Research Associate
- Latella Diego ISTI Friend
- Millitarì Giulia Doctoral Student
- Semini Laura Research Associate
- Zadenoori Mohammad Amin Graduate Fellow
Projects
CN_CNMS_Spoke4_FMT - CUP B43C22000440001
CN - Sustainable Mobility Center (Centro Nazionale per la Mobilità Sostenibile – CNMS)
CODECS
Maximising the CO-benefits of agricultural Digitalisation through conducive digital ECoSystems
STENDHAL
Spatio-temporal Enhancement of Neural Nets for Deeply Hierarchical Automatised Logic
T-LADIES
Typeful Language Adaptation for Dynamic, Interacting and Evolving System
News
17th International Conference on the Quality of Information and Communications Technology (QUATIC 2024)
Events
2024-03-20 h.07:31
QUATIC is a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encourage...
Franco Mazzanti and Frédéric Lang have won gold medals at the RERS 2019 Parallel Challenges
Achievements
2019-04-19
Franco Mazzanti (FMT Lab, ISTI) and Frédéric Lang (CONVECS, Grenoble, France) recently won all gold medals for the "Parallel CTL" and "Parallel LTL" tracks of the RERS 20...
Franco Mazzanti and Frédéric Lang have won gold medals at the RERS 2019 Parallel Challenges
News
2019-04-19
Link: http://rers-challenge.org/2019/index.php?page=results Franco Mazzanti (FMT Lab, ISTI) and Frédéric Lang (CONVECS, Grenoble, France) recently won all gold medals for the "Parallel...
Distinguished Research Paper Award at 26th IEEE International Requirements Engineering Conference (RE'18), August 20 - 24, 2018 Banff, Canada
Achievements
2018-10-09
The paper "Learning from Mistakes An Empirical Study of Elicitation Interviews performed by Novices" by Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati) h...
Eleven innovations developed in European Projects with ISTI Partner or Coordinator among the List of the EC Innovation Radar
News
2018-04-19
The Innovation Radar (IR) is a new initiative of the European Commission that focuses on the identification of high-potential innovations in the ICT FP7, CIP and H2020 projects and the ...
IEEE Requirements Engineering Conference 2015 Best Paper Award
Achievements
2015-08-16
A. Ferrari, P. Spoletini and S. Gnesi are the recipients of the IEEE RE Paper Award 2015.
CfP WWV 2015: 11th Workshop on Automated Specification and Verification of Web Systems
Events
2015-06-23 h.09:00
IMPORTANT DATES Abstract submission March 18, 2015 Paper submission March 25, 2015 Notification of acceptance May 8, 2015 Camera ready versions ...
Tommaso Bolognesi - Third Prize in the FQXi Essay Contest 2015
Achievements
2015-06-12
Tommaso Bolognesi has been awarded the 3rd prize (ex-aequo) in the FQXi Essay Contest 2015 "Trick or Truth: the mysterious connection between physics and mathematics". His essay "Let’s...
Tommaso Bolognesi - 4th Prize in the FQXi Essay Contest 2014
Achievements
2014-09-01
Tommaso Bolognesi has been awarded the 4th prize in the FQXi Essay Contest 2014 'How Should Humanity Steer the Future?' The title of the essay is: 'Humanity is much more than the sum o...
9th International Conference on Integrated Formal Methods (iFM 2012)
Events
2012-06-18
The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all ...
T. Bolognesi - 4th prize in the Essay Contest 'Reality: Digital or Analog'?
Achievements
2011-06-23
On June 6, 2011, Tommaso Bolognesi (ISTI) has been awarded the 4th prize in the Essay Contest 'Reality: Digital or Analog'? launched in November 2010 by FQXi, the Foundational Questio...
Best paper at FMICS 2010
Achievements
2010-09-20
Best paper at FMICS 2010: "The Metro Rio ATP case study" by Alessio Ferrari, Alessandro Fantechi, Daniele Grasso, and Gianluca Magnani. Published by Springer in LNCS 6371.
Eighth IEEE International Conference on Software Engineering and Formal Methods
Events
2010-09-13
The Conference is hosted by Formal Methods && Tools Lab (FM&&T) at the Institute of Information Science and Technologies of the Italian National Research Council (ISTI-CN...
Best Paper Award alla 2nd International Conference on Internet and Web Applications and Services (ICIW'07)
Achievements
2007-05-13
A. Bucchiarone, M. ter Beek e S. Gnesi hanno ricevuto il riconoscimento per l'articolo "Web Service Composition Approaches: From Industrial Standards to Formal Methods".