George Logothetis

According to our database, George Logothetis authored at least 16 papers between 1981 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the Forum on specification and Design Languages, 2003

Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.

George Logothetis, Klaus Schneider

Proceedings of the 2003 Design, 2003

2002

Extending Synchronous Languages for Generating Abstract Real-Time Models.

George Logothetis, Klaus Schneider

Proceedings of the 2002 Design, 2002

2001

Symbolic Model Checking of Real-Time Systems.

George Logothetis, Klaus Schneider

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A New Approach to the Specification and Verification of Real-Time Systems.

George Logothetis, Klaus Schneider

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000

Abstraction from Counters: An Application on Real-Time Systems.

George Logothetis, Klaus Schneider

Proceedings of the 2000 Design, 2000

1999

Formale Verifikation eingebetteter Systeme.

Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld

Informationstechnik Tech. Inform., 1999

Abstraction of Systems with Counters for Symbolic Model Checking.

Klaus Schneider, George Logothetis

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Verifying Imprecisely Working Arithmetic Circuits.

Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis

Proceedings of the 1999 Design, 1999

Validation of Object-Oriented Concurrent Designs by Model Checking.

Klaus Schneider, Michaela Huhn, George Logothetis

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1990

A Note on Ambiguity in Context-Free Grammars.

Tom Altman, George Logothetis

Inf. Process. Lett., 1990

Parallel construction of SLR (1) and LALR (1) parsers.

Manuel E. Bermudez, Richard E. Newman-Wolfe, George Logothetis

Int. J. Parallel Program., 1990

1989

Simple Computation of LALR(1) Lookahead Sets.

Manuel E. Bermudez, George Logothetis

Inf. Process. Lett., 1989

1981

Compiling Short-circuit Boolean Expressions in One Pass.

George Logothetis, Prateek Mishra

Softw. Pract. Exp., 1981