Updatable timed automata
暂无分享,去创建一个
Patricia Bouyer | Catherine Dufourd | Antoine Petit | Emmanuel Fleury | P. Bouyer | E. Fleury | C. Dufourd | A. Petit
[1] Eric Domenjoud,et al. Solving Systems of Linear Diophantine Equations: An Algebraic Approach , 1991, MFCS.
[2] Yi Wang. A calculus of real time systems , 1991 .
[3] Thomas A. Henzinger,et al. The Expressive Power of Clocks , 1995, ICALP.
[4] Laurent Fribourg,et al. Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol , 1999, CAV.
[5] Thomas A. Henzinger,et al. The Observational Power of Clocks , 1994, CONCUR.
[6] Patricia Bouyer,et al. Untameable Timed Automata! , 2003, STACS.
[7] Paul Gastin,et al. Characterization of the Expressive Power of Silent Transitions in Timed Automata , 1998, Fundam. Informaticae.
[8] Laurent Fribourg,et al. A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance , 2003, FME 2003.
[9] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[10] Thomas Wilke,et al. Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata , 1994, FTRTFT.
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Nicolas Halbwachs,et al. An implementation of three algorithms for timing verification based on automata emptiness , 1992, [1992] Proceedings Real-Time Systems Symposium.
[13] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[14] Arne Skou,et al. Modelling and analysis of a collision avoidance protocol using Spin and Uppaal , 1996, The Spin Verification System.
[15] Patricia Bouyer,et al. Are Timed Automata Updatable? , 2000, CAV.
[16] Kim G. Larsen,et al. Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL , 1997, Proceedings Real-Time Systems Symposium.
[17] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.
[18] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[19] Paul Gastin,et al. On the Power of Non-Observable Actions in Timed Automata , 1996, STACS.
[20] Kim G. Larsen,et al. CMC: A Tool for Compositional Model-Checking of Real-Time Systems , 1998, FORTE.
[21] Paul Gastin,et al. Removing epsilon-Transitions in Timed Automata , 1997, STACS.
[22] Kim G. Larsen,et al. Static Guard Analysis in Timed Automata Verification , 2003, TACAS.
[23] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[24] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[25] Thomas A. Henzinger,et al. Parametric real-time reasoning , 1993, STOC.
[26] Patricia Bouyer,et al. Expressiveness of Updatable Timed Automata , 2000, MFCS.
[27] Wang Yi,et al. New Generation of UPPAAL , 1998 .
[28] Catherine Dufourd,et al. Timed automata and additive clock constraints , 2000, Information Processing Letters.
[29] Wieslaw Zielonka,et al. Controlled Timed Automata , 1998, CONCUR.
[30] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[31] Antoine Petit,et al. Analysing the PGM protocol with UPPAAL , 2004 .
[32] Wang Yi,et al. Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.
[33] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[34] Christian Choffrut,et al. Timed Automata with Periodic Clock Constraints , 2000, J. Autom. Lang. Comb..
[35] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[36] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.