Christof Efkemann

According to our database, Christof Efkemann authored at least 3 papers between 2008 and 2014.

Collaborative distances:

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

2014

A Framework for Model-based Testing of Integrated Modular Avionics.

Christof Efkemann

PhD thesis, 2014

2011

Model-Based Testing for the Second Generation of Integrated Modular Avionics.

Christof Efkemann, Jan Peleska

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008

Specification of Conditions for Error Diagnostics.

Christof Efkemann, Tobias Hartmann

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008