Gianluca Magnani

According to our database, Gianluca Magnani authored at least 6 papers between 2010 and 2014.

Collaborative distances:

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

2014

Formal methods and code generation techniques in the development of railway signalling systems.

Gianluca Magnani

PhD thesis, 2014

2013

Model-Based Development and Formal Methods in the Railway Industry.

Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani

IEEE Softw., 2013

The Metrô Rio case study.

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

Sci. Comput. Program., 2013

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

Model Checking Interlocking Control Tables.

Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi

Proceedings of the FORMS/FORMAT 2010, 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