cs-conference-ranking.org Search 971 venues

George Logothetis

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

5

Active years

1999–2003

Best venue rank

A

Where they publish

Papers

8 indexed papers, newest first.

Year	Venue	Title	Authors
2003	DATE	Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.	George Logothetis, Klaus Schneider
2003	FDL	Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems.	George Logothetis, Klaus Schneider, C. Metzler
2003	RTSS	Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.	George Logothetis, Klaus Schneider, C. Metzler
2002	DATE	Extending Synchronous Languages for Generating Abstract Real-Time Models.	George Logothetis, Klaus Schneider
2001	ECRTS	A New Approach to the Specification and Verification of Real-Time Systems.	George Logothetis, Klaus Schneider
2001	TIME	Symbolic Model Checking of Real-Time Systems.	George Logothetis, Klaus Schneider
2000	DATE	Abstraction from Counters: An Application on Real-Time Systems.	George Logothetis, Klaus Schneider
1999	DATE	Verifying Imprecisely Working Arithmetic Circuits.	Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis