Institut für Rechnerarchitektur
und Parallelrechner
Dr. Jan Dörrenbächer
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik    
Postfach 151150    
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: jandb@wjpserver.cs.uni-saarland.de
 
 
Lebenslauf
1980 Geboren in Ottweiler
1999 Abitur am Cusanus Gymnasium in St. Wendel
1999 - 2000 Zivildienst
2000 - 2004 Studium der Computer- und Kommunikationstechnik an der Universität des Saarlandes
2004 Wissenschaftlicher Mitarbeiter im bmb+f Projekt "Verisoft - Beweisen als Ingenieurswissenschaft"
 
Forschungsinteressen
Hardware Design
Formale Verifikation von Low-Level Betriebssystemsoftware
 
Private Homepage
http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=86
 
Publikationen
Dörrenbächer, Jan   BibTeX
Formal Specification and Verification of a Microkernel.
Dissertation, Saarland University, Saarbrücken, 2010.
 
Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart   EE BibTeX
Proving Fairness and Implementation Correctness of a Microkernel Scheduler.
In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating System Verification,
pages 349-388, Springer, 2009.
ISBN 0168-7433
Note: The original publication is available at www.springerlink.com
 
Daum, Matthias and Dörrenbächer, Jan and Schmidt, Mareike and Wolff, Burkhart   EE BibTeX
A Verification Approach for System-level Concurrent Programs.
In Woodcock, Jim and Shankar, Natarajan, editors, Verified Software: Theories, Tools, and Experiments,
volume 5295/2008 of LNCS, pages 161-176, Springer, 2008.
ISBN 978-3-540-87872
 
Daum, Matthias and Dörrenbächer, Jan and Bogan, Sebastian EE BibTeX
Model Stack for the Pervasive Verification of a Microkernel-based Operating System.
In Beckert, Bernhard and Klein, Gerwin, editors, 5th International Verification Workshop (VERIFY'08),
volume 372 of CEUR Workshop Proceedings, pages 56-70, CEUR-WS.org, 2008.