Alessio Balsini, Marco Di Natale, Marco Celia & Vassilios Tsachouridis (2017):
Generation of simulink monitors for control applications from formal requirements.
In: 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES).
IEEE,
Toulouse,
pp. 1–9,
doi:10.1109/SIES.2017.7993389.
Available at https://ieeexplore.ieee.org/document/7993389/.
Andreas Bauer, Martin Leucker & Christian Schallhart (2006):
Monitoring of Real-Time Properties.
In: S. Arun-Kumar & Naveen Garg: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science,
Lecture Notes in Computer Science.
Springer,
Berlin, Heidelberg,
pp. 260–272,
doi:10.1007/11944836_25.
Aaron R. Bradley (2012):
IC3 and beyond: Incremental, Inductive Verification.
In: P. Madhusudan & Sanjit A. Seshia: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings,
Lecture Notes in Computer Science 7358.
Springer,
pp. 4,
doi:10.1007/978-3-642-31424-7_4.
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs & John Plaice (1987):
Lustre: A Declarative Language for Programming Synchronous Systems.
In: POPL'87,
pp. 178–188,
doi:10.1145/41625.41641.
Adrien Champion, Arie Gurfinkel, Temesghen Kahsai & Cesare Tinelli (2016):
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems.
In: SEFM'16,
pp. 347–366,
doi:10.1007/978-3-319-41591-8_24.
Adrien Champion, Alain Mebsout, Christoph Sticksel & Cesare Tinelli (2016):
The Kind 2 Model Checker.
In: Swarat Chaudhuri & Azadeh Farzan: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
Lecture Notes in Computer Science 9780.
Springer,
pp. 510–517,
doi:10.1007/978-3-319-41540-6_29.
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal & Sanjit A. Seshia (2017):
Robust online monitoring of signal temporal logic.
Formal Methods in System Design 51(1),
pp. 5–30,
doi:10.1007/s10703-017-0286-7.
Alexandre Donzé & Oded Maler (2010):
Robust Satisfaction of Temporal Logic over Real-Valued Signals.
In: Krishnendu Chatterjee & Thomas A. Henzinger: Formal Modeling and Analysis of Timed Systems,
Lecture Notes in Computer Science.
Springer,
Berlin, Heidelberg,
pp. 92–106,
doi:10.1007/978-3-642-15297-9_9.
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011):
SpaceEx: Scalable Verification of Hybrid Systems.
In: Shaz Qadeer Ganesh Gopalakrishnan: Proc. 23rd International Conference on Computer Aided Verification (CAV),
LNCS.
Springer,
pp. 379–395,
doi:10.1007/978-3-642-22110-1_30.
Hsi-Ming Ho, Joël Ouaknine & James Worrell (2014):
Online Monitoring of Metric Temporal Logic.
In: Borzoo Bonakdarpour & Scott A. Smolka: Runtime Verification,
Lecture Notes in Computer Science.
Springer International Publishing,
Cham,
pp. 178–192,
doi:10.1007/978-3-319-11164-3_15.
C. A. R. Hoare (1969):
An Axiomatic Basis for Computer Programming.
Commun. ACM 12(10),
pp. 576–580,
doi:10.1145/363235.363259.
Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno & Kristin Yvonne Rozier (2020):
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.
In: Nathalie Bertrand & Nils Jansen: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings,
Lecture Notes in Computer Science 12288.
Springer,
pp. 196–214,
doi:10.1007/978-3-030-57628-8_12.
Stephen Cole Kleene (1952):
Introduction to Metamathematics.
North-Holland,
Amsterdam.
Oded Maler & Dejan Nickovic (2004):
Monitoring Temporal Properties of Continuous Signals.
In: Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems,
Lecture Notes in Computer Science.
Springer,
Berlin, Heidelberg,
pp. 152–166,
doi:10.1007/978-3-540-30206-3_12.
Oded Maler & Dejan Ničković (2013):
Monitoring properties of analog and mixed-signal circuits.
International Journal on Software Tools for Technology Transfer 15(3),
pp. 247–268,
doi:10.1007/s10009-012-0247-9.
Leonardo Mendonça de Moura & Nikolaj S. Bjørner (2008):
Z3: An Efficient SMT Solver.
In: C. R. Ramakrishnan & Jakob Rehof: 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,
Lecture Notes in Computer Science 4963.
Springer,
pp. 337–340,
doi:10.1007/978-3-540-78800-3_24.
Hendrik Roehm, Jens Oehlerking, Thomas Heinz & Matthias Althoff (2016):
STL Model Checking of Continuous and Hybrid Systems.
In: Cyrille Artho, Axel Legay & Doron Peled: Automated Technology for Verification and Analysis.
Springer International Publishing,
Cham,
pp. 412–427,
doi:10.1007/978-3-319-46520-3_26.
Mary Sheeran, Satnam Singh & Gunnar Stålmarck (2000):
Checking Safety Properties Using Induction and a SAT-Solver.
In: Warren A. Hunt Jr. & Steven D. Johnson: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings,
Lecture Notes in Computer Science 1954.
Springer,
pp. 108–125,
doi:10.1007/3-540-40922-X_8.