Michael Gerke

Michael Gerke

Contact

Michael Gerke (Ph.D. Student)
Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5657
Fax: +49 681 302 5669
eMail: gerke at cs.uni-saarland.de
Saarland Informatics Campus
Building: E 1.1 Room: 1.16.3

About me

I am a Ph.D. Student in the Reactive Systems Group in the Computer Science Department at Saarland University.
Currently, I am employed as a research and teaching assistant working in the AVACS project (DFG SFB/TR 14).

In 2011, I was awarded the NRW Young Scientist Award 2011 in the category Dynamic Intelligent Systems (Computer Science and Embedded Systems).

Research

I am interested in the theory of timed automata and their applications in verification, as well as the automotive communication protocol FlexRay and the verification of physical layer protocols.

Publications

[GEFP12] FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
with Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter.
AIAA I@A 2012.
[GEFP12a] Automatic Protocol Verification with Parametric Physical Layers
with Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter.
AVACS Technical Report No. 86.
[Ger10] Zone State Diagrams.
Master Thesis 2010.
[EFGP10] Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams
with Rüdiger Ehlers, Daniel Fass, and Hans-Jörg Peter.
RTSS 2010.
[EGP10] Making the Right Cut in Model Checking Data-Intensive Timed Systems
with Rüdiger Ehlers and Hans-Jörg Peter.
ICFEM 2010.
[GEFP10] Model Checking the FlexRay Physical Layer Protocol
with Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter.
FMICS 2010.
[Ger07] Implementation of Frame and Symbol Transmission in a Time Triggered Serial Bus Architecture.
Bachelor Thesis 2007.
[Ger05] Flex Ray: Coding and Decoding, Media Access Control, Frame and Symbol Processing and Serial Interface
Report, 2005.
[BBG+05] Towards the formal verification of lower system layers in automotive systems.
with Sven Beyer, Peter Böhm, Mark Hillebrand, Tom In der Rieden, Steffen Knapp, Dirk Leinenbach, and Wolfgang J. Paul.
ICCD 2005.

Technical Program Committees

CECNet 2013 3rd International Conference on Consumer Electronics, Communications and Networks,
Nov. 20-22, 2013, in Xianning, China

Teaching

SS 2016 Core lecture teaching assistant Embedded Systems.
SS 2014 Core lecture teaching assistant Embedded Systems.
WS 2013/14 Seminar instructor Time Machine.
SS 2013 Core lecture tutor Verification.
WS 2012/13 Seminar instructor Real-time Systems & Synthesis.
WS 2011/12 Core lecture teaching assistant Verification.
WS 2010/11 Core lecture teaching assistant Embedded Systems.
WS 2009/10 Core lecture teaching assistant Verification.
WS 2008/09 Core lecture teaching assistant Embedded Systems.