Timed Automata with Asynchronous Processes: Schedulability and Decidability
暂无分享,去创建一个
[1] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[2] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[3] Wang Yi,et al. Timed automata as task models for event-driven systems , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[4] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[5] Joseph Sifakis,et al. A Methodology for the Construction of Scheduled Systems , 2000, FTRTFT.
[6] James C. Corbett,et al. Modeling and analysis of real-time Ada tasking programs , 1994, 1994 Proceedings Real-Time Systems Symposium.
[7] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[8] François Laroussinie,et al. Model-Checking for Hybrid Systems by Quotienting and Constraints Solving , 2000, CAV.
[9] Pravin Varaiya,et al. Suspension Automata: A Decidable Class of Hybrid Automata , 1994, CAV.
[10] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[11] Wang Yi,et al. Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.
[12] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[13] Wang Yi,et al. TIMES - A Tool for Modelling and Implementation of Embedded Systems , 2002, TACAS.
[14] Joseph Sifakis,et al. A framework for scheduler synthesis , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
[15] Patricia Bouyer,et al. Are Timed Automata Updatable? , 2000, CAV.
[16] Ansgar Fehnker,et al. Scheduling a steel plant with timed automata , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[17] Oded Maler,et al. Job-Shop Scheduling Using Timed Automata , 2001, CAV.
[18] Kim G. Larsen,et al. Guided Synthesis of Control Programs Using UPPAAL , 2000, Nord. J. Comput..