References

  1. Ezio Bartocci & Yliès Falcone (2018): Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457. Springer, doi:10.1007/978-3-319-75632-5.
  2. David A. Basin, Vincent Jugé, Felix Klaedtke & Eugen Zalinescu (2013): Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. 16(1), pp. 3:1–3:26, doi:10.1145/2487222.2487225.
  3. Andreas Bauer & Yliès Falcone (2016): Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1-2), pp. 46–93, doi:10.1007/s10703-016-0253-8.
  4. Andreas Bauer, Martin Leucker & Christian Schallhart (2011): Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), pp. 14:1–14:64, doi:10.1145/2000799.2000800.
  5. Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum & Corentin Travers (2016): Challenges in Fault-Tolerant Distributed Runtime Verification. In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer International Publishing, Cham, pp. 363–370, doi:10.1007/978-3-319-47169-3_27.
  6. Christian Colombo & Yliès Falcone (2016): Organising LTL monitors over distributed systems with a global clock. Formal Methods in System Design 49(1), pp. 109–158, doi:10.1007/s10703-016-0251-x.
  7. Egor Dolzhenko, Jay Ligatti & Srikar Reddy (2015): Modeling Runtime Enforcement with Mandatory Results Automata. Int. J. Inf. Secur. 14(1), pp. 4760, doi:10.1007/s10207-014-0239-8.
  8. Matthew B. Dwyer, George S. Avrunin & James C. Corbett (1999): Patterns in Property Specifications for Finite-State Verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE '99. Association for Computing Machinery, New York, NY, USA, pp. 411420, doi:10.1145/302405.302672.
  9. Antoine El-Hokayem & Yliès Falcone (2017): Monitoring decentralized specifications. In: Tevfik Bultan & Koushik Sen: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. ACM, pp. 125–135, doi:10.1145/3092703.3092723.
  10. Antoine El-Hokayem & Yliès Falcone (2017): THEMIS: a tool for decentralized monitoring algorithms. In: Tevfik Bultan & Koushik Sen: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. ACM, pp. 372–375, doi:10.1145/3092703.3098224.
  11. Antoine El-Hokayem & Yliès Falcone (2020): On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Trans. Softw. Eng. Methodol. 29(1), pp. 1:1–1:57, doi:10.1145/3355181.
  12. Yliès Falcone, Jean-Claude Fernandez & Laurent Mounier (2012): What can you verify and enforce at runtime?. Int. J. Softw. Tools Technol. Transf. 14(3), pp. 349–382, doi:10.1007/s10009-011-0196-8.
  13. Yliès Falcone, Thierry Jéron, Hervé Marchand & Srinivas Pinisetty (2016): Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123, pp. 2–41, doi:10.1016/j.scico.2016.02.008.
  14. Yliès Falcone, Srdan Krstic, Giles Reger & Dmitriy Traytel (2021): A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23(2), pp. 255–284, doi:10.1007/s10009-021-00609-z.
  15. Yliès Falcone, Leonardo Mariani, Antoine Rollet & Saikat Saha (2018): Runtime Failure Prevention and Reaction. In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, pp. 103–134, doi:10.1007/978-3-319-75632-5_4.
  16. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez & Jean-Luc Richier (2011): Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38(3), pp. 223–262, doi:10.1007/s10703-011-0114-4.
  17. Yliès Falcone & Srinivas Pinisetty (2019): On the Runtime Enforcement of Timed Properties. In: Bernd Finkbeiner & Leonardo Mariani: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Lecture Notes in Computer Science 11757. Springer, pp. 48–69, doi:10.1007/978-3-030-32079-9_4.
  18. Adrian Francalanza, Jorge A. Pérez & César Sánchez (2018): Runtime Verification for Decentralised and Distributed Systems. In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, pp. 176–210, doi:10.1007/978-3-319-75632-5_6.
  19. Florian Gallay & Yliès Falcone (2021): Decentralized LTL Enforcement. Available at www.ylies.fr.
  20. Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem & Yliès Falcone (2018): Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part), pp. 117–135, doi:10.1016/j.is.2017.08.002.
  21. Chi Hu, Wei Dong, Yonghui Yang, Hao Shi & Fei Deng (2020): Decentralized runtime enforcement for robotic swarms. Frontiers Inf. Technol. Electron. Eng. 21(11), pp. 1591–1606, doi:10.1631/FITEE.2000203.
  22. Raphaël Khoury & Sylvain Hallé (2015): Runtime Enforcement with Partial Control. In: Joaquín García-Alfaro, Evangelos Kranakis & Guillaume Bonfante: Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9482. Springer, pp. 102–116, doi:10.1007/978-3-319-30303-1_7.
  23. Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler & Roderick Bloem (2021): Online Shielding for Stochastic Systems. In: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz & Ivan Perez: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, Lecture Notes in Computer Science 12673. Springer, pp. 231–248, doi:10.1007/978-3-030-76384-8_15.
  24. Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal & Vijay K. Garg (2017): Efficient abstraction algorithms for predicate detection. Theoretical Computer Science 688, pp. 24–48, doi:10.1016/j.tcs.2015.12.037. Distributed Computing and Networking.
  25. Vinit A. Ogale & Vijay K. Garg (2007): Detecting Temporal Logic Predicates on Distributed Computations. In: Andrzej Pelc: Distributed Computing. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 420–434, doi:10.1007/978-3-540-75142-7_32.
  26. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet & Omer Nguena-Timo (2014): Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3), pp. 381–422, doi:10.1007/s10703-014-0215-y.
  27. Amir Pnueli (1977): The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46–57, doi:10.1109/SFCS.1977.32.
  28. Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron & Hervé Marchand (2015): Enforcement of (Timed) Properties with Uncontrollable Events. In: Martin Leucker, Camilo Rueda & Frank D. Valencia: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, Lecture Notes in Computer Science 9399. Springer, pp. 542–560, doi:10.1007/978-3-319-25150-9_31.
  29. Matthieu Renard, Antoine Rollet & Yliès Falcone (2020): Runtime enforcement of timed properties using games. Formal Aspects Comput. 32(2-3), pp. 315–360, doi:10.1007/s00165-020-00515-2.
  30. Grigore Rosu & Klaus Havelund (2005): Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2), pp. 151–197, doi:10.1007/s10515-005-6205-y.
  31. Prasanna Thati & Grigore Roşu (2005): Monitoring Algorithms for Metric Temporal Logic Specifications. Electronic Notes in Theoretical Computer Science 113, pp. 145–162, doi:10.1016/j.entcs.2004.01.029. Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org