| | |
other persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147 |
| 3 | | Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM 2010: 565-580 |
| 2 | | Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter: Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS 2010: 360-371 |
| 2005 | ||
| 1 | | Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326 |
| 1 | Sven Beyer | [1] |
| 2 | Peter Böhm | [1] |
| 3 | Rüdiger Ehlers (Ruediger Ehlers) | [2] [3] [4] |
| 4 | Daniel Fass | [2] |
| 5 | Bernd Finkbeiner | [4] |
| 6 | Mark A. Hillebrand | [1] |
| 7 | Steffen Knapp | [1] |
| 8 | Dirk Leinenbach | [1] |
| 9 | Wolfgang J. Paul | [1] |
| 10 | Hans-Jörg Peter (Hans-Joerg Peter) | [2] [3] [4] |
| 11 | Thomas In der Rieden | [1] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page