Testing and Monitoring Model-based Generated Program

[1]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[2]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, PODC '91.

[3]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[6]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[7]  Laura K. Dillon,et al.  Generating oracles from your favorite temporal logic specifications , 1996, SIGSOFT '96.

[8]  Mahesh Viswanathan,et al.  Runtime Assurance Based On Formal Specifications , 1999, PDPTA.

[9]  Grigore Rosu,et al.  Java PathExplorer: A Runtime Verification Tool , 2001 .

[10]  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).

[11]  Grigore Rosu,et al.  Synthesizing Monitors for Safety Properties , 2002, TACAS.

[12]  Vijay Kumar,et al.  Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.

[13]  Insup Lee,et al.  Generating embedded software from hierarchical hybrid models , 2003 .

[14]  Insup Lee,et al.  Modular code generation from hybrid automata based on data dependency , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[15]  Insup Lee,et al.  Generating embedded software from hierarchical hybrid models , 2003, LCTES '03.