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