Gianluca Magnani

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Provably Correct

Construction Industry

Temporal Properties

Top Venues

Sci. Comput. Program.

Publications

Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
The Metrô Rio case study. Sci. Comput. Program. 78 (7) (2013)
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani
Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. 30 (3) (2013)
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)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
Model Checking Interlocking Control Tables. FORMS/FORMAT (2010)