George Logothetis

16 papers A 5B 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2003 A conf
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.
DATE
George Logothetis, Klaus Schneider
2003 C conf
Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems.
FDL
George Logothetis, Klaus Schneider, C. Metzler
2003 A conf
Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.
RTSS
George Logothetis, Klaus Schneider, C. Metzler
2003 — conf
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.
SBCCI
George Logothetis, Klaus Schneider, C. Metzler
2002 A conf
Extending Synchronous Languages for Generating Abstract Real-Time Models.
DATE
George Logothetis, Klaus Schneider
2001 B conf
A New Approach to the Specification and Verification of Real-Time Systems.
ECRTS
George Logothetis, Klaus Schneider
2001 C conf
Symbolic Model Checking of Real-Time Systems.
TIME
George Logothetis, Klaus Schneider
2000 A conf
Abstraction from Counters: An Application on Real-Time Systems.
DATE
George Logothetis, Klaus Schneider
1999 — conf
Abstraction of Systems with Counters for Symbolic Model Checking.
MBMV
Klaus Schneider, George Logothetis
1999 J jnl
Formale Verifikation eingebetteter Systeme.
Informationstechnik Tech. Inform.
Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld
1999 — conf
Validation of Object-Oriented Concurrent Designs by Model Checking.
CHARME
Klaus Schneider, Michaela Huhn, George Logothetis
1999 A conf
Verifying Imprecisely Working Arithmetic Circuits.
DATE
Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
1990 J jnl
A Note on Ambiguity in Context-Free Grammars.
Inf. Process. Lett.
Tom Altman, George Logothetis
1990 J jnl
Parallel construction of SLR (1) and LALR (1) parsers.
Int. J. Parallel Program.
Manuel E. Bermudez, Richard E. Newman-Wolfe, George Logothetis
1989 J jnl
Simple Computation of LALR(1) Lookahead Sets.
Inf. Process. Lett.
Manuel E. Bermudez, George Logothetis
1981 J jnl
Compiling Short-circuit Boolean Expressions in One Pass.
Softw. Pract. Exp.
George Logothetis, Prateek Mishra