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.
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.
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.
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:10.1.1.1.6356.
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.
Joe Armstrong (2007):
Programming Erlang.
The Pragmatic Bookshelf.
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.
Francesco Cesarini & Simon Thompson (2009):
ERLANG Programming,
1st edition.
O'Reilly.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Lars-Åke Fredlund (2001):
A Framework for Reasoning about Erlang Code.
Royal Institute of Technology,
Stockholm, Sweden.
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.
Philipp Haller & Frank Sommers (2012):
Actors in Scala.
Artima Inc.,
USA.
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.
Zachary Kessin (2012):
Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws.
O'Reilly Media.
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.
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.
Martin Logan, Eric Merritt & Richard Carlsson (2011):
Erlang and OTP in Action.
Manning.
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.
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.
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.
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.
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.
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.
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.
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.
Steve Vinoski (2011):
Yaws: Yet another web server.
IEEE Internet Computing 15(4),
pp. 90–94,
doi:10.1109/MIC.2011.100.