Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi  Home/Search
Context Related
| upenn.edu/~alur/Stoc93.ps.gz rice.edu/~vardi/papers/stoc93.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: . Traditional approaches to the algorithmic verification of real-time systems are limited to checking program correctness with respect to concrete timing properties (e.g., "message delivery within 10 milliseconds"). We address the more realistic and more ambitious problem of deriving symbolic constraints on the timing properties required of real-time systems (e.g., "message delivery within the time it takes to execute two assignment statements"). To model this problem, we introduce parametric... (Update)
Cited by: More
Deriving Parameter Conditions - For Periodic Timed (2001) (Correct)
A Global Timed Bisimulation Preserving Abstraction - For Parametric Time-Interval (2004) (Correct)
A Flexible and High-Reliable HW/SW Co-Design Method .. - Kitani, Takamoto.. (2004) (Correct)
Active bibliography (related documents): More All
0.2: A Methodology and Support Tools for Analysis of Real-Time.. - Stuart, Mok, Jahanian (Correct)
0.2: On the Emptiness Problem for Two-Way NFA with One.. - Dang, Ibarra, Sun (2002) (Correct)
0.2: On Two-Way FA with Monotonic Counters and Quadratic.. - Ibarra, Dang (Correct)
Similar documents based on text: More All
0.3: Verification of Parametric Concurrent Systems with.. - Bouajjani, Habermehl, .. (Correct)
0.2: Graphical Tool For SC Automata - Honours Project Dr (Correct)
0.1: Alternating Refinement Relations - Alur, Henzinger, Kupferman, Vardi (1998) (Correct)
Related documents from co-citation: More All
25: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
24: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
22: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
BibTeX entry: (Update)
Alur R, Henzinger T, Vardi M Y, Parametric Real-Time Reasoning, Proc 25 th 25th STOC, 1993, pp 592-601. http://citeseer.ist.psu.edu/alur93parametric.html More
@inproceedings{ alur93parametric,
author = "Rajeev Alur and Thomas A. Henzinger and Moshe Y. Vardi",
title = "Parametric Real-time Reasoning",
booktitle = "{ACM} Symposium on Theory of Computing",
pages = "592-601",
year = "1993",
url = "citeseer.ist.psu.edu/alur93parametric.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992 ACM
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al. - 1992
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990 ACM DBLP
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993 DBLP
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992 ACM DBLP
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990 ACM DBLP
172 A really temporal logic - Alur, Henzinger - 1989 ACM DBLP
148 A fast mutual exclusion algorithm - Lamport - 1987
147 Real-time logics: Complexity and expressiveness - Alur, Henzinger - 1990 ACM DBLP
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989 ACM DBLP
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1990
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1991 ACM DBLP
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
75 Analysis of discrete-event coordination (context) - Kurshan - 1990
71 Techniques for Automatic Verification of Real-time Systems (context) - Alur - 1991 ACM
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
51 Specification and compositional verification of real-time sy.. (context) - Hooman - 1991 ACM
50 Minimum and maximum delay problems in realtime systems (context) - Courcoubetis, Yannakakis - 1991
38 A logic of concrete time intervals (context) - Lewis - 1990
37 Putting time into proof outlines - Schneider, Bloom et al. - 1992 ACM DBLP
35 Back to the future: Towards a theory of timed regular langua.. - Alur, Henzinger - 1992 DBLP
31 Bounds on the time to reach agreement in the presence of tim.. - Attiya, Dwork et al. - 1991 ACM DBLP
31 The Temporal Specification and Verification of Real-time sys.. (context) - Henzinger - 1991 ACM
18 New decidability results concerning twoway counter machines .. (context) - Ibarra, Jiang et al. - 1993
13 Analyzing safety and fault tolerance using timed Petri nets (context) - Leveson, Stolzy - 1985
8 Verifying properties of systems with variable timing constra.. (context) - Jahanian - 1989
7 Real-time distributed system specification and verification .. (context) - Wang, Mok et al. - 1992
7 New latency bounds for atomic broadcast (context) - Strong, Dolev et al. - 1990 DBLP
6 Timed Ethernet: Real-time formal specification of Ethernet (context) - Weinberg, Zuck - 1992 DBLP
6 The diophantine problem for addition and divisibility (context) - Lipshitz - 1978
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
Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997) (Correct)
A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (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