Rajeev Alur, Aditya Kanade, S. Ramesh & K. C. Shashidhar (2008):
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.
In: Luca de Alfaro & Jens Palsberg: EMSOFT.
ACM,
pp. 89–98.
Available at http://doi.acm.org/10.1145/1450058.1450071.
Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos & Sriram Sankaranarayanan (2011):
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.
In: Parosh Aziz Abdulla & K. Rustan M. Leino: TACAS,
Lecture Notes in Computer Science 6605.
Springer,
pp. 254–257.
Available at http://dx.doi.org/10.1007/978-3-642-19835-9_21.
Bahareh Badban, Martin Fränzle, Jan Peleska & Tino Teige (2006):
Test automation for hybrid systems.
In: Johannes Mayer, Neelam Gupta & Yves Ledru: SOQUA.
ACM,
pp. 14–21.
Available at http://doi.acm.org/10.1145/1188895.1188902.
Thao Dang & Tarik Nahhal (2009):
Coverage-guided test generation for continuous and hybrid systems.
Formal Methods in System Design 34(2),
pp. 183–213.
Available at http://dx.doi.org/10.1007/s10703-009-0066-0.
Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov & Martin Fränzle (2011):
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
In: Gilles Barthe, Alberto Pardo & Gerardo Schneider: SEFM,
Lect. Notes in Comp. Sci. 7041.
Springer,
pp. 172–187.
Available at http://dx.doi.org/10.1007/978-3-642-24690-6_13.
J.M. Esposito (2004):
Randomized test case generation for hybrid systems: metric selection.
In: System Theory, 2004. Proceedings of the Thirty-Sixth Southeastern Symposium on,
pp. 236–240,
doi:10.1109/SSST.2004.1295655.
Sicun Gao, Soonho Kong & Edmund M. Clarke (2013):
dReal: An SMT Solver for Nonlinear Theories over the Reals.
In: Maria Paola Bonacina: CADE,
Lecture Notes in Computer Science 7898.
Springer,
pp. 208–214.
Available at http://dx.doi.org/10.1007/978-3-642-38574-2_14.
Mike Gordon & Hélène Collavizza (2010):
Forward with Hoare.
In: A.W. Roscoe, Cliff B. Jones & Kenneth R. Wood: Reflections on the Work of C.A.R. Hoare.
Springer London,
pp. 101–121.
Available at http://dx.doi.org/10.1007/978-1-84882-912-1_5.
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee & George J. Pappas (2007):
Robust Test Generation and Coverage for Hybrid Systems.
In: Alberto Bemporad, Antonio Bicchi & Giorgio C. Buttazzo: HSCC,
Lecture Notes in Computer Science 4416.
Springer,
pp. 329–342.
Available at http://dx.doi.org/10.1007/978-3-540-71493-4_27.
Naoki Kobayashi & C.-H. Luke Ong (2009):
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.
In: LICS.
IEEE Computer Society,
pp. 179–188.
Available at http://doi.ieeecomputersociety.org/10.1109/LICS.2009.29.
Mayur Naik & Jens Palsberg (2008):
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst. 30(5).
Available at http://doi.acm.org/10.1145/1387673.1387678.
Kohei Suenaga & Ichiro Hasuo (2011):
Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
In: Luca Aceto, Monika Henzinger & Jiri Sgall: ICALP (2),
Lecture Notes in Computer Science 6756.
Springer,
pp. 392–403.
Available at http://dx.doi.org/10.1007/978-3-642-22012-8_31.
Kohei Suenaga, Hiroyoshi Sekine & Ichiro Hasuo (2013):
Hyperstream processing systems: nonstandard modeling of continuous-time signals.
In: Roberto Giacobazzi & Radhia Cousot: POPL.
ACM,
pp. 417–430.
Available at http://doi.acm.org/10.1145/2429069.2429120.
Glynn Winskel (1993):
The Formal Semantics of Programming Languages.
MIT Press.
Aditya Zutshi, Sriram Sankaranarayanan & Ashish Tiwari (2012):
Timed Relational Abstractions for Sampled Data Control Systems.
In: P. Madhusudan & Sanjit A. Seshia: CAV,
Lecture Notes in Computer Science 7358.
Springer,
pp. 343–361.
Available at http://dx.doi.org/10.1007/978-3-642-31424-7_27.