Steffen Knapp

	2008
8		Eyad Alkassar, Peter Böhm, Steffen Knapp: Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES 2008: 57-67
7		Steffen Knapp: Pervasive Layered Verification of a Distributed Real-Time System. ICONS 2008: 323-328
6		Eyad Alkassar, Peter Böhm, Steffen Knapp: Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE 2008: 175-186
5		Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
4		Steffen Knapp: The correctness of a distributed real-time system. Saarland University 2008
	2007
3		Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007
	2006
2		Steffen Knapp, Wolfgang J. Paul: Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Program Analysis and Compilation 2006: 53-81
	2005
1		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: 317-326

Coauthor Index

1	Eyad Alkassar	[3] [6] [8]
2	Sven Beyer	[1]
3	Peter Böhm	[1] [6] [8]
4	Jewgenij Botaschanjan	[5]
5	Manfred Broy	[5]
6	Michael Gerke	[1]
7	Alexander Gruler	[5]
8	Alexander Harhurin	[5]
9	Mark A. Hillebrand	[1] [3]
10	Leonid Kof	[5]
11	Dirk Leinenbach	[1]
12	Wolfgang J. Paul	[1] [2] [5]
13	Thomas In der Rieden	[1]
14	Rostislav Rusev	[3]
15	Maria Spichkova	[5]
16	Sergey Tverdyshev	[3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page