Timed Model-Checking
暂无分享,去创建一个
[1] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] Philippe Schnoebelen,et al. The State Explosion Problem from Trace to Bisimulation Equivalence , 2000, FoSSaCS.
[3] Philippe Schnoebelen,et al. Model Checking Timed Automata with One or Two Clocks , 2004, CONCUR.
[4] Patricia Bouyer,et al. Updatable timed automata , 2004, Theor. Comput. Sci..
[5] Luca Aceto,et al. Is your model checker on time? On the complexity of model checking for timed modal logics , 1999, J. Log. Algebraic Methods Program..
[6] François Vernadat,et al. State Class Constructions for Branching Analysis of Time Petri Nets , 2003, TACAS.
[7] Patricia Bouyer,et al. Untameable Timed Automata! , 2003, STACS.
[8] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[9] Kim G. Larsen,et al. From Timed Automata to Logic - and Back , 1995, MFCS.
[10] David Lee,et al. An Efficient Algorithm for Minimizing Real-Time Transition Systems , 1997, Formal Methods Syst. Des..
[11] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[12] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[13] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[14] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[15] Patricia Bouyer,et al. On the Expressiveness of TPTL and MTL , 2005, FSTTCS.
[16] Véronique Bruyère,et al. Model-Checking for Weighted Timed Automata , 2004, FORMATS/FTRTFT.
[17] Henrik Reif Andersen,et al. Partial model checking , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[18] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[19] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[20] Didier Lime,et al. Romeo: A Tool for Analyzing Time Petri Nets , 2005, CAV.
[21] Rajeev Alur,et al. Minimization of Timed Transition Systems , 1992, CONCUR.
[22] Joseph Y. Halpern,et al. Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.
[23] Thomas A. Henzinger,et al. Temporal Proof Methodologies for Timed Transition Systems , 1994, Inf. Comput..
[24] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[25] Kim Guldstrand Larsen,et al. Compositional Model Checking of Real Time Systems , 1995, CONCUR.
[26] Neil D. Jones,et al. Complexity of Some Problems in Petri Nets , 1977, Theor. Comput. Sci..
[27] Patricia Bouyer,et al. Timed Temporal Logics for Abstracting Transient States , 2006, ATVA.
[28] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[29] Kim G. Larsen,et al. Staying Alive as Cheaply as Possible , 2004, HSCC.
[30] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[31] Véronique Bruyère,et al. Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic , 2003, STACS.
[32] Philippe Schnoebelen,et al. Efficient timed model checking for discrete-time systems , 2006, Theor. Comput. Sci..
[33] Patricia Bouyer,et al. On Conciseness of Extensions of Timed Automata , 2005, J. Autom. Lang. Comb..
[34] Wang Yi,et al. Clock Difference Diagrams , 1998, Nord. J. Comput..
[35] Patricia Bouyer,et al. A New Modality for Almost Everywhere Properties in Timed Automata , 2005, CONCUR.
[36] Joël Ouaknine,et al. On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[37] Chin-Laung Lei,et al. Modalities for model checking (extended abstract): branching time strikes back , 1985, POPL.
[38] Paul Gastin,et al. Timed substitutions for regular signal-event languages , 2007, Formal Methods Syst. Des..
[39] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[40] Johan Lilius,et al. Efficient State Space Search for Time Petri Nets , 1998, MFCS Workshop on Concurrency.
[41] A. Prasad Sistla,et al. Quantitative temporal reasoning , 1990, Real-Time Systems.
[42] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[43] Thomas A. Henzinger,et al. What Good Are Digital Clocks? , 1992, ICALP.
[44] Stavros Tripakis,et al. KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98) , 1998, FTRTFT.
[45] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[46] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[47] Kim G. Larsen,et al. CMC: A Tool for Compositional Model-Checking of Real-Time Systems , 1998, FORTE.