Steffen Knapp

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EESteffen Knapp: Pervasive Layered Verification of a Distributed Real-Time System. ICONS 2008: 323-328
2007
3EEEyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007
2006
2EESteffen 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
1EESven 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

1Eyad Alkassar [3]
2Sven Beyer [1]
3Peter Böhm [1]
4Michael Gerke [1]
5Mark A. Hillebrand [1] [3]
6Dirk Leinenbach [1]
7Wolfgang J. Paul [1] [2]
8Thomas In der Rieden [1]
9Rostislav Rusev [3]
10Sergey Tverdyshev [3]

Copyright © Wed Aug 20 16:51:14 2008 by Michael Ley (ley@uni-trier.de)