Giorgio Mongardi

According to our database, Giorgio Mongardi authored at least 7 papers between 1995 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.

Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi

Comput. Syst. Sci. Eng., 2001

1998

A Formal Verification Environment for Railway Signaling System Design.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Formal Methods Syst. Des., 1998

Formal Verification of a Railway Interlocking System using Model Checking.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Formal Aspects Comput., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Proceedings of the Computer Safety, 1998

Applying Formal Methods in Industry The UseGat Project.

Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard

Proceedings of the Computer Safety, 1998

1996

Proving Safety Properties for Embedded Control Systems.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi

Proceedings of the Dependable Computing, 1996

1995

An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.

A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli

Proceedings of the 14th International Conference on Computer Safety, 1995