| 2003 |
|---|
| 13 | EE | George Logothetis,
Klaus Schneider:
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.
DATE 2003: 10196-10203 |
| 12 | 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 |
| 11 | 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 |
| 10 | EE | George Logothetis,
Klaus Schneider,
C. Metzler:
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.
SBCCI 2003: 211-216 |
| 2002 |
|---|
| 9 | EE | George Logothetis,
Klaus Schneider:
Extending Synchronous Languages for Generating Abstract Real-Time Models.
DATE 2002: 795-803 |
| 2001 |
|---|
| 8 | EE | George Logothetis,
Klaus Schneider:
A New Approach to the Specification and Verification of Real-Time Systems.
ECRTS 2001: 171- |
| 7 | EE | George Logothetis,
Klaus Schneider:
Symbolic Model Checking of Real-Time Systems.
TIME 2001: 214-223 |
| 2000 |
|---|
| 6 | EE | George Logothetis,
Klaus Schneider:
Abstraction from Counters: An Application on Real-Time Systems.
DATE 2000: 486-493 |
| 1999 |
|---|
| 5 | EE | Klaus Schneider,
Michaela Huhn,
George Logothetis:
Validation of Object-Oriented Concurrent Designs by Model Checking.
CHARME 1999: 360-364 |
| 4 | EE | Michaela Huhn,
Klaus Schneider,
Thomas Kropf,
George Logothetis:
Verifying Imprecisely Working Arithmetic Circuits.
DATE 1999: 65- |
| 1990 |
|---|
| 3 | | Tom Altman,
George Logothetis:
A Note on Ambiguity in Context-Free Grammars.
Inf. Process. Lett. 35(3): 111-114 (1990) |
| 1989 |
|---|
| 2 | | Manuel E. Bermudez,
George Logothetis:
Simple Computation of LALR(1) Lookahead Sets.
Inf. Process. Lett. 31(5): 233-238 (1989) |
| 1981 |
|---|
| 1 | | George Logothetis,
Prateek Mishra:
Compiling Short-circuit Boolean Expressions in One Pass.
Softw., Pract. Exper. 11(11): 1197-1214 (1981) |
