Warning: Undefined array key "lang" in /www/www-wjp/system/lang.php on line 19
Institut für Rechnerarchitektur und Parallelrechner - Leute
Institut für Rechnerarchitektur
und Parallelrechner

Warning: Undefined variable $pubfilter in /www/www-wjp/includes/listeindividuum.php on line 130
Dr. Thomas In der Rieden
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 1.23 (Geb.E1.7)
Postfach 151150   Tel: +49 (0)681 302-70150
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: idr@cs.uni-saarland.de
 
 
Lebenslauf
1973 geboren
1992 Abitur am Gymnasium am Steinwald, Neunkirchen/Saar
2002 Diplom in Informatik
2002 - 2003 Wissenschaftlicher Assistent am Lehrstuhl Paul
2003 - 2007 Mitglied Projektleitung bmb+f Projekt Verisoft
2003 Assistent der Vorlesung Informatik 2 "Rechnerorganisation"
2007 - 2010 Mitglied Projektleitung bmb+f Projekt Verisoft XT
2008 Geschäftsführer Exzellenzcluster "Multimodal Computing and Interaction"
2009 Geschäftsführer Kompetenzzentrum Informatik
2009 Promotion bei Prof. Dr. Wolfgang Paul und Prof. Dr. Manfred Broy
 
Forschungsinteressen
Formale Verifikationen von Software
Datenbanken
Programmiersprachen
 
Private Homepage
http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=50
 
Publikationen

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
In der Rieden, Thomas   BibTeX
Verifi ed Linking for Modular Kernel Veri fication.
Dissertation, Saarland University, Saarbrücken, 2009.
 
In der Rieden, T. and Tsyban, A.   EE BibTeX
CVM - A Verified Framework for Microkernel Programmers.
In R. Huuck, G. Klein and B. Schlich, editors, 3rd intl Workshop on Systems Software Verification (SSV08),
volume 217 of ENTCS, pages 151--168 , Elsevier Science B.V., 2008.
 
In der Rieden, T. and Paul, W. J.   EE BibTeX
Beweisen als Ingenieurwissenschaft: Verbundprojekt Verisoft (2003--2007).
In Reuse, B. and Vollmar, R., editors, Informatikforschung in Deutschland,
Karlsruhe
pages 321--326, Springer, 2008.
ISBN 9783540765493
 
Beyer, S. and Böhm, P. and Gerke, M. and Hillebrand, M. and In der Rieden, T. and Knapp, S. and Leinenbach, D. and Paul, W.J.   EE BibTeX
Towards the Formal Verification of Lower System Layers in Automotive Systems.
In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings,
pages 317-324, IEEE, 2005.
ISBN 0-7695-2451-6
 
Hillebrand, M. and In der Rieden, T. and Paul, W.J.   EE BibTeX
Dealing with I/O Devices in the Context of Pervasive System Verification.
In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings,
pages 309-316, IEEE, 2005.
ISBN 0-7695-2451-6
 
In der Rieden, T. and Knapp, S.   EE BibTeX
An Approach to the Pervasive Formal Specification and Verification of an Automotive System (Status Report).
In Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05),
2005.
 
In der Rieden, T., and Leinenbach, D., and W. J. Paul   EE BibTeX
Towards the Pervasive Verification of Automotive Systems.
In Dominique Borrione, and Wolfgang Paul, editors, Correct Hardware Design and Verification Methods (CHARME 2005),
volume 3725 of Lecture Notes in Computer Science, pages 3-4, Springer, 2005.
ISBN 3-540-29105-9
 
In der Rieden, Thomas   BibTeX
Sprachen zur Unterstützung von Multimedia-Anwendungen.
Diplomarbeit, Universität des Saarlandes, 2002.
 
Heil, B. and In der Rieden, T. and Ott, E.     BibTeX
Bildende Kunst als Mittel der Bildsprache (CD-ROM).
volume 5 of Multimedia im Unterricht, Universität des Saarlandes, Saarbrücken, 2002.