Fully symbolic timed model checking using constraint matrix diagrams R Ehlers, D Fass, M Gerke, HJ Peter 2010 31st IEEE Real-Time Systems Symposium, 360-371, 2010 | 29 | 2010 |
Towards the formal verification of lower system layers in automotive systems S Beyer, P Bohm, M Gerke, M Hillebrand, TI der Rieden, S Knapp, ... 2005 International Conference on Computer Design, 317-324, 2005 | 29 | 2005 |
Model Checking the FlexRay Physical Layer Protocol M Gerke, R Ehlers, B Finkbeiner, HJ Peter Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010 | 19 | 2010 |
Making the right cut in model checking data-intensive timed systems R Ehlers, M Gerke, HJ Peter Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 7 | 2010 |
Flex Ray: Coding and Decoding, Media Access Control, Frame and Symbol Processing and Serial Interface M Gerke Seminar report, Institut für Rechnerarchitektur und Parallelrechner …, 2005 | 5 | 2005 |
Implementation of frame and symbol transmission in a time triggered serial bus architecture M Gerke Universität des Saarlandes, 2007 | 3 | 2007 |
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers M Gerke, R Ehlers, B Finkbeiner, HJ Peter Infotech@ Aerospace 2012, 2583, 2012 | 1 | 2012 |
Zone State Diagrams M Gerke Saarland University, 2010 | 1 | 2010 |
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata M Gerke Saarländische Universitäts-und Landesbibliothek, 2020 | | 2020 |
Automatic Protocol Verification with Parametric Physical Layers M Gerke, R Ehlers, B Finkbeiner, HJ Peter SFB/TR 14 AVACS, ISSN: 1860-9821, www.avacs.org, 2012 | | 2012 |
Lecture Notes: Model Checking the FlexRay Physical Layer Protocol B Finkbeiner, P Faymonville, M Gerke Vorlesung "Verification" Wintersemester 2011/2012, Reactive Systems Group …, 2011 | | 2011 |