Rajeev Alur, Tomás Feder, Thomas A. Henzinger  Home/Search
Context Related
Links: ACM DBLP | upenn.edu/~alur/Podc91.ps.gz 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: upenn.edu/~alur/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satisfiability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time difference between events only with finite, yet arbitrary, precision and show the resulting logic to be EXPSPACE-complete. This result allows us to develop an algorithm for the verification of timing... (Update)
Cited by: More
Dense Real-time Games - Marco Faella Universita (2002) (Correct)
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
Active bibliography (related documents): More All
0.2: Real-time Logics: Complexity and Expressiveness - Alur, Henzinger (1990) (Correct)
0.1: A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
0.1: A Theory of Timed Automata - Alur, Dill (1994) (Correct)
Similar documents based on text: More All
0.2: Essential Reading: Theory of Timed and Hybrid Systems - Ramanujam, Pandya (1997) (Correct)
0.1: Reactive Modules - Alur, Henzinger (1999) (Correct)
0.1: Achievements vs. Accomplishments: A Computational Treatment of.. - Caudal (1999) (Correct)
Related documents from co-citation: More All
49: A Really Temporal Logic - Alur, Henzinger - 1989
38: Real-Time Logics: Complexity and Expressiveness - Alur, Henzinger - 1990
37: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
BibTeX entry: (Update)
Alur R, Feder T, Henzinger T, The Benefits of Relaxing Punctuality, Proc 10 th PODC, 1991, pp 139-152. http://citeseer.ist.psu.edu/alur91benefits.html More
@inproceedings{ alur91benefits,
author = "Rajeev Alur and Tomas Feder and Thomas A. Henzinger",
title = "The Benefits of Relaxing Punctuality",
booktitle = "Symposium on Principles of Distributed Computing",
pages = "139-152",
year = "1991",
url = "citeseer.ist.psu.edu/alur91benefits.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994 ACM
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994 ACM DBLP
374 Automata on infinite objects (context) - Thomas - 1990 ACM DBLP
230 Checking that finite-state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967 ACM
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985 ACM DBLP
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986 ACM DBLP
175 Logics and models of real time: a survey - Alur, Henzinger - 1992 DBLP
172 A really temporal logic - Alur, Henzinger - 1994 ACM DBLP
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1993 ACM DBLP
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1990 ACM DBLP
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990 ACM DBLP
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
38 A logic of concrete time intervals (context) - Lewis - 1990
8 Propositional dynamic logic of regular programs (context) - Harel, Pnueli et al. - 1983 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~alur/pub.html): More
Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993) (Correct)
Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997) (Correct)
A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
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