Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2019):
Adventures in monitorability: from branching to linear time and back again.
Proc. ACM Program. Lang. 3(POPL),
pp. 52:1–52:29,
doi:10.1145/3290365.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2019):
An Operational Guide to Monitorability.
In: Peter Csaba Ölveczky & Gwen Salaün: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings,
Lecture Notes in Computer Science 11724.
Springer,
pp. 433–453,
doi:10.1007/978-3-030-30446-1_23.
Bowen Alpern & Fred B. Schneider (1987):
Recognizing Safety and Liveness.
Distributed Comput. 2(3),
pp. 117–126,
doi:10.1007/BF01782772.
Davide Ancona, Luca Franceschini, Angelo Ferrando & Viviana Mascardi (2021):
RML: Theory and practice of a domain specific language for runtime verification.
Sci. Comput. Program. 205,
pp. 102610,
doi:10.1016/j.scico.2021.102610.
Ezio Bartocci, Yliès Falcone, Adrian Francalanza & Giles Reger (2018):
Introduction to Runtime Verification.
In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics,
Lecture Notes in Computer Science 10457.
Springer,
pp. 1–33,
doi:10.1007/978-3-319-75632-5_1.
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, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings,
Lecture Notes in Computer Science 4337.
Springer,
pp. 260–272,
doi:10.1007/11944836_25.
Andreas Bauer, Martin Leucker & Christian Schallhart (2011):
Runtime Verification for LTL and TLTL.
ACM Trans. Softw. Eng. Methodol. 20(4),
doi:10.1145/2000799.2000800.
Zhe Chen, Yifan Wu, Ou Wei & Bin Sheng (2018):
Deciding weak monitorability for runtime verification.
In: Michel Chaudron, Ivica Crnkovic, Marsha Chechik & Mark Harman: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.
ACM,
pp. 163–164,
doi:10.1145/3183440.3195077.
Edmund M Clarke (1997):
Model checking.
In: International Conference on Foundations of Software Technology and Theoretical Computer Science.
Springer,
pp. 54–56,
doi:10.1016/0304-3975(85)90223-3.
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini & Viviana Mascardi (2020):
ROSMonitoring: A Runtime Verification Framework for ROS.
In: Towards Autonomous Robotic Systems.
Springer International Publishing,
Cham,
pp. 387–399,
doi:10.1007/978-3-030-63486-5_40.
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff & Neil Yorke-Smith (2021):
Towards a framework for certification of reliable autonomous systems.
Auton. Agents Multi Agent Syst. 35(1),
pp. 8,
doi:10.1007/s10458-020-09487-2.
Adrian Francalanza, Luca Aceto & Anna Ingólfsdóttir (2017):
Monitorability for the Hennessy-Milner logic with recursion.
Formal Methods Syst. Des. 51(1),
pp. 87–116,
doi:10.1007/s10703-017-0273-z.
Rob Gerth, Doron A. Peled, Moshe Y. Vardi & Pierre Wolper (1995):
Simple on-the-fly automatic verification of linear temporal logic.
In: Piotr Dembinski & Marek Sredniawa: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995,
IFIP Conference Proceedings 38.
Chapman & Hall,
pp. 3–18,
doi:10.1007/978-0-387-34892-6_1.
Thomas A. Henzinger & N. Ege Saraç (2020):
Monitorability Under Assumptions.
In: Jyotirmoy Deshmukh & Dejan Nickovic: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings,
Lecture Notes in Computer Science 12399.
Springer,
pp. 3–18,
doi:10.1007/978-3-030-60508-7_1.
John A. Hertz, Anders Krogh & Richard G. Palmer (1991):
Introduction to the theory of neural computation.
The advanced book program 1.
Addison-Wesley.
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky & Mahesh Viswanathan (2002):
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electron. Notes Theor. Comput. Sci. 70(4),
pp. 80–94,
doi:10.1016/S1571-0661(04)80578-4.
Ron Koymans (1990):
Specifying Real-Time Properties with Metric Temporal Logic.
Real Time Syst. 2(4),
pp. 255–299,
doi:10.1007/BF01995674.
Kim Guldstrand Larsen (1990):
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion.
Theor. Comput. Sci. 72(2&3),
pp. 265–288,
doi:10.1016/0304-3975(90)90038-J.
Martin Leucker (2012):
Sliding between Model Checking and Runtime Verification.
In: Runtime Verification,
LNCS 7687.
Springer,
pp. 82–87,
doi:10.1007/978-3-642-35632-2_10.
Martin Leucker & Christian Schallhart (2009):
A brief account of runtime verification.
J. Log. Algebraic Methods Program. 78(5),
pp. 293–303,
doi:10.1016/j.jlap.2008.08.004.
Donald W. Loveland (1978):
Automated theorem proving: a logical basis.
Fundamental studies in computer science 6.
North-Holland.
Joseph B. Lyons, Matthew A. Clark, Alan R. Wagner & Matthew J. Schuelke (2017):
Certifiable Trust in Autonomous Systems: Making the Intractable Tangible.
AI Mag. 38(3),
pp. 37–49,
doi:10.1609/aimag.v38i3.2717.
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, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings,
Lecture Notes in Computer Science 3253.
Springer,
pp. 152–166,
doi:10.1007/978-3-540-30206-3_12.
Amir Pnueli (1977):
The Temporal Logic of Programs.
In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977.
IEEE Computer Society,
pp. 46–57,
doi:10.1109/SFCS.1977.32.
Amir Pnueli & Aleksandr Zaks (2006):
PSL Model Checking and Run-Time Verification Via Testers.
In: Jayadev Misra, Tobias Nipkow & Emil Sekerinski: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings,
Lecture Notes in Computer Science 4085.
Springer,
pp. 573–586,
doi:10.1007/11813040_38.
Michael O. Rabin & Dana S. Scott (1959):
Finite Automata and Their Decision Problems.
IBM J. Res. Dev. 3(2),
pp. 114–125,
doi:10.1147/rd.32.0114.
A. Prasad Sistla (1994):
Safety, Liveness and Fairness in Temporal Logic.
Formal Aspects Comput. 6(5),
pp. 495–512,
doi:10.1007/BF01211865.
Thomas Wright, Andrew West, Mauro Licata, Nick Hawes & Barry Lennox (2021):
Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges.
Robotics 10(3),
doi:10.3390/robotics10030086.
Xian Zhang, Martin Leucker & Wei Dong (2012):
Runtime Verification with Predictive Semantics.
In: NASA Formal Methods,
LNCS 7226.
Springer,
pp. 418–432,
doi:10.1007/978-3-642-28891-3_37.