R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Timed Patterns: TCOZ to Timed Automata - Jin Song Dong Self-citation (Automata) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-- 235, 1994.
Integrating Object-Z with Timed Automata - Dong Duke National Self-citation (Automata) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Timed Automata with Data Structures for Distributed.. - Lanotte.. Self-citation (Automata) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
Information Flow Analysis for Probabilistic Timed Automata - Lanotte.. (2004) Self-citation (Automata) (Correct)
No context found.
R. Alur, D. L. Dill: A Theory of Timed Automata. Theoretical Computer Science 126:183-- 235, 1994.
Optimal Reachability for Weighted Timed Games - Alur, Bernadsky, Madhusudan (2004) (1 citation) Self-citation (Alur) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
Bounded Model Checking for GSMP Models of Stochastic.. - Alur, Bernadsky (2006) Self-citation (Alur) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-- 235, 1994.
Learning of Event-Recording Automata - Olga Grinchtein Bengt Self-citation (Automata) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Automata-theoretic Decision of Timed Games - Marco Faella Salvatore (2002) Self-citation (Automata) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183 - 235, 1994.
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (3 citations) Self-citation (Automata) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183 - 235, 1994.
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And Self-citation (Automata) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994. Preliminary version appears in Proc. 17th ICALP, 1990, LNCS 443.
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) Self-citation (Automata) (Correct)
No context found.
Rajeev Alur and David Dill. A theory of timed automata. Theoretical Computer Science (TCS), 126(2):183--235, 1994.
Information Flow Analysis for Probabilistic Timed Automata - Lanotte.. Self-citation (Automata) (Correct)
No context found.
R. Alur, D. L. Dill: A Theory of Timed Automata. Theoretical Computer Science 126:183-- 235, 1994.
Timed Automata with Data Structures for Distributed.. - Lanotte.. Self-citation (Automata) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) Self-citation (Alur) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2002) (15 citations) Self-citation (Automata) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Weak Bisimulation for Probabilistic Timed Automata - And Applications To (Correct)
No context found.
Alur, R., Dill, D. L.: A theory of timed automata. Theoretical Computer Science 126, 183--235, 1994.
Accepted for presentation to Journees Montoises d'Informatique - Th Eoriques Expand (Correct)
No context found.
R. Alur and D.L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183-236, 1994.
Expand, Enlarge, and Check - New Algorithms For (Correct)
No context found.
R. Alur, D. Dill, A Theory of Timed Automata, Theoretical Computer Science 126 (2) (1994) 183--236.
Real-Time Model Checking on Secondary Storage - Stefan Edelkamp And (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126, 1994.
Dense Real-time Games - Marco Faella Universita (2002) (3 citations) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183 -- 235, 1994.
Scheduling Analysis Integration for Heterogeneous.. - Richter, Racu, Ernst (2003) (Correct)
No context found.
Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
INFINITY 2004 Preliminary Version - Inference Of Timed (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Models and Temporal Logics for Timed Component Connectors - Arbab, Baier, de Boer.. (2004) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
Alur and Dill. A theory of timed automata. Theoretical Computer Science, pages 183235, 1994.
On the freeze quantifier in constraint LTL: decidability.. - Demri, Lazic, Nowak (2005) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Timed Games With Branching-Time Winning Conditions - Aniello Murano Dipartimento (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183 -- 235, 1994.
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems - Beyer, Lewerentz, Noack (2003) (1 citation) (Correct)
No context found.
Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
A Calculus for Shapes in Time and Space - Andreas Schafer Department (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
Computer-Aided Verification: How to Trust a Machine with Your Life - Pace (2003) (Correct)
No context found.
R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126:1(183--235), 1994.
Invariance Kernels of Polygonal Differential Inclusions - Schneider (2003) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Reliability and State Machines in an Advanced Network Testbed - Newbold (2004) (Correct)
No context found.
Alur, R., and Dill, D. L. A theory of timed automata. Theoretical Computer Science 126, 2 (1994), 183--235.
On the freeze quantifier in constraint LTL: decidability.. - Demri, Lazic, Nowak (2005) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Automatic Verification of Component-Based Real-Time.. - Madl, Abdelwahed, Karsai (2004) (Correct)
No context found.
R.AlurandD. L. Dill. A theory of timedautomata. Theoretical Computer Science, 126(2):183--235, 1994.
A Classification of Time and/or Probability Dependent Security .. - Lanotte, al. (2005) (Correct)
No context found.
R. Alur, D. L. Dill: A Theory of Timed Automata. Theoretical Computer Science 126, 183--235, 1994.
Analysis of Real Time Operating System Based - Applications Libor Waszniowski (Correct)
No context found.
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126:183235, 1994.
Reachability Analysis of Hybrid Systems Using - Bisimulations Gerardo.. (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Subanalytic Stratifications and Bisimulations - Gerardo Lafferriere George (1998) (Correct)
No context found.
R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994), 183--235.
Modelling, Control and Validation of Multi-Agent Plans.. - El Fallah-Seghrouchni.. (2004) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(3):183--235, November 1994.
Timed Model-based Programming: Executable Specifications for .. - Ingham, Williams (2003) (2 citations) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of Timed Automata. Theoretical Computer Science, 126(2):183--235, 1994.
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
No context found.
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science (1994) 183--235
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
No context found.
R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183--235, 1994.
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
No context found.
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
Symbolic Reachability Analysis of FIFO-Channel Systems.. - Bouajjani, Habermehl (1998) (26 citations) (Correct)
No context found.
R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183--235, 1994.
A Logical Viewpoint on Process-Algebraic Quotients - Kucera, Esparza (1999) (2 citations) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-- 235, 25 April 1994. Fundamental Study.
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
Fun with FireWire: a comparative study of formal verification.. - Stoelinga (Correct)
No context found.
R. Alur and D.L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
Kernel Abstractions - Gerdsmeier, Cardell-Oliver (2001) (Correct)
No context found.
R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
A Semantics of Communicating Reactive Objects with Timing - Hooman, van der Zwaag (2004) (1 citation) (Correct)
No context found.
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994. 18
Decreasing Maintenance Costs by Introducing Formal.. - Wall, Andersson.. (Correct)
No context found.
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994)
First 50 documents Next 50
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