Compiling Short-circuit Boolean Expressions in One Pass. - George Logothetis; Prateek Mishra (Softw. Pract. Exp., 1981)

Simple Computation of LALR(1) Lookahead Sets. - Manuel E. Bermudez; George Logothetis (Inf. Process. Lett., 1989)

Parallel construction of SLR (1) and LALR (1) parsers. - Manuel E. Bermudez; Richard E. Newman-Wolfe; George Logothetis (Int. J. Parallel Program., 1990)

A Note on Ambiguity in Context-Free Grammars. - Tom Altman; George Logothetis (Inf. Process. Lett., 1990)

Validation of Object-Oriented Concurrent Designs by Model Checking. - Klaus Schneider 001; Michaela Huhn; George Logothetis (CHARME, 1999)

Verifying Imprecisely Working Arithmetic Circuits. - Michaela Huhn; Klaus Schneider 001; Thomas Kropf; George Logothetis (DATE, 1999)

Abstraction of Systems with Counters for Symbolic Model Checking. - Klaus Schneider 001; George Logothetis (MBMV, 1999)

Formale Verifikation eingebetteter Systeme. - Detlef Schmid; Klaus Schneider 001; Michaela Huhn; George Logothetis; Viktor K. Sabelfeld (Informationstechnik Tech. Inform., 1999)

Abstraction from Counters: An Application on Real-Time Systems. - George Logothetis; Klaus Schneider 001 (DATE, 2000)

A New Approach to the Specification and Verification of Real-Time Systems. - George Logothetis; Klaus Schneider 001 (ECRTS, 2001)

Symbolic Model Checking of Real-Time Systems. - George Logothetis; Klaus Schneider 001 (TIME, 2001)

Extending Synchronous Languages for Generating Abstract Real-Time Models. - George Logothetis; Klaus Schneider 001 (DATE, 2002)

Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. - George Logothetis; Klaus Schneider 001 (DATE, 2003)

Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. - George Logothetis; Klaus Schneider 001; C. Metzler (FDL, 2003)

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. - George Logothetis; Klaus Schneider 001; C. Metzler (RTSS, 2003)

Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. - George Logothetis; Klaus Schneider 001; C. Metzler (SBCCI, 2003)