Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
暂无分享,去创建一个
Sriram Sankaranarayanan | Rajeev Alur | Aditya Kanade | S. Ramesh | K. C. Shashidhar | Franjo Ivancic | S. Ramesh | R. Alur | Franjo Ivancic | S. Sankaranarayanan | K. Shashidhar | Aditya Kanade
[1] Oded Maler,et al. Systematic Simulation Using Sensitivity Analysis , 2007, HSCC.
[2] Rajeev Alur,et al. Symbolic analysis for improving simulation coverage of Simulink/Stateflow models , 2008, EMSOFT '08.
[3] Nicolas Halbwachs,et al. Verification of Real-Time Systems using Linear Relation Analysis , 1997, Formal Methods Syst. Des..
[4] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[5] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[6] Insup Lee,et al. Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.
[7] B. I. Silva,et al. Modeling and Verifying Hybrid Dynamic Systems Using CheckMate , 2001 .
[8] Sriram Sankaranarayanan,et al. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra , 2008, TACAS.
[9] Ansgar Fehnker,et al. Benchmarks for Hybrid Systems Verification , 2004, HSCC.
[10] S. Ramesh,et al. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems , 2008, CAV.
[11] Jordi Cortadella,et al. The octahedron abstract domain , 2004, Sci. Comput. Program..
[12] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[13] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[14] Antoine Mid. The Octagon Abstract Domain , 2001 .
[15] Antoine Miné,et al. The octagon abstract domain , 2001, Proceedings Eighth Working Conference on Reverse Engineering.
[16] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[17] Stavros Tripakis,et al. Translating discrete-time simulink to lustre , 2003, TECS.
[18] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[19] Patrick Cousot,et al. Static determination of dynamic properties of programs , 1976 .
[20] Amir Pnueli,et al. Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.
[21] Eugene Asarin,et al. The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.
[22] Gabor Karsai,et al. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.
[23] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[24] Panos J. Antsaklis,et al. Hybrid Systems II , 1994, Lecture Notes in Computer Science.
[25] Rance Cleaveland,et al. An Instrumentation-Based Approach to Controller Model Validation , 2006, ASWSD.
[26] Manfred Broy,et al. Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers , 2006, Automotive Software Workshop.
[27] Nicolas Halbwachs,et al. Automatic discovery of linear restraints among variables of a program , 1978, POPL.
[28] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[29] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[30] Antoine Girard,et al. Verification Using Simulation , 2006, HSCC.
[31] Olaf Stursberg,et al. Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.
[32] Antoine Girard,et al. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis , 2008, HSCC.
[33] Henny B. Sipma,et al. Scalable Analysis of Linear Systems Using Mathematical Programming , 2005, VMCAI.