Michael Gerke

Affiliations:

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

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata.

[BibT_eX]

[DOI]

Michael Gerke

PhD thesis, 2020

2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

2010

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Making the Right Cut in Model Checking Data-Intensive Timed Systems.

[BibT_eX]

[DOI]

Rüdiger Ehlers

Michael Gerke

Hans-Jörg Peter

Proceedings of the Formal Methods and Software Engineering, 2010

Model Checking the FlexRay Physical Layer Protocol.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Michael Gerke

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...