Michael Gerke

Affiliations:
  • Schloss Dagstuhl - Leibniz Center for Informatics, Germany
  • Saarland University, Department of Computer Science, Saarbrücken, Germany (former)


According to our database1, Michael Gerke authored at least 6 papers between 2005 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata.
PhD thesis, 2020

2012
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Proceedings of the Infotech@Aerospace 2012, 2012

2010
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Making the Right Cut in Model Checking Data-Intensive Timed Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Model Checking the FlexRay Physical Layer Protocol.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2005
Towards the Formal Verification of Lower System Layers in Automotive Systems.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005


  Loading...