Monitoring of Real-Time Properties
暂无分享,去创建一个
[1] Bengt Jonsson,et al. Generating online test oracles from temporal logic specifications , 2003, International Journal on Software Tools for Technology Transfer.
[2] Deepak D'Souza. A Logical Characterisation of Event Clock Automata , 2003, Int. J. Found. Comput. Sci..
[3] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..
[4] Dimitra Giannakopoulou,et al. Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[5] Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic , 1996, Banff Higher Order Workshop.
[6] Dana Fisman,et al. Reasoning with Temporal Logic on Truncated Paths , 2003, CAV.
[7] Marcelo d'Amorim,et al. Efficient Monitoring of omega-Languages , 2005, CAV.
[8] Grigore Rosu,et al. Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.
[9] Marsha Chechik,et al. Model-checking infinite state-space systems with fine-grained abstractions using SPIN , 2001, SPIN '01.
[10] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[11] Stavros Tripakis,et al. Fault Diagnosis for Timed Automata , 2002, FTRTFT.
[12] Grigore Rosu,et al. Synthesizing Monitors for Safety Properties , 2002, TACAS.
[13] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[14] Patricia Bouyer,et al. Fault Diagnosis Using Timed Automata , 2005, FoSSaCS.
[15] Volker Stolz,et al. Temporal Assertions using AspectJ , 2006, Electron. Notes Theor. Comput. Sci..
[16] T. Kanade. Model-Based Testing of Reactive Systems , 2005 .
[17] Leonardo Mariani,et al. Run-Time Verification , 2004, Model-Based Testing of Reactive Systems.
[18] M. Leucker,et al. Model-based runtime analysis of distributed reactive systems , 2006, Australian Software Engineering Conference (ASWEC'06).
[19] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[20] Pierre-Yves Schobbens,et al. The Logic of Event Clocks - Decidability, Complexity and Expressiveness , 1998, J. Autom. Lang. Comb..
[21] Stavros Tripakis,et al. Analysis of Timed Systems Using Time-Abstracting Bisimulations , 2001, Formal Methods Syst. Des..
[22] Pierre-Yves Schobbens,et al. State Clock Logic: A Decidable Real-Time Logic , 1997, HART.
[23] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[24] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[25] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[26] Manfred Broy,et al. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .
[27] Thomas A. Henzinger,et al. Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..