References

  1. 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.
  2. 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.
  3. Bowen Alpern & Fred B. Schneider (1987): Recognizing Safety and Liveness. Distributed Comput. 2(3), pp. 117–126, doi:10.1007/BF01782772.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. John A. Hertz, Anders Krogh & Richard G. Palmer (1991): Introduction to the theory of neural computation. The advanced book program 1. Addison-Wesley.
  16. 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.
  17. Ron Koymans (1990): Specifying Real-Time Properties with Metric Temporal Logic. Real Time Syst. 2(4), pp. 255–299, doi:10.1007/BF01995674.
  18. 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.
  19. 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.
  20. 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.
  21. Donald W. Loveland (1978): Automated theorem proving: a logical basis. Fundamental studies in computer science 6. North-Holland.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. A. Prasad Sistla (1994): Safety, Liveness and Fairness in Temporal Logic. Formal Aspects Comput. 6(5), pp. 495–512, doi:10.1007/BF01211865.
  28. 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.
  29. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org