Angelo Chiappini

According to our database, Angelo Chiappini authored at least 2 papers between 1999 and 2010.

Collaborative distances:

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

2010

Formalization and validation of a subset of the European Train Control System.

Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

1999

Formal Specification and Development of a Safety-Critical Train Management System.

Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita

Proceedings of the Computer Safety, 1999