2001 |
6 | | Andrea Bondavalli,
Manuela Nelli,
Luca Simoncini,
Giorgio Mongardi:
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng. 16(4): 249-261 (2001) |
1998 |
5 | EE | Sandro Bologna,
Rocco Bove,
Giovanni Dipoppa,
Giorgio Mongardi,
Gino Biondi,
Carmen Porzia,
Benny Graft Mortensen,
Niels Kirkegaard:
Applying Formal Methods in Industry The UseGat Project.
SAFECOMP 1998: 231-242 |
4 | EE | Alessandro Cimatti,
Fausto Giunchiglia,
Giorgio Mongardi,
Dario Romano,
Fernando Torielli,
Paolo Traverso:
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
SAFECOMP 1998: 284-295 |
3 | EE | Alessandro Cimatti,
Fausto Giunchiglia,
Giorgio Mongardi,
Dario Romano,
Fernando Torielli,
Paolo Traverso:
Formal Verification of a Railway Interlocking System using Model Checking.
Formal Asp. Comput. 10(4): 361-380 (1998) |
2 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Giorgio Mongardi,
Dario Romano:
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design 12(2): 139-161 (1998) |
1996 |
1 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Giorgio Mongardi:
Proving Safety Properties for Embedded Control Systems.
EDCC 1996: 321-332 |