Karlis Cerans, Jens Chr. Godskesen, Kim G. Larsen  Home/Search
Context Related
| brics.dk/RS/97/Ref...ICSRS9711.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: brics.dk/RS/97/Ref/BRICSRS97... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lar90, LT88] and the Tav system [GLZ89, BLS92]. (Update)
Context of citations to this paper: More
...using three other existing real time verification tools: HyTech [20] version 0.6 and version 1.0) Kronos 1.1c [21] and Epsilon 3. 0 [22] using the same machine as for the Uppaal experiment. As illustrated in Figure 3 the experiment showed that Uppaal is faster than all...
...use Wang Yi s Timed CCS (see [Yi91] together with modal specifications. For details on these so called Timed Modal Specifications see [CGL93]. This method can be used with any totally ordered time domain, while in the following we will assume the positive real numbers. The...
Cited by: More
A Complete Axiomatization of Timed Bisimulation for a Class.. - Aceto, Jeffrey (1994) (Correct)
Automatic Synthesis of Real Time Systems - Andersen, Kristoffersen, Larsen, .. (1994) (Correct)
Synthesizing Distunguishing Formulae for Real Time Systems - Godskesen, al. (1994) (Correct)
Similar documents (at the sentence level):
12.7%: Timed Modal Specification - Theory and Tools - Cerans, Godskesen, Larsen (1993) (Correct)
Active bibliography (related documents): More All
0.5: Automatic Verification of Real-Timed Systems Using EPSILON - Godskesen, Larsen, Skou (1994) (Correct)
0.3: User's Manual for Epsilon - Godskesen, Larsen, Cerans (Correct)
0.3: Objets et Programmation Synchrone - Andre, BOULANGER.. (Correct)
Similar documents based on text: More All
1.2: The Power of Reachability Testing for Timed Automata - Aceto, Bouyer.. (1998) (Correct)
1.2: Verification of State/Event Systems by Quotienting - Bodentien, Vestergaard.. (1999) (Correct)
1.2: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
Related documents from co-citation: More All
9: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
8: Automata for Modelling Real-Time Systems (context) - Alur, Dill - 1990
7: Symbolic model checking 10 20 states and beyond - Burch, Clarke et al. - 1992
BibTeX entry: (Update)
K. Cerans, J. C. Godskesen, and K. G. Larsen. Timed modal specifications --- theory and tools. Lecture Notes in Computer Science, 697, 1993. In Proceedings of CAV'93. http://citeseer.ist.psu.edu/cerans97timed.html More
@inproceedings{ cerans93timed,
author = "Karlis Cerans and Jens Chr. Godskesen and Kim Guldstrand Larsen",
title = "Timed Modal Specification - Theory and Tools",
booktitle = "Computer Aided Verification",
pages = "253-267",
year = "1993",
url = "citeseer.ist.psu.edu/cerans97timed.html" }
Citations (may not include all citations):502 Concurrency and automata on infinite sequences (context) - Park - 1981
447 Prentice--Hall International (context) - Milner, Concurrency et al. - 1989
299 Model--checking for real--time systems (context) - Alur, Courcoubetis et al. - 1990
268 The theory of timed automata - Alur, Dill
155 Real time process algebra (context) - Baeten, Bergstra - 1989
141 Timing assumptions and verification of finite--state concurr.. (context) - Dill - 1989
121 Automata for modelling real--time systems (context) - Alur, Dill
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1991
76 Real--time behaviour of asynchronous agents (context) - Wang
72 Minimization of timed transition systems - Alur, Courcoubetis et al. - 1992
71 Compiling real--time specifications into extended automata - Nicollin, Sifakis et al. - 1992
52 A modal process logic (context) - Larsen, Thomsen - 1988
46 Modal specifications (context) - Larsen - 1990
35 Efficient local correctness checking (context) - Larsen
30 Time abstracted bisimulation: Implicit specifications and de.. - Larsen, Wang - 1990
22 The use of static constructs in a modal process logic - Huttel, Larsen - 1989
12 tools for automatic verification) --- users manual (context) - Godskesen, Larsen et al. - 1989
9 Timed Modal Specifications --- A Theory for Verification of .. (context) - Chr - 1994
8 Algorithmic Problems in Analysis of Real Time System Specifi.. (context) - Cerans - 1992
8 Graphical versus logical specifications (context) - Boudol, Larsen - 1990
4 Decidability of bisimulation equivalences for processes with.. (context) - Cerans - 1992
3 Generality in design and compositional verification using ta.. (context) - Brjesson, Larsen et al. - 1992
3 Technical Report (context) - De Simone, Vergamini - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/RS/97/Ref/BRICS-RS-97-Ref/): More
Transforming Recursive Equations into Programs with Block.. - Danvy, Schultz (1997) (Correct)
CoFI: The Common Framework Initiative for Algebraic Specification .. - Mosses (1997) (Correct)
Syntax and Semantics of the logic ... - Butz (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