@inproceedings(althoff_introduction_2015, author = {Matthias Althoff}, year = {2015}, title = {An {Introduction} to {CORA} 2015}, booktitle = {{EPiC} {Series} in {Computing}}, volume = {34}, publisher = {EasyChair}, pages = {120--151}, doi = {10.29007/zbkv}, url = {https://easychair.org/publications/paper/xMm}, note = {ISSN: 2398-7340}, ) @inproceedings(balsini_generation_2017, author = {Alessio Balsini and Di Natale, Marco and Marco Celia and Vassilios Tsachouridis}, year = {2017}, title = {Generation of simulink monitors for control applications from formal requirements}, booktitle = {2017 12th {IEEE} {International} {Symposium} on {Industrial} {Embedded} {Systems} ({SIES})}, publisher = {IEEE}, address = {Toulouse}, pages = {1--9}, doi = {10.1109/SIES.2017.7993389}, url = {https://ieeexplore.ieee.org/document/7993389/}, ) @inproceedings(bauer_monitoring_2006, author = {Andreas Bauer and Martin Leucker and Christian Schallhart}, year = {2006}, title = {Monitoring of {Real}-{Time} {Properties}}, editor = {Arun-Kumar, S. and Naveen Garg}, booktitle = {{FSTTCS} 2006: {Foundations} of {Software} {Technology} and {Theoretical} {Computer} {Science}}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer}, address = {Berlin, Heidelberg}, pages = {260--272}, doi = {10.1007/11944836\_25}, ) @inproceedings(ic3, author = {Aaron R. Bradley}, year = {2012}, title = {{IC3} and beyond: Incremental, Inductive Verification}, editor = {P. Madhusudan and Sanjit A. Seshia}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, publisher = {Springer}, pages = {4}, doi = {10.1007/978-3-642-31424-7\_4}, ) @inproceedings(DBLP:conf/popl/CaspiPHP87, author = {Paul Caspi and Daniel Pilaud and Nicolas Halbwachs and John Plaice}, year = {1987}, title = {Lustre: {A} Declarative Language for Programming Synchronous Systems}, booktitle = {POPL'87}, pages = {178--188}, doi = {10.1145/41625.41641}, ) @inproceedings(Champion2016, author = {Adrien Champion and Arie Gurfinkel and Temesghen Kahsai and Cesare Tinelli}, year = {2016}, title = {CoCoSpec: A Mode-Aware Contract Language for Reactive Systems}, booktitle = {SEFM'16}, pages = {347--366}, doi = {10.1007/978-3-319-41591-8\_24}, ) @inproceedings(kind2, author = {Adrien Champion and Alain Mebsout and Christoph Sticksel and Cesare Tinelli}, year = {2016}, title = {The Kind 2 Model Checker}, editor = {Swarat Chaudhuri and Azadeh Farzan}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9780}, publisher = {Springer}, pages = {510--517}, doi = {10.1007/978-3-319-41540-6\_29}, ) @article(deshmukh2015robust, author = {Jyotirmoy V. Deshmukh and Alexandre Donz{\'e} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia}, year = {2017}, title = {Robust online monitoring of signal temporal logic}, journal = {Formal Methods in System Design}, volume = {51}, number = {1}, pages = {5--30}, doi = {10.1007/s10703-017-0286-7}, ) @inproceedings(donze_robust_2010, author = {Alexandre Donzé and Oded Maler}, year = {2010}, title = {Robust {Satisfaction} of {Temporal} {Logic} over {Real}-{Valued} {Signals}}, editor = {Krishnendu Chatterjee and Thomas A. Henzinger}, booktitle = {Formal {Modeling} and {Analysis} of {Timed} {Systems}}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer}, address = {Berlin, Heidelberg}, pages = {92--106}, doi = {10.1007/978-3-642-15297-9\_9}, ) @inproceedings(FrehseLGDCRLRGDM11, author = {Goran Frehse and Le Guernic, Colas and Alexandre Donz\'e and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler}, year = {2011}, title = {SpaceEx: Scalable Verification of Hybrid Systems}, editor = {Ganesh Gopalakrishnan, Shaz Qadeer}, booktitle = {Proc. 23rd International Conference on Computer Aided Verification (CAV)}, series = {LNCS}, publisher = {Springer}, pages = {379--395}, doi = {10.1007/978-3-642-22110-1\_30}, ) @inproceedings(ho_online_2014, author = {Hsi-Ming Ho and Joël Ouaknine and James Worrell}, year = {2014}, title = {Online {Monitoring} of {Metric} {Temporal} {Logic}}, editor = {Borzoo Bonakdarpour and Scott A. Smolka}, booktitle = {Runtime {Verification}}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer International Publishing}, address = {Cham}, pages = {178--192}, doi = {10.1007/978-3-319-11164-3\_15}, ) @article(DBLP:journals/cacm/Hoare69, author = {C. A. R. Hoare}, year = {1969}, title = {An Axiomatic Basis for Computer Programming}, journal = {Commun. {ACM}}, volume = {12}, number = {10}, pages = {576--580}, doi = {10.1145/363235.363259}, ) @inproceedings(DBLP:conf/formats/KempaZJZR20, author = {Brian Kempa and Pei Zhang and Phillip H. Jones and Joseph Zambreno and Kristin Yvonne Rozier}, year = {2020}, title = {Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2}, editor = {Nathalie Bertrand and Nils Jansen}, booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12288}, publisher = {Springer}, pages = {196--214}, doi = {10.1007/978-3-030-57628-8\_12}, ) @book(kleene52, author = {Stephen Cole Kleene}, year = {1952}, title = {Introduction to Metamathematics}, publisher = {North-Holland}, address = {Amsterdam}, ) @unpublished(Lukasiewicz1970-LUKJLS, author = {J. {Lukasiewicz}}, year = {1970}, title = {{Selected} {Works}}, url = {https://www.scribd.com/document/359602256/J-Lukasiewicz-Selected-Works-L-Borkowski-Editor}, ) @inproceedings(maler_monitoring_2004, author = {Oded Maler and Dejan Nickovic}, year = {2004}, title = {Monitoring {Temporal} {Properties} of {Continuous} {Signals}}, editor = {Yassine Lakhnech and Sergio Yovine}, booktitle = {Formal {Techniques}, {Modelling} and {Analysis} of {Timed} and {Fault}-{Tolerant} {Systems}}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer}, address = {Berlin, Heidelberg}, pages = {152--166}, doi = {10.1007/978-3-540-30206-3\_12}, ) @article(maler_monitoring_2013, author = {Oded Maler and Dejan Ničković}, year = {2013}, title = {Monitoring properties of analog and mixed-signal circuits}, journal = {International Journal on Software Tools for Technology Transfer}, volume = {15}, number = {3}, pages = {247--268}, doi = {10.1007/s10009-012-0247-9}, ) @inproceedings(z3, author = {Leonardo Mendon{\c{c}}a de Moura and Bj{\o}rner, Nikolaj S.}, year = {2008}, title = {{Z3:} An Efficient {SMT} Solver}, editor = {C. R. Ramakrishnan and Jakob Rehof}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, publisher = {Springer}, pages = {337--340}, doi = {10.1007/978-3-540-78800-3\_24}, ) @inproceedings(roehm_stl_2016, author = {Hendrik Roehm and Jens Oehlerking and Thomas Heinz and Matthias Althoff}, year = {2016}, title = {STL Model Checking of Continuous and Hybrid Systems}, editor = {Cyrille Artho and Axel Legay and Doron Peled}, booktitle = {Automated Technology for Verification and Analysis}, publisher = {Springer International Publishing}, address = {Cham}, pages = {412--427}, doi = {10.1007/978-3-319-46520-3\_26}, ) @inproceedings(kinduction, author = {Mary Sheeran and Satnam Singh and St{\r a}lmarck, Gunnar}, year = {2000}, title = {Checking Safety Properties Using Induction and a SAT-Solver}, editor = {Warren A. Hunt Jr. and Steven D. Johnson}, booktitle = {Formal Methods in Computer-Aided Design, Third International Conference, {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1954}, publisher = {Springer}, pages = {108--125}, doi = {10.1007/3-540-40922-X\_8}, )