K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1--2):134--152, Oct. 1997. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Bounded Model Checking for Timed Automata - Sorea (2002) (5 citations) (Correct)
An Improved On-the-fly Tableau Construction For a Real-Time.. - Geilen (2003) (2 citations) (Correct)
A formal definition of time in LOTOS (Short version) - Léonard, Leduc (1998) (Correct)
Preliminary Formal Analysis of TTA Startup - Rushby (2003) (Correct)
Timed Automata May Cause Some Troubles - Bouyer (2002) (2 citations) (Correct)
Analyzing Real-Time Systems: Theory and Tools - Hune (2001) (Correct)
A Logical Characterization of Data Languages - Bouyer (2001) (4 citations) (Correct)
Updatable Timed Automata, an Algorithmic Approach - Bouyer (2001) (Correct)
A Kleene/Büchi-like Theorem for Clock Languages - Bouyer, Petit (2001) (Correct)
Hierarchical Hybrid Modeling of Embedded Systems - Alur, Dang, Esposito.. (2001) (Correct)
Tempo: A Model Checker for Event-Recording Automata - Sorea (2001) (5 citations) (Correct)
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2001) (15 citations) (Correct)
Design of a PLC Control Program for a Batch Plant -.. - Mader, Brinksma.. (2000) (Correct)
Tempo: A Model Checker for Event-Recording Automata - Sorea (2001) (5 citations) (Correct)
A Kleene/Büchi-like Theorem for Clock Languages - Bouyer, Petit (2001) (Correct)
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2001) (15 citations) (Correct)
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2001) (15 citations) (Correct)
A New Algorithm to Decide Emptiness of Updatable Timed Automata - Bouyer (2000) (Correct)
A Formal Model of the Ada Ravenscar Tasking Profile;.. - Lundqvist, Asplund.. (1999) (1 citation) (Correct)
A Formal Model of the Ada Ravenscar Tasking Profile; Delay.. - Lundqvist, Asplund (1999) (Correct)
Distributing Timed Model Checking - How the Search Order.. - Behrmann, Hune, Vaandrager (2000) (2 citations) (Correct)
Model Checking Programs - Brat, Havelund, Park, Visser (2000) (29 citations) (Correct)
Model-Checking for Hybrid Systems By Quotienting and.. - Cassez, Laroussinie (2000) (3 citations) (Correct)
Expressiveness of Updatable Timed Automata - Bouyer, Dufourd, Fleury, Petit (2000) (5 citations) (Correct)
Distributing Timed Model Checking - How the Search Order.. - Behrmann, Hune, Vaandrager (2000) (2 citations) (Correct)
Comparing verification with HyTech, Kronos and Uppaal on the.. - Bérard, Sierra (2000) (Correct)
Automatic Verification of Component-Based Real-Time.. - Madl, Abdelwahed, Karsai (2004) (Correct)
Properties of Distributed Timed-Arc Petri Nets - Nielsen, Sassone, Srba (2001) (Correct)
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2002) (15 citations) (Correct)
Using UPPAAL to verify an on-chip memory - Baclet, Chevallier (2004) (Correct)
Properties of Distributed Timed-Arc Petri Nets - Nielsen, Sassone, Srba (2001) (Correct)
Logical Characterization of Aperiodic Data Languages - Baclet (2003) (Correct)
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
Advanced Methods for Timed Systems - Ametist Proposal For (Correct)
Modeling and Verification of a Fault-Tolerant Real-time.. - Dutertre, Sorea (2004) (2 citations) (Correct)
Towards a Notion of Distributed Time for Petri Nets.. - Nielsen, Sassone, Srba (Correct)
Benchmarks for Hybrid Systems Verification - Fehnker, Ivancic (2004) (Correct)
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch, Segala, .. (Correct)
Hierarchical Hybrid Modeling of Embedded Systems - Alur, Dang, Esposito.. (2001) (Correct)
Timed Automata with Asynchronous Processes.. - Fersman, Pettersson, Yi (2002) (5 citations) Self-citation (Pettersson Yi) (Correct)
Efficient Guiding Towards Cost-Optimality in UPPAAL - Behrmann, Fehnker, Hune.. (2001) (7 citations) Self-citation (Larsen Pettersson) (Correct)
TIMES: a Tool for Schedulability Analysis and Code .. - Amnell, Fersman.. (2003) (1 citation) Self-citation (Pettersson Yi) (Correct)
The Power of Reachability Testing for Timed Automata - Aceto, Bouyer.. (2001) (5 citations) Self-citation (Larsen) (Correct)
As Cheap as Possible: Efficient Cost-Optimal.. - Larsen, Behrmann, .. (2001) (7 citations) Self-citation (Larsen Pettersson) (Correct)
Efficient Guiding Towards Cost-Optimality in UPPAAL - Behrmann, Fehnker, Hune.. (2001) (7 citations) Self-citation (Larsen Pettersson) (Correct)
As Cheap as Possible: Efficient Cost-Optimal.. - Larsen, Behrmann, .. (2001) (7 citations) Self-citation (Larsen Pettersson) (Correct)
Efficient Guiding Towards Cost-Optimality in UPPAAL - Behrmann, Fehnker, Hune.. (2001) (7 citations) Self-citation (Larsen Pettersson) (Correct)
The Impressive Power of Stopwatches - Cassez, Larsen (1999) (7 citations) Self-citation (Larsen) (Correct)
Automated Analysis of an Audio Control Protocol Using.. - Bengtsson, Griffioen.. (2002) (1 citation) Self-citation (Larsen Pettersson Yi Uppaal) (Correct)
CMC: A Tool For Compositional Model-Checking Of.. - François.. (1988) (5 citations) Self-citation (Larsen) (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