Contact    Jobs
Search:

Michael Gerke

Michael Gerke Michael Gerke (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5605
Fax: +49 681 302 5636
eMail: gerke at cs.uni-saarland.de
Building: E 1.3 Room: 507

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).

Research

I am interested in the theory of timed automata and their applications in verification.

Publications

[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.
[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.

Teaching

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.