Statistics
Publications
5
Citations
97
H-Index
5
Active since
2005
Affiliations
Saarland University(Current)
Steffen Knapp is an author at Saarland University specializing in engineering, computer science, and systems engineering.
Publications per year
2005–2018
5
5
Formal Device and Programming Model for a Serial Interface.
Eyad Alkassar, Mark Hillebrand, Steffen Knapp et al. · 2007 · 23 citations
Engineering, Hardware Verification Language, Verification +19
On the correctness of upper layers of automotive systems
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler et al. · Formal Aspects of Computing · 2008 · 21 citations · Full text
Towards the formal verification of lower system layers in automotive systems
Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations
Engineering, Hardware Verification Language, Verification +23
1–5 of 5