Thomas In der Rieden

According to our database, Thomas In der Rieden authored at least 5 papers between 2005 and 2008.

Collaborative distances:

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

2008

CVM - A Verified Framework for Microkernel Programmers.

Thomas In der Rieden, Alexandra Tsyban

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

2005

Dealing with I/O Devices in the Context of Pervasive System Verification.

Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

An approach to the pervasive formal specification and verification of an automotive system: status report.

Thomas In der Rieden, Steffen Knapp

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Towards the Pervasive Verification of Automotive Systems.

Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2005