C. Daws, A. Olivero, S. Tripakis, S. Yovine  Home/Search
Context Related
| gaspard.imag.fr/PE...nos:hybsys96.ps.gz imag.fr/pub/SPECTR...nos:hybsys96.ps.gz imag.fr//pub/SPECT...nos:hybsys96.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: gaspard.imag.fr/PEOPLE/S...publis (more) From: verimag.imag.fr/P...indexenglish (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper considerably improve Kronos performance and functionalities (Update)
Similar documents based on text: More All
0.7: Verifying ET-LOTOS programs with KRONOS - Daws, Olivero, Yovine (1994) (Correct)
0.5: Kronos: A Model-Checking Tool for Real-Time Systems - Bozga, Daws, Maler.. (1998) (Correct)
0.5: Kronos: A Tool for Verifying Real-time Systems - User's Guide .. - Olivero, Yovine (1993) (Correct)
Related documents from co-citation: More All
44: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
37: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
29: Model-Checking in Dense Real-Time - Alur, Courcoubetis et al. - 1993
BibTeX entry: (Update)
C. Daws, A. Olivero, S. Tripakis, S. Yovine. The tool KRONOS. In Hybrid Systems III, Springer LNCS 1066, pp. 208--219, 1996. http://citeseer.ist.psu.edu/daws96tool.html More
@inproceedings{ daws95tool,
author = "C. Daws and A. Olivero and S. Tripakis and S. Yovine",
title = "The Tool {KRONOS}",
booktitle = "Hybrid Systems {III}: Verification and Control",
volume = "1066",
month = "22--25~October",
publisher = "Springer",
address = "Rutgers University, New Brunswick, NJ, USA",
pages = "208--219",
year = "1995",
url = "citeseer.ist.psu.edu/daws96tool.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
224 Model checking in dense real time - Alur, Courcoubetis et al. - 1993
214 An old-fashioned recipe for real-time - Abadi, Lamport
73 Compositional and symbolic modelchecking of real-time system.. - Larsen, Petterson et al. - 1995
67 Two examples of verification of multirate timed automata wit.. - Daws, Yovine - 1995
55 Verifying ET-LOTOS programs with KRONOS - Daws, Olivero et al. - 1994
44 An implementation of three algorithms for timing verificatio.. - Alur, Courcoubetis et al. - 1992
43 Minimal state graph generation - Bouajjani, Fernandez et al. - 1992
24 Analysis of timed systems based on time--abstracting bisimul.. - Tripakis, Yovine - 1995
20 FDDI handbook: high-speed networking using fiber and other m.. (context) - Jain - 1994
8 A tool set for deciding behavioural equivalences (context) - Cl, Mounier - 1991
7 emes temporis (context) - Olivero, analyse - 1994
1 Symbolic forward analysis of timed automata (context) - Daws, Yovine - 1995
1 Binary coded graphs --- reference manuals of the bcg tools (context) - Garavel, Mateescu et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://gaspard.imag.fr/PEOPLE/Stavros.Tripakis/publis.html): More
Extending Promela and Spin for Real Time - Tripakis, Courcoubetis (1996) (Correct)
Modeling Urgency in Timed Systems - Bornot, Sifakis, Tripakis (1997) (Correct)
On-the-Fly Symbolic Model Checking for Real-Time Systems - Bouajjani, Tripakis, Yovine (1997) (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