#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1962

2003

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- George Logothetis, Klaus Schneider
- TIME
- 2001

We present a new real-time temporal logic for the specification and verification of discrete quantitative temporal properties. This logic is an extension of the well-known logic CTL. Its semantics isâ€¦ (More)

- George Logothetis, Klaus Schneider
- DATE
- 2003

In this paper, a novel approach to high-level (i.e. architecture independent) worst case execution time (WCET) analysis is presented that automatically computes exact bounds for all inputs. To thisâ€¦ (More)

- George Logothetis, Klaus Schneider, C. Metzler
- FDL
- 2003

- George Logothetis, Klaus Schneider
- DATE
- 2002

We present an extension of synchronous programming languagesthat can be used to declare program locations irrelevantfor verification. An efficient algorithm is proposedto generate from the output ofâ€¦ (More)

- Klaus Schneider, George Logothetis
- MBMV
- 1999

ion of Systems with Counters for Symbolic Model Checking Klaus Schneider and George Logothetis University of Karlsruhe, Department of Computer Science, Institute for Computer Design and Faultâ€¦ (More)

- George Logothetis, Klaus Schneider
- ECRTS
- 2001

We present a new temporal logic for the specification and verification of real-time systems. This logic is deJned on discrete time transition systems which are interpreted in an abstract mannerâ€¦ (More)

- Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
- Design, Automation and Test in Europe Conferenceâ€¦
- 1999

If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification cannot be used to prove the equivalence between the mathematicalâ€¦ (More)

- George Logothetis, Klaus Schneider, C. Metzler
- RTSS
- 2003

Synchronous programming languages are well-suited for the implementation and verification of real-time systems. The main benefit for the estimation of real-time constraints is thereby that the macroâ€¦ (More)

- Manuel E. Bermudez, George Logothetis
- Inf. Process. Lett.
- 1989

Recent LALR(1) aIgorithms involve the computation (via graph algorithms) of certain Follow sets, for nonterminaI transitions in the LR(0) automaton. In this paper we show that these Follow sets areâ€¦ (More)

- George Logothetis, Klaus Schneider, C. Metzler
- SBCCI
- 2003

Synchronous programming languages are well-suited for the implementation and verification of real-time systems. The main bene.t for the estimation of real-time constraints is thereby that the macroâ€¦ (More)