Michael Gerke
Please refer to my new website at Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
Contact
Michael Gerke (Ph.D. Student)
Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 4392
Fax: +49 681 302 4397
eMail: gerke at cs.uni-saarland.de
Saarland Informatics Campus
Building: E 1.1 Room: U14
About me
As well as being a Ph.D. Student in the Reactive Systems Group in the Computer Science Department at Saarland University, I’m a member of the Scientiffic Staff at Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
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. |