Michael Gerke

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Communication Protocol

Top Venues

Infotech@Aerospace

Publications

Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace (2012)
Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter
Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM (2010)
Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS (2010)
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
Model Checking the FlexRay Physical Layer Protocol. FMICS (2010)
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)