Institut für Rechnerarchitektur und Parallelrechner

Warning: Undefined variable $pubfilter in /www/www-wjp/includes/listeindividuum.php on line 130

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: sknapp@wjpserver.cs.uni-saarland.de

Lebenslauf

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

Forschungsinteressen

Echtzeitsysteme

Durchgängige Korrektheitsbeweise für Betriebsysteme

Steuerelektronik im Automobilbereich (Verteilte Systeme)

Private Homepage

http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=100

Publikationen

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

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,
Dagstuhl
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),
2005.