Matteo Tempestini

According to our database, Matteo Tempestini authored at least 7 papers between 2006 and 2016.

Collaborative distances:

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

2016

Validation process for railway interlocking systems.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini

Sci. Comput. Program., 2016

2013

The Metrô Rio case study.

Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini

Sci. Comput. Program., 2013

Validation of Railway Interlocking Systems by Formal Verification, A Case Study.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani

Proceedings of the Software Engineering and Formal Methods, 2013

2012

A GUI Testability Problem: A Case Study in the Railway Signaling Domain.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2011

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.

Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini

Int. J. Embed. Real Time Commun. Syst., 2011

2010

The Metrô Rio ATP Case Study.

Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2006

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.

Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni

Proceedings of the FM 2006: Formal Methods, 2006