Dr. Michael Gerke

While being a member of this group or in collaboration with us.

• FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · I@A 2012
• Automatic Protocol Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · AVACS Technical Report No. 86
• Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams
  Rüdiger Ehlers, Daniel Fass, Michael Gerke and Hans-Jörg Peter · RTSS 2010
• Making the Right Cut in Model Checking Data-Intensive Timed Systems
  Rüdiger Ehlers, Michael Gerke and Hans-Jörg Peter · ICFEM 2010
• Model Checking the FlexRay Physical Layer Protocol
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · FMICS 2010

While being a member of this group or in collaboration with us.

• Modeling and Verifying the FlexRay Physical Layer Protocol with Reachability Checking of Timed Automata
  Michael Gerke · UdS
• Zone State Diagrams
  Michael Gerke · UdS (Master Thesis)