| |
| 2008 | ||
|---|---|---|
| 4 | EE | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008) |
| 2007 | ||
| 3 | EE | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252 |
| 2006 | ||
| 2 | EE | Johannes Faber, Roland Meyer: Model Checking Data-Dependent Real-Time Properties of the European Train Control System. FMCAD 2006: 76-77 |
| 1 | EE | Roland Meyer, Johannes Faber, Andrey Rybalchenko: Model Checking Duration Calculus: A Practical Approach. ICTAC 2006: 332-346 |
| 1 | Jochen Hoenicke | [4] |
| 2 | Swen Jacobs | [3] |
| 3 | Roland Meyer | [1] [2] [4] |
| 4 | Andrey Rybalchenko | [1] [4] |
| 5 | Viorica Sofronie-Stokkermans (Viorica Sofronie) | [3] |