1. L. Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir & K. 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. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace & Gerardo Schneider (2017): Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods in System Design 51(1), pp. 200–265, doi:10.1007/s10703-017-0274-y.
  3. Rajeev Alur, Kousha Etessami & P. Madhusudan (2004): A Temporal Logic of Nested Calls and Returns. In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 467–481, doi:10.1007/978-3-540-24730-2_35.
  4. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos & Nobuko Yoshida (2016): Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages 3(2-3), pp. 95–230, doi:10.1561/2500000031.
  5. Davide Ancona & Andrea Corradi (2014): Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. In: ECOOP 2014, pp. 282–307, doi:10.1007/978-3-662-44202-9_12.
  6. Davide Ancona & Andrea Corradi (2016): Semantic subtyping for imperative object-oriented languages. In: OOPSLA 2016, pp. 568–587, doi:10.1145/2983990.2983992.
  7. Davide Ancona, Sophia Drossopoulou & Viviana Mascardi (2012): Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. In: Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, pp. 76–95, doi:10.1007/978-3-642-37890-4_5.
  8. Davide Ancona, Angelo Ferrando & Viviana Mascardi (2016): Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 47–64, doi:10.1007/978-3-319-30734-3_6.
  9. Davide Ancona, Angelo Ferrando & Viviana Mascardi (2017): Parametric Runtime Verification of Multiagent Systems. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1457–1459, doi:10.5555/3091125.3091328.
  10. Davide Ancona, Angelo Ferrando & Viviana Mascardi (2020): Can determinism and compositionality coexist in RML? (extende version). Available at
  11. Davide Ancona, Luca Franceschini, Angelo Ferrando & Viviana Mascardi (2019): A Deterministic Event Calculus for Effective Runtime Verification. In: Alessandra Cherubini, Nicoletta Sabadini & Simone Tini: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019, CEUR Workshop Proceedings 2504., pp. 248–260. Available at
  12. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger & David E. Rydeheard (2012): Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 68–84, doi:10.1007/978-3-642-32759-9_9.
  13. Ezio Bartocci, Yliès Falcone, Adrian Francalanza & Giles Reger (2018): Introduction to Runtime Verification. In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 1–33, doi:10.1007/978-3-319-75632-5_1.
  14. Andreas Bauer, Martin Leucker & Christian Schallhart (2007): The Good, the Bad, and the Ugly, But How Ugly Is Ugly?. In: Oleg Sokolsky & Serdar Taşıran: Runtime Verification. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 126–138, doi:10.1007/978-3-540-77395-5_11.
  15. Andreas Bauer, Martin Leucker & Christian Schallhart (2011): Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM) 20(4), pp. 14:1–14:64, doi:10.1145/2000799.2000800.
  16. Benedikt Bollig, Normann Decker & Martin Leucker (2012): Frequency Linear-time Temporal Logic. In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 85–92, doi:10.1109/TASE.2012.43.
  17. G. Castagna, M. Dezani-Ciancaglini & L. Padovani (2012): On Global Types and Multi-Party Session. Logical Methods in Computer Science 8(1), doi:10.2168/LMCS-8(1:24)2012.
  18. Antonio Cau & Hussein Zedan (1997): Refining Interval Temporal Logic Specifications. In: Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings, pp. 79–94, doi:10.1007/3-540-63010-4_6.
  19. Feng Chen & Grigore Rosu (2007): Mop: an efficient and generic runtime verification framework. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 569–588, doi:10.1145/1297027.1297069.
  20. Feng Chen & Grigore Rosu (2009): Parametric Trace Slicing and Monitoring. In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 246–261, doi:10.1007/978-3-642-00768-2_23.
  21. Christian Colombo, Gordon J. Pace & Gerardo Schneider (2008): Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 135–149, doi:10.1007/978-3-642-03240-0_13.
  22. Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009): LARVA – Safer Monitoring of Real-Time Java Programs. In: SEFM 2009, pp. 33–37, doi:10.1109/SEFM.2009.13.
  23. Bruno Courcelle (1983): Fundamental Properties of Infinite Trees. Theor. Comput. Sci. 25, pp. 95–169, doi:10.1016/0304-3975(83)90059-2.
  24. James C. Davis, Christy A. Coghlan, Francisco Servant & Dongyoon Lee (2018): The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale. In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 246–256, doi:10.1145/3236024.3236027.
  25. Nelly Delgado, Ann Q. Gates & Steve Roach (2004): A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30(12), pp. 859–872, doi:10.1109/TSE.2004.91.
  26. Yliès Falcone, Klaus Havelund & Giles Reger (2013): A Tutorial on Runtime Verification. In: Engineering Dependable Software Systems, pp. 141–175, doi:10.3233/978-1-61499-207-3-141.
  27. Yliès Falcone, Srdan Krstic, Giles Reger & Dmitriy Traytel (2018): A Taxonomy for Classifying Runtime Verification Tools. In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 241–262, doi:10.1007/978-3-030-03769-7_14.
  28. Luca Franceschini (March 2020): RML: Runtime Monitoring Language. DIBRIS - University of Genova. Available at
  29. A. Frisch, G. Castagna & V. Benzaken (2008): Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4), doi:10.1145/1391289.1391293.
  30. Klaus Havelund & Allen Goldberg (2005): Verify Your Runs. In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 374–383, doi:10.1007/978-3-540-69149-5_40.
  31. Klaus Havelund, Giles Reger, Daniel Thoma & Eugen Zalinescu (2018): Monitoring Events that Carry Data. In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 61–102, doi:10.1007/978-3-319-75632-5_3.
  32. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm & William G. Griswold (2001): An Overview of AspectJ. In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 327–353, doi:10.1007/3-540-45337-7_18.
  33. Dexter Kozen (1983): Results on the Propositional mu-Calculus. Theor. Comput. Sci. 27, pp. 333–354, doi:10.1016/0304-3975(82)90125-6.
  34. 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.
  35. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. The Journal of Logic and Algebraic Programming 78(5), pp. 293–303, doi:10.1016/j.jlap.2008.08.004.
  36. Nancy A. Lynch & Mark R. Tuttle (1987): Hierarchical Correctness Proofs for Distributed Algorithms. In: Fred B. Schneider: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987. ACM, pp. 137–151, doi:10.1145/41840.41852.
  37. RC Moore (2000): Removing left recursion from context-free grammars. NAACL 2000: Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference. Available at
  38. Amir Pnueli (1977): The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, 1977. IEEE, pp. 46–57, doi:10.1109/SFCS.1977.32.
  39. Amir Pnueli & Lenore D. Zuck (1993): In and Out of Temporal Logic. In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 124–135, doi:10.1109/LICS.1993.287594.
  40. Giles Reger, Helena Cuenca Cruz & David E. Rydeheard (2015): MarQ: Monitoring at Runtime with QEA. In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 596–610, doi:10.1007/978-3-662-46681-0_55.
  41. Oleg Sokolsky, Klaus Havelund & Insup Lee (2012): Introduction to the special section on runtime verification. STTT 14(3), pp. 243–247, doi:10.1007/s10009-011-0218-6.
  42. Prasanna Thati & Grigore Rosu (2005): Monitoring Algorithms for Metric Temporal Logic Specifications. Electr. Notes Theor. Comput. Sci. 113, pp. 145–162, doi:10.1016/j.entcs.2004.01.029.
  43. Frits W. Vaandrager (1991): Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). Theor. Comput. Sci. 79(2), pp. 275–294, doi:10.1016/0304-3975(91)90333-W.
  44. Glynn Winskel (1986): Event Structures. In: Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, Lecture Notes in Computer Science 255. Springer, pp. 325–392, doi:10.1007/3-540-17906-2_31.

Comments and questions to:
For website issues: