Andrea Bonacchi

According to our database, Andrea Bonacchi authored at least 7 papers between 2012 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

2015

Review of the validation process for critical software applications in railway signalling.

Andrea Bonacchi

PhD thesis, 2015

2014

Validation of Interlocking Systems by Testing their Models.

Andrea Bonacchi, Alessandro Fantechi

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

On the Validation of an Interlocking System by Model-Checking.

Andrea Bonacchi, Alessandro Fantechi

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

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

Formal safety proof: a real case study in a railway interlocking system.

Andrea Bonacchi

Proceedings of the International Symposium on Software Testing and Analysis, 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