Stephan Reitemeyer

According to our database, Stephan Reitemeyer authored at least 2 papers between 2008 and 2009.

Collaborative distances:

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

2009

Semiformal verification of temporal properties in automotive hardware dependent software.

Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Verification of Temporal Properties in Automotive Embedded Software.

Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer

Proceedings of the Design, Automation and Test in Europe, 2008