1. AKKA website. Available at
  2. Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson & Marjan Sirjani (2011): Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. In: FOCLASA, EPTCS 58, pp. 1–19, doi:10.4204/EPTCS.58.1.
  3. Luca Aceto & Anna Ingólfsdóttir (1999): Testing Hennessy-Milner Logic with Recursion. In: FoSSaCS, LNCS 1578. Springer, pp. 41–55, doi:10.1007/3-540-49019-1_4.
  4. Gul Agha, Ian A. Mason, Scott F. Smith & Carolyn L. Talcott (1997): A Foundation for Actor Computation. Journal of Functional Programming, pp. 1–72, doi:10.1017/S095679689700261X.
  5. Gul A. Agha, Prasannaa Thati & Reza Ziaei (2001): Formal Methods for Distributed Processing, chapter Actors: A Model for Reasoning About Open Distributed Systems. Cambridge University Press, New York, NY, USA, pp. 155–176, doi:
  6. James H. Andrews & Yingjun Zhang (2003): General Test Result Checking with Log File Analysis.. IEEE Trans. Software Eng. 29, pp. 634–648, doi:10.1109/TSE.2003.1214327.
  7. Joe Armstrong (2007): Programming Erlang. The Pragmatic Bookshelf.
  8. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger & David E. Rydeheard (2012): Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In: FM, LNCS 7436. Springer, pp. 68–84, doi:10.1007/978-3-642-32759-9_9.
  9. Francesco Cesarini & Simon Thompson (2009): ERLANG Programming, 1st edition. O'Reilly.
  10. Feng Chen & Grigore Roşu (2005): Java-MOP: A Monitoring Oriented Programming Environment for Java. In: TACAS'05, LNCS 3440. Springer, pp. 546–550, doi:10.1007/978-3-540-31980-1_36.
  11. Feng Chen & Grigore Roşu (2007): MOP: An Efficient and Generic Runtime Verification Framework. In: OOPSLA. ACM press, pp. 569–588, doi:10.1145/1297027.1297069.
  12. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott (2007): All About Maude - a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer-Verlag, Berlin, Heidelberg.
  13. C. Colombo, G.J. Pace & G. Schneider (2009): LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). In: SEFM, pp. 33–37, doi:10.1109/SEFM.2009.13.
  14. Christian Colombo, Adrian Francalanza & Rudolph Gatt (2011): Elarva: A Monitoring Tool for Erlang. In: RV, LNCS 7186. Springer, pp. 370–374, doi:10.1007/978-3-642-29860-8_29.
  15. Christian Colombo, Adrian Francalanza, Ruth Mizzi & Gordon J. Pace (2012): polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. In: SEFM, pp. 218–232, doi:10.1007/978-3-642-33826-7_15.
  16. Christian Colombo & Gordon J. Pace (2012): Fast-Forward Runtime Monitoring - An Industrial Case Study.. In: RV, LNCS 7687. Springer, pp. 214–228, doi:10.1007/978-3-642-35632-2_22.
  17. Marcelo d'Amorim & Klaus Havelund (2005): Event-based Runtime Verification of Java Programs. SIGSOFT Softw. Eng. Notes 30(4), pp. 1–7, doi:10.1145/1082983.1083249.
  18. B. D'Angelo, S. Sankaranarayanan, C. Sánchez, W. Robinson, B. Finkbeiner, H. B. Sipma, S. Mehrotra & Manna Z. (2005): LOLA: Runtime Monitoring of Synchronous Systems. In: TIME. IEEE, pp. 166–174, doi:10.1109/TIME.2005.26.
  19. Normann Decker, Martin Leucker & Daniel Thoma (2013): jUnitRV - Adding Runtime Verification to jUnit. In: NASA Formal Methods, LNCS 7871. Springer-Verlag Berlin Heidelberg. Springer, pp. 459–464, doi:10.1007/978-3-642-38088-4_34.
  20. Atilla Erdödi: Exago: Property monitoring via log file analysis. Available at
  21. Yliès Falcone, Jean-Claude Fernandez & Laurent Mounier (2012): What can you verify and enforce at runtime?. STTT 14(3), pp. 349–382, doi:10.1007/s10009-011-0196-8.
  22. Adrian Francalanza, Andrew Gauci & Gordon J. Pace (2013): Distributed System Contract Monitoring. JLAP 82(5-7), pp. 186–215, doi:10.1016/j.jlap.2013.04.001.
  23. Adrian Francalanza & Aldrin Seychell (2013): Synthesising Correct Concurrent Runtime Monitors (Extended Abstract). In: RV, LNCS 8174. Springer, pp. 112–129, doi:10.1007/978-3-642-40787-1_7.
  24. Adrian Francalanza, Aldrin Seychell & Ian Cassar: DetectEr. Available at
  25. Lars-Åke Fredlund (2001): A Framework for Reasoning about Erlang Code. Royal Institute of Technology, Stockholm, Sweden.
  26. Lars-Åke Fredlund & Hans Svensson (2007): McErlang: a model checker for a distributed functional programming language. ICFP '07. ACM, New York, NY, USA, pp. 125–136, doi:10.1145/1291151.1291171.
  27. Philipp Haller & Frank Sommers (2012): Actors in Scala. Artima Inc., USA.
  28. Klaus Havelund & Grigore Roşu (2001): Monitoring Java Programs with Java PathExplorer. In: RV (in connection with CAV), ENTCS 55:2, pp. 200–217, doi:10.1016/S1571-0661(04)00253-1.
  29. Alejandro Hernandez (2010): Yaws 1.89: Directory Traversal Vulnerability. Available at Accessed on 6/6/2014.
  30. Zachary Kessin (2012): Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws. O'Reilly Media.
  31. MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee & Oleg Sokolsky (2004): Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2), pp. 129–155, doi:10.1023/B:FORM.0000017719.43755.7c.
  32. Alexei Krasnopolski: AOP for Erlang. Available at
  33. Martin Leucker & Christian Schallhart (2009): A brief account of Runtime Verification. JLAP 78(5), pp. 293 – 303, doi:10.1016/j.jlap.2008.08.004.
  34. Martin Logan, Eric Merritt & Richard Carlsson (2011): Erlang and OTP in Action. Manning.
  35. Ian A. Mason & Carolyn L. Talcott (1999): Actor languages their syntax, semantics, translation, and equivalence. Theoretical Computer Science 220, pp. 409 – 467, doi:10.1016/S0304-3975(99)00009-2.
  36. Shangping Ren & Gul Agha (1995): RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. In: Richard Gerber & Thomas J. Marlowe: Workshop on Languages, Compilers, & Tools for Real-Time Systems, pp. 50–59, doi:10.1145/216636.216656.
  37. Grigore Roşu & Klaus Havelund (2005): Rewriting-Based Techniques for Runtime Verification. Automated Software Engg. 12(2), pp. 151–197, doi:10.1007/s10515-005-6205-y.
  38. Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Roşu (2004): Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE, pp. 418–427, doi:10.1109/ICSE.2004.1317464.
  39. Marjan Sirjani, Ali Movaghar, Amin Shali & Frank S. de Boer (2004): Modeling and Verification of Reactive Systems Using Rebeca. Fundam. Inf. 63(4), pp. 385–410.
  40. Hans Svensson, Lars-Åke Fredlund & Clara Benac Earle (2010): A unified semantics for future Erlang. In: Erlang Workshop. ACM, pp. 23–32, doi:10.1145/1863509.1863514.
  41. Carolyn Talcott, Marjan Sirjani & Shangping Ren (2008): Comparing Three Coordination Models: Reo, ARC, and RRD. ENTCS 194(4), pp. 39–55, doi:10.1016/j.entcs.2008.03.098.
  42. Alfred Tarski (1955): A lattice-theoretical fixpoint theorem and its applications.. Pacific Journal of Mathematics 5(2), pp. 285–309, doi:10.2140/pjm.1955.5.285.
  43. Steve Vinoski (2011): Yaws: Yet another web server. IEEE Internet Computing 15(4), pp. 90–94, doi:10.1109/MIC.2011.100.

Comments and questions to:
For website issues: