Towards the Formal Verification of Lower System Layers in Automotive Systems. - Sven Beyer; Peter Böhm; Michael Gerke 002; Mark A. Hillebrand; Thomas In der Rieden; Steffen Knapp; Dirk Leinenbach; Wolfgang J. Paul (ICCD, 2005)

Model Checking the FlexRay Physical Layer Protocol. - Michael Gerke 002; Rüdiger Ehlers; Bernd Finkbeiner; Hans-Jörg Peter (FMICS, 2010)

Making the Right Cut in Model Checking Data-Intensive Timed Systems. - Rüdiger Ehlers; Michael Gerke 002; Hans-Jörg Peter (ICFEM, 2010)

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. - Rüdiger Ehlers; Daniel Fass; Michael Gerke 002; Hans-Jörg Peter (RTSS, 2010)

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. - Michael Gerke 002; Rüdiger Ehlers; Bernd Finkbeiner; Hans-Jörg Peter (Infotech@Aerospace, 2012)

Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata. - Michael Gerke 002 (2020)