Matteo Tempestini

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Sci. Comput. Program.

Publications

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini
Validation process for railway interlocking systems. Sci. Comput. Program. 128 (2016)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. SEFM Workshops (2013)
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
The Metrô Rio case study. Sci. Comput. Program. 78 (7) (2013)
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. QUATIC (2012)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2 (2) (2011)
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini
The Metrô Rio ATP Case Study. FMICS (2010)
Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM (2006)