A User Guide to HyTech
暂无分享,去创建一个
[1] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[2] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[3] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[4] Thomas A. Henzinger,et al. Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.
[5] Joseph Sifakis,et al. Compiling Real-Time Specifications into Extended Automata , 1992, IEEE Trans. Software Eng..
[6] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[7] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[8] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[9] Leslie Lamport,et al. A fast mutual exclusion algorithm , 1987, TOCS.
[10] Thomas A. Henzinger,et al. A Note on Abstract Interpretation Strategies for Hybrid Automata , 1994, Hybrid Systems.
[11] Thomas A. Henzinger,et al. Computing Accumulated Delays in Real-time Systems , 1993, Formal Methods Syst. Des..
[12] Thomas A. Henzinger,et al. Sooner is Safer Than Later , 1992, Inf. Process. Lett..
[13] Ahmed Bouajjani,et al. Verification of Context-Free Timed Systems Using Linear Hybrid Observers , 1994, CAV.
[14] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[15] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[16] Pravin Varaiya,et al. Suspension Automata: A Decidable Class of Hybrid Automata , 1994, CAV.
[17] James C. Corbett,et al. Modeling and analysis of real-time Ada tasking programs , 1994, 1994 Proceedings Real-Time Systems Symposium.
[18] Joseph Sifakis,et al. Using Abstractions for the Verification of Linear Hybrid Systems , 1994, CAV.
[19] T. Henzinger,et al. Automatic Symbolic Veri cation of Embedded Systems , 1996 .
[20] T. Bell,et al. Timing Veri cation by Successive Approximation 1 , 1995 .
[21] Nicolas Halbwachs,et al. Delay Analysis in Synchronous Programs , 1993, CAV.
[22] Ahmed Bouajjani,et al. Verfying Invariance Properties of Timed Systems with Duration Variables , 1994, FTRTFT.
[23] Nicolas Halbwachs,et al. Automatic discovery of linear restraints among variables of a program , 1978, POPL.
[24] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[25] Insup Lee,et al. A Layered Approach to Automating the Verification of Real-Time Systems , 1992, IEEE Trans. Software Eng..
[26] Pei-Hsin Ho,et al. Automatic Analysis of Hybrid Systems , 1996 .
[27] Karlis Cerans,et al. Decidability of Bisimulation Equivalences for Parallel Timer Processes , 1992, CAV.
[28] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[29] Ahmed Bouajjani,et al. Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems , 1995, CAV.
[30] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[31] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[32] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[33] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[34] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.
[35] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[36] Joseph Sifakis,et al. Integration Graphs: A Class of Decidable Hybrid Systems , 1992, Hybrid Systems.
[37] Thomas A. Henzinger,et al. Computing simulations on finite and infinite graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.
[38] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.
[39] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[40] Nancy G. Leveson,et al. Analyzing Safety and Fault Tolerance Using Time Petri Nets , 1985, TAPSOFT, Vol.2.
[41] Thomas A. Henzinger,et al. Hybrid Automata with Finite Bisimulatioins , 1995, ICALP.
[42] Joseph Sifakis,et al. An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.