Christian Reidl

According to our database, Christian Reidl authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017