| |
| 2003 | ||
|---|---|---|
| 3 | EE | George Logothetis, Klaus Schneider, C. Metzler: Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. FDL 2003: 385-405 |
| 2 | EE | George Logothetis, Klaus Schneider, C. Metzler: Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. RTSS 2003: 256-264 |
| 1 | EE | George Logothetis, Klaus Schneider, C. Metzler: Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. SBCCI 2003: 211-216 |
| 1 | George Logothetis | [1] [2] [3] |
| 2 | Klaus Schneider | [1] [2] [3] |