Zohar Manna, Amir Pnueli  Home/Search
Context Related
| stanford.edu/peopl...models94acta.ps.Z stanford.edu/~zm/p...models94acta.ps.Z wisdom.weizmann.ac...sreactivity.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: stanford.edu/people/zm/papers (more) From: fermivista.math....weizmann.ac.il (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A hierarchy of models that capture realistic aspects of reactive, realtime, and hybrid systems is introduced. On the most abstract level, the qualitative (non-quantitative) model of reactive systems captures the temporal precedence aspect of time. A more refined model is that of real-time systems , which represents the metric aspect of time. The third and most detailed model is that of hybrid systems , which allows the incorporation of continuous components into a reactive system. For each of ... (Update)
Cited by: More
Logic, Neuroscience and Phenomenology: In Cahoots? - Pietarinen (2004) (Correct)
Verification Methods for the Divergent Runs Of Clock Systems - A.Henzinger, W.Kopke (1994) (Correct)
Step by Step to Histories - Max Breitling And (2000) (Correct)
Similar documents (at the sentence level): More
15.9%: Time for Concurrency - Manna, Pnueli (1992) (Correct)
15.7%: Verifying Hybrid Systems - Manna, Pnueli (1993) (Correct)
10.8%: Clocked Transition Systems - Manna, Pnueli (1995) (Correct)
Active bibliography (related documents): More All
0.5: Verifying Clocked Transition Systems - Kesten, Manna, Pnueli (1996) (Correct)
0.3: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
0.3: Metric Temporal Logic with Durations - Lakhneche, Hooman (1994) (Correct)
Similar documents based on text: More All
0.4: Deductive Modelchecking - Sipma (1999) (Correct)
0.2: Deriving Liveness Goals from Temporal Logic Specifications - Caleiro, Saake, Sernadas (1996) (Correct)
0.2: Cv - McGuire (Correct)
Related documents from co-citation: More All
26: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
15: Logics and models of real time: a survey - Alur, Henzinger - 1992
13: From timed to hybrid systems - Maler, Manna et al. - 1992
BibTeX entry: (Update)
Zohar Manna and Amir Pnueli. Models for reactivity. Acta Informatica, 30:609--678, 1993. http://citeseer.ist.psu.edu/manna94models.html More
@article{ manna93models,
author = "Zohar Manna and Amir Pnueli",
title = "Models for Reactivity",
journal = "Acta Informatica",
volume = "30",
number = "7",
pages = "609-678",
year = "1993",
url = "citeseer.ist.psu.edu/manna94models.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
652 A Discipline of Programming (context) - Dijkstra - 1976
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1992
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992
186 A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
139 From timed to hybrid systems - Maler, Manna et al. - 1992
129 An overview and synthesis on timed process algebra (context) - Sifakis - 1991
118 Temporal Logic of Real-Time Systems (context) - Ostroff - 1990
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1992
112 Statecharts: A visual approach to complex systems (context) - Harel - 1984
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
75 Timed transition systems - Henzinger, Manna et al. - 1992
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
68 Verifying hybrid systems - Manna, Pnueli - 1992
58 Explicit clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
55 and formal derivation of programs (context) - Dijkstra, nondeterminancy - 1975
43 Timed and hybrid statecharts and their textual representatio.. - Kesten, Pnueli - 1992
41 Applications of temporal logic to the specification of real .. (context) - Pnueli, Harel - 1988
40 Real-time programming and asynchronous message passing (context) - Koymans, Vytopyl et al. - 1983
39 Completing the temporal picture - Manna, Pnueli - 1991
37 Putting time into proof outlines - Schneider, Bloom et al. - 1992
32 Sooner is safer than later - Henzinger - 1992
31 The Temporal Specification and Verification of Real-time Sys.. (context) - Henzinger - 1991
31 Proving real time properties of programs with temporal logic (context) - Bernstein, Harter - 1981
16 Examples of a real-time temporal logic specifications (context) - Koymans, de Roever - 1985
7 Proving precedence properties: The temporal way (context) - Manna, Pnueli - 1983
6 Weizmann Institute of Science (context) - Kesten, Pnueli et al. - 1992
4 How vital is liveness (context) - Pnueli - 1992
1 Time for concurrency - Manna, Pnueli - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/people/zm/papers.html): More
Hierarchical Verification using Verification Diagrams - Browne, Manna, Sipma (1996) (Correct)
STeP: the Stanford Temporal Prover - Manna, Anuchitanukul.. (1994) (Correct)
Clocked Transition Systems - Manna, Pnueli (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