Formal Methods and Tools (FMT)
Responsabile: Maurice Henri ter Beek
Home
Sito Web: http://fmt.isti.cnr.it/
Il laboratorio di Formal Methods e Tools (FMT) ha una lunga esperienza nello sviluppo e nell'applicazione di formalismi, metodi e strumenti software di supporto alla specifica, progettazione e verifica di sistemi complessi. Questi sforzi si basano in genere su concetti e tecniche di base come algebre di processo, logiche temporali, probabilistiche, stocastiche e spaziali e model checking. Il laboratorio FMT è inoltre attivo nel requirements engineering e in vari settori dell'ingegneria del software, nonché nei settori dell'etica informatica, dell'informatica e della società. Importanti campi di applicazione riguardano il dominio ferroviario e, recentemente, l'analisi delle immagini mediche.
Il laboratorio FMT ha un ruolo principale nell'associazione FME (Formal Methods Europe), ERCIM (European Research Consortium for Informatics and Mathematics), ERCIM Working Group FMICS (Formal Methods in Industrial Critical Systems) e DITECFER (Distretto Tecnologico Ferroviario Ferroviario della Regione Toscana).
Nel corso degli anni, il laboratorio FMT ha organizzato numerose conferenze su metodi formali, ingegneria dei requisiti e ingegneria del software e delle linee di prodotti software, tra cui FM, FMICS, FORTE, iFM, SEFM, ABZ, AVoCS, REFSQ, VaMoS e SPLC.
Persone
- Basile Davide Ricercatore
- Broccia Giovanna Ricercatore
- Ciancia Vincenzo Ricercatore
- Ferdous Raihana Ricercatore
- Ferrari Alessio Ricercatore
- Massink Mieke Primo Ricercatore
- Mazzanti Franco Primo Ricercatore
- Spagnolo Giorgio Oronzo Ricercatore
- ter Beek Maurice Henri Primo Ricercatore
- Trentanni Gianluca Collaboratore Tecnico Enti di Ricerca
- Trivella Maria Luisa Collaboratore di Amministrazione
- Bettini Lorenzo Associato con Incarico di Collaborazione
- Bussi Laura Assegno di Ricerca
- Fantechi Alessandro Associato con Incarico di Collaborazione
- Gnesi Stefania Associato con Incarico di Collaborazione
- Imbriani Manuela Assegno di Ricerca
- Jadoon Gullelala Associato con Incarico di Collaborazione
- Latella Diego Amico ISTI
- Semini Laura Associato con Incarico di Collaborazione
- Zadenoori Mohammad Amin Assegno di Ricerca
Progetti
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
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...
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...
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".