George Logothetis
According to our database1,
George Logothetis
authored at least 16 papers
between 1981 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
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.
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.
Proceedings of the Forum on specification and Design Languages, 2003
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.
Proceedings of the 2003 Design, 2003
2002
Proceedings of the 2002 Design, 2002
2001
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001
2000
Proceedings of the 2000 Design, 2000
1999
Abstraction of Systems with Counters for Symbolic Model Checking.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999
Proceedings of the 1999 Design, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
1990
Int. J. Parallel Program., 1990
1989
1981