Institut für Rechnerarchitektur
und Parallelrechner
Dr. Steffen Knapp
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 318
Postfach 151150   Tel: +49 (0)681 302-5557
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail:
1981 Geboren in Hadamar (Hessen)
2001 Abitur an der Peter-Paul-Cahensly-Schule Limburg
2002 Zivildienst bei der evangelischen Kirchengemeinde Limburg
2002 - 2005 Studium an der Universität des Saarlandes
2005 Master of Science
2005 Promotionsstipendium der International Max Planck Research School (IMPRS)
2005 - 2008 Promotion
Durchgängige Korrektheitsbeweise für Betriebsysteme
Steuerelektronik im Automobilbereich (Verteilte Systeme)
Private Homepage
Botaschanjan, J. and Broy, M. and Gruler, A. and Harhurin, A. and Knapp, S. and Kof, L. and Paul, W. and Spichkova, M.   EE BibTeX
On the Correctness of Upper Layers of Automotive Systems.
In Eerke Boiten, editors, Formal Aspects of Computing,
pages 637-662, Springer London, 2008.
ISBN 0934-5043
Knapp, Steffen   EE BibTeX
Pervasive Layered Verification of a Distributed Real-Time System.
In Third International Conference on Systems (ICONS'08),
pages 323--328, 2008.
Alkassar, Eyad and Böhm, Peter and Knapp, Steffen   EE BibTeX
Formal Correctness of a Gate-Level Automotive Bus Controller Implementation.
In Bernd Kleinjohann and Lisa Kleinjohann and Wayne Wolf, editors, 6th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES08),
pages 57-68, Springer, 2008.
Alkassar, Eyad and Böhm, Peter and Knapp, Steffen   EE BibTeX
Correctness of a Fault-Tolerant Real-Time Scheduler Algorithm and its Hardware Implementation.
In Formal Methods and Models for Codesign (MEMOCODE'2008),
pages 175--186, IEEE Computer Society Press, 2008.
Knapp, Steffen   BibTeX
The Correctness of a Distributed Real-Time System.
Doktorarbeit, Universität des Saarlandes, 2008.
Knapp, S. and Paul, W. J. EE BibTeX
Pervasive Verification of Distributed Real Time Systems.
In M. Broy, J. Grünbauer, T. Hoare, editors, Software System Reliability and Security,
NATO Security Through Science Series. Sub-Series: Information and Communication Vol.9, IOS Press, 2007.
ISBN 978-1-58603-731
Alkassar, E. and Hillebrand, M. and Knapp, S. and Rusev, R. and Tverdyshev, S. EE BibTeX
Formal Device and Programming Model for a Serial Interface.
In B. Beckert, editors, Proceedings, 4th International Verification Workshop (VERIFY), Bremen, Germany,
pages 4--20, CEUR-WS Workshop Proceedings, 2007.
Knapp, S. and Paul, W. J.   EE BibTeX
Realistic Worst Case Execution Time Analysis in the Context of Pervasive System Verification.
In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of his 60th Birthday,
volume 4444 of LNCS, pages 53--81, Springer, 2006.
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
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),