Thomas In der Rieden

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Thomas In der Rieden, Alexandra Tsyban
CVM - A Verified Framework for Microkernel Programmers. Electron. Notes Theor. Comput. Sci. 217 (2008)
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul
Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD (2005)
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD (2005)
Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul
Towards the Pervasive Verification of Automotive Systems. CHARME (2005)
Thomas In der Rieden, Steffen Knapp
An approach to the pervasive formal specification and verification of an automotive system: status report. FMICS (2005)