Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger  Home/Search
Context Related
| upenn.edu/~alur/Cav93.ps.gz berkeley.edu/~tah/...altime_systems.ps berkeley.edu/HomeP...altime_systems.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: upenn.edu/~alur/pub (more) From: berkeley.edu/Ho...altime_systems (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a verification algorithm for duration properties of real-time systems. While simple real-time properties constrain the total elapsed time between events, duration properties constrain the accumulated satisfaction time of state predicates. We formalize the concept of durations by introducing duration measures for timed automata. A duration measure assigns to each finite run of a timed automaton a real number ---the duration of the run--- which may be the accumulated satisfaction... (Update)
Cited by: More
Optimal Reachability for Weighted Timed Games - Alur, Bernadsky, Madhusudan (2004) (Correct)
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (Correct)
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (Correct)
Active bibliography (related documents): More All
0.1: The Theory of Hybrid Automata - Henzinger (1996) (Correct)
0.1: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996) (Correct)
0.1: Timed Automata - Alur (1999) (Correct)
Similar documents based on text: More All
0.1: The Observational Power of Clocks - Alur, Courcoubetis, Henzinger (1994) (Correct)
0.1: Deductive Modelchecking - Sipma (1999) (Correct)
0.1: Distinguishing Tests for Nondeterministic and.. - Alur, Courcoubetis.. (1995) (Correct)
Related documents from co-citation: More All
20: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
17: Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1992
16: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
BibTeX entry: (Update)
R. Alur, C. Courcoubetis, and T.A. Henzinger. Computing accumulated delays in real-time systems. In Proceedings of the Fifth Conference on Computer-Aided Verification, LNCS 693, pages 181--193. Springer-Verlag, 1993. http://citeseer.ist.psu.edu/alur93computing.html More
@article{ alur97computing,
author = "Rajeev Alur and Costas Courcoubetis and Thomas A. Henzinger",
title = "Computing Accumulated Delays in Real-time Systems",
journal = "Formal Methods in System Design: An International Journal",
volume = "11",
number = "2",
month = "August",
publisher = "Kluwer Academic Publishers",
pages = "137--155",
year = "1997",
url = "citeseer.ist.psu.edu/alur93computing.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
221 Specification and verification of concurrent systems in CESA.. (context) - Queille, Sifakis - 1981
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1996
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993
69 What good are digital clocks - Henzinger, Manna et al. - 1992
50 Minimum and maximum delay problems in realtime systems (context) - Courcoubetis, Yannakakis - 1991
37 Decidability of bisimulation equivalence for parallel timer .. (context) - Cer - 1992
18 On model checking for real-time properties with durations - Bouajjani, Echahed et al. - 1993
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