Giorgio Mongardi

Publication Activity (10 Years)

Years Active: 1995-2001
Publications (10 Years): 0

Publications

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) (2001)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspects Comput. 10 (4) (1998)
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)
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)
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12 (2) (1998)
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi
Proving Safety Properties for Embedded Control Systems. EDCC (1996)
A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP (1995)