Thomas A. Henzinger  Home/Search
Context Related
| berkeley.edu/~tah/P...its_about_time.ps berkeley.edu/~tah/P...its_about_time.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~ta...its_about_time (more) From: jprc.com/Operating_System...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we find that a great deal of real-time verification can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-time verification problem in polynomial space, or even decidable. 1 Introduction The execution of ... (Update)
Context of citations to this paper: More
.... Global Clock Temporal Logic (GCT) with a dense time domain, is also introduced in [PH88] For more about real time logics, see also [AH93, Hen98]. As said before, in standard model checking a system is described by some finite state model K and we use a temporal logic...
Cited by: More
Event-Based Runtime Checking of Timed LTL - Kristoffersen, Pedersen, Andersen (Correct)
Model Checking Timed Automata with One or Two Clocks - Laroussinie, Markey.. (2004) (Correct)
Checking Temporal Business Rules - Kristoffersen, Pedersen, Andersen (2004) (Correct)
Active bibliography (related documents): More All
0.5: A Space-Efficient On-the-fly Algorithm for Real-Time.. - Henzinger, Kupferman.. (Correct)
0.2: Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
0.2: The Regular Real-Time Languages - Henzinger, Raskin, Schobbens (1998) (Correct)
Similar documents based on text: More All
0.1: Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho, Wong-Toi (1996) (Correct)
0.1: CoBase: A Scalable and Extensible Cooperative.. - Chu, Yang, Chiang.. (1996) (Correct)
0.1: CoBase: A Cooperative Database System - Chu, Chen, Merzbacher (Correct)
Related documents from co-citation: More All
8: Temporal and modal logic (context) - Emerson - 1990
8: Model-Checking in Dense Real-Time - Alur, Courcoubetis et al. - 1993
8: The temporal logic of programs (context) - Pnueli - 1977
BibTeX entry: (Update)
T. Henzinger. It's about time: Real-time logics reviewed. In CONCUR '98: Ninth International Conference on Concurrency Theory, LNCS 1466, pages 439--454. 1998. http://citeseer.ist.psu.edu/henzinger98about.html More
@misc{ henzinger98about,
author = "T. Henzinger",
title = "It's about time: Real-time logics reviewed",
text = "T. Henzinger. It's about time: Real-time logics reviewed. In CONCUR '98:
Ninth International Conference on Concurrency Theory, LNCS 1466, pages 439--454.
1998.",
year = "1998",
url = "citeseer.ist.psu.edu/henzinger98about.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
725 Temporal and modal logic (context) - Emerson - 1990
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994
374 Automata on infinite objects (context) - Thomas - 1990
230 Checking that finite-state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
172 A really temporal logic - Alur, Henzinger - 1994
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1993
139 Reasoning about infinite computations - Vardi, Wolper - 1994
132 Relationship between nondeterministic and deterministic tape.. (context) - Savitch - 1970
116 Synthesis of Communicating Processes from Temporal-Logic Spe.. (context) - Wolper - 1982
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1990
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1996
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
71 A really abstract concurrent model and its temporal logic (context) - Barringer, Kuiper et al. - 1986
57 Specifying timed state sequences in powerful decidable logic.. - Wilke - 1994
40 A determinizable class of timed automata (context) - Alur, Fix et al. - 1994
35 Back to the future: towards a theory of timed regular langua.. - Alur, Henzinger - 1992
34 Computer-aided verification (context) - Clarke, Kurshan - 1996
27 State-clock logic: a decidable real-time logic - Raskin, Schobbens - 1997
27 The regular real-time languages - Henzinger, Raskin et al. - 1998
10 Theoretical Issues in the Design and Verification of Distrib.. (context) - Sistla - 1983
2 Real time and the ¯-calculus (context) - Emerson - 1992
1 Personal communication (context) - Raskin - 1998
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC