| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jan Jürjens, Daniel Reiß, David Trachtenherz: Model-Based Quality Assurance of Automotive Software. MoDELS 2008: 858-873 |
| 2006 | ||
| 2 | EE | Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178 |
| 1 | Richard Bogenberger, David Trachtenherz: Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. Modellierung 2006: 35-49 | |
| 1 | Richard Bogenberger | [1] |
| 2 | Jewgenij Botaschanjan | [2] |
| 3 | Alexander Gruler | [2] |
| 4 | Alexander Harhurin | [2] |
| 5 | Jan Jürjens | [3] |
| 6 | Leonid Kof | [2] |
| 7 | Daniel Reiß | [3] |
| 8 | Maria Spichkova | [2] |