Sergio Yovine  Home/Search
Context Related
| cs.kun.nl/school/opleidin...yovine.ps.Z verimag.imag.fr/~y...s_embedded98.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: cs.kun.nl/school/opl...literatuur (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The theory of timed automata provides a formal framework to model and to verify the correct functioning of real-time systems. Among the different verification problems that have been investigated within this theory, the so-called reachability problem has been the most throughly studied. This problem is stated as follows. Given two states of the system, is there an execution starting at one of them that reaches the other? The first reason for studying such problem is that safety properties can ... (Update)
Similar documents based on text: More All
0.4: Compiling Timed Algebras into Timed Automata - Yovine (1992) (Correct)
0.3: On the Decidability of the Reachability Problem for.. - Asarin, Schneider.. (2001) (Correct)
0.3: Hybrid Computation - Dora, Maignan, Yovine, al. (2001) (Correct)
Related documents from co-citation: More All
30: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
23: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
19: Timed automata - Alur - 1998
BibTeX entry: (Update)
S. Yovine. Model checking timed automata. In G. Rozenberg and F. Vaandrager, editors, Embedded Systems, volume 1494 of Lecture Notes in Computer Science. Springer, 1998. http://citeseer.ist.psu.edu/article/yovine98model.html More
@inproceedings{ yovine96model,
author = "Sergio Yovine",
title = "Model Checking Timed Automata",
booktitle = "European Educational Forum: School on Embedded Systems",
pages = "114-152",
year = "1996",
url = "citeseer.ist.psu.edu/article/yovine98model.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
1450 The design and analysis of computer algorithms (context) - Aho, Hopcroft et al. - 1974
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al.
397 Design and synthesis of synchronization skeletons using bran.. (context) - Emerson, Clarke - 1981
315 Symbolic model-checking: an approach to the state-explosion .. (context) - McMillan - 1993
175 Logics and models of real-time: a survey - Alur, Henzinger - 1991
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989
73 Compositional and symbolic modelchecking of real-time system.. - Larsen, Petterson et al. - 1995
72 Minimization of timed transition systems - Alur, Courcoubetis et al. - 1992
69 What good are digital clocks - Henzinger, Manna et al. - 1992
67 Two examples of verification of multirate timed automata wit.. - Daws, Yovine - 1995
58 Online minimization of transition systems (context) - Lee, Yannakakis - 1992
50 Timing analysis in cospan - Alur, Kurshan - 1996
44 Some progress in the symbolic verification of timed automata - Bozga, Maler et al. - 1997
44 An implementation of three algorithms for timing verificatio.. - Alur, Courcoubetis et al. - 1992
43 Minimal state graph generation - Bouajjani, Fernandez et al. - 1992
37 Decidability of bisimulation equivalences for parallel timer.. (context) - Cer - 1992
31 Approximate reachability analysis of timed automata (context) - Balarin - 1996
31 Reducing the number of clock variables of timed automata - Daws, Yovine - 1996
30 Datastructures for the verification of timed automata - Asarin, Bozga et al. - 1997
28 Efficient verification of real-time systems: compact data st.. - Larsen, Larsson et al. - 1997
27 Verification of real-time systems by successive over and und.. - Dill, Wong-Toi - 1995
24 Analysis of timed systems based on time--abstracting bisimul.. - Tripakis, Yovine - 1996
23 Extending promela and spin for real time - Tripakis, Courcoubetis - 1996
23 fly symbolic model-checking for real-time systems - Bouajjani, Tripakis et al. - 1997
20 FDDI handbook: high-speed networking using fiber and other m.. (context) - Jain - 1994
19 Timed modal specifications - theory and tools - Cerans, Godskesen et al. - 1993
14 Formal modelling and analysis of an audio/video protocol: an.. (context) - Havelund, Skou et al. - 1997
13 Model checking for extended timed temporal logics - Bouajjani, Lakhnech et al. - 1996
12 Discretization of timed automata - Gollu, Puri et al. - 1994
9 the fly verification of behavioural equivalences and preorde.. - Fernandez, Mounier - 1991
9 Approximations for verifying timing properties (context) - Wong-Toi, Dill - 1994
8 Efficient scaling invariant checking of timed bisimulation - Weise, Lenzkes - 1997
8 Minimizable timed automata - Springintveld, Vaandrager - 1996
7 emes temporis (context) - Olivero, analyse - 1994
5 Time petri-nets for analyzing and verifying time dependent c.. (context) - Measche, Berthomieu - 1983
5 Verification with realtime COSPAN (context) - Courcoubetis, Dill et al. - 1992
4 Automatic verification of coordinating systems (context) - Har'El, Kurshan - 1989
4 Timed abstracted bisimulation: implicit specification and de.. (context) - Larsen, Wang - 1993
3 Verification of an audio protocol with bus using Uppaal (context) - Bengtsson, Griffioen et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kun.nl/school/opleidingen/vakken/DSS/DSS-extra/www/literatuur.html): More
Timed Automata - Alur (1998) (Correct)
IOA: A Language for Specifying, Programming, and.. - Garland, Lynch, Vaziri (1997) (Correct)
Proving Security Protocols With Model Checkers By Data.. - Roscoe, Broadfoot (1999) (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