Perturbed Timed Automata
暂无分享,去创建一个
[1] J. Ouaknine,et al. On the language inclusion problem for timed automata: closing a decidability gap , 2004, LICS 2004.
[2] Tomas Rokicki. Representing and modeling digital circuits , 1994 .
[3] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[4] Pierre-Yves Schobbens,et al. The Regular Real-Time Languages , 1998, ICALP.
[5] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[6] Thomas A. Henzinger,et al. What Good Are Digital Clocks? , 1992, ICALP.
[7] Robert K. Brayton,et al. STARI: A Case Study in Compositional and Hierarchical Timing Verification , 1997, CAV.
[8] Rajeev Alur,et al. Decision Problems for Timed Automata: A Survey , 2004, SFM.
[9] Amir Pnueli,et al. Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.
[10] Thomas A. Henzinger,et al. Robust Undecidability of Timed and Hybrid Systems , 2000, HSCC.
[11] Anuj Puri,et al. Dynamical Properties of Timed Automata , 1998, Discret. Event Dyn. Syst..
[12] Joël Ouaknine,et al. Revisiting digitization, robustness, and decidability for timed automata , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[13] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[14] Nicolas Markey,et al. Robustness and Implementability of Timed Automata , 2004, FORMATS/FTRTFT.
[15] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[16] Thomas A. Henzinger,et al. Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..
[17] P. S. Thiagarajan,et al. Lazy Rectangular Hybrid Automata , 2004, HSCC.
[18] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[19] Farn Wang,et al. Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems , 2000, TACAS.
[20] Thomas A. Henzinger,et al. The Observational Power of Clocks , 1994, CONCUR.
[21] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[22] Thomas A. Henzinger,et al. Robust Timed Automata , 1997, HART.
[23] Thomas A. Henzinger,et al. Back to the future: towards a theory of timed regular languages , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[24] Patricia Bouyer,et al. Forward Analysis of Updatable Timed Automata , 2004, Formal Methods Syst. Des..