Joe Armstrong (2007):
Programming Erlang: Software for a Concurrent World.
Pragmatic Bookshelf,
doi:10.1017/S0956796809007163.
Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto & Anna Ingolfsdottir (2017):
A Runtime Monitoring Tool for Actor-Based Systems..
In: Behavioural Types: from Theory to Tools., chapter 3.
River Publishers,
Gistrup, Denmark,
pp. 49–76,
doi:10.13052/rp-9788793519817.
Howard Barringer, Allen Goldberg, Klaus Havelund & Koushik Sen (2004):
Rule-Based Runtime Verification.
In: VMCAI,
LNCS 2937.
Springer,
pp. 44–57,
doi:10.1007/978-3-540-24622-0_5.
Andreas Bauer & Ylies Falcone (2012):
Decentralised LTL Monitoring.
In: FM,
LNCS 7436.
Springer,
pp. 85–100,
doi:10.1007/978-3-642-32759-9_10.
Ian Cassar & Adrian Francalanza (2015):
On synchronous and asynchronous monitor instrumentation for actor-based systems.
arXiv preprint arXiv:1502.03514,
doi:10.4204/EPTCS.175.4.
Ian Cassar & Adrian Francalanza (2015):
Runtime adaptation for actor systems.
In: RV.
Springer,
pp. 38–54,
doi:10.1007/978-3-319-23820-3_3.
Ian Cassar & Adrian Francalanza (2016):
On Implementing a Monitor-Oriented Programming Framework for Actor Systems.
In: iFM.
Springer,
pp. 176–192,
doi:10.1007/978-3-319-33693-0_12.
Ian Cassar, Adrian Francalanza, Luca Aceto & Anna Ingólfsdóttir (2017):
eAOP: An Aspect Oriented Programming Framework for Erlang.
In: Erlang,
ACM SIGPLAN,
doi:10.1145/3123569.3123570.
Ian Cassar, Adrian Francalanza & Simon Said (2015):
Improving Runtime Overheads for detectEr.
arXiv preprint arXiv:1503.04912,
doi:10.4204/EPTCS.178.1.
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.
Feng Chen & Grigore Roşu (2005):
Java-MOP: A Monitoring Oriented Programming Environment for Java,
pp. 546–550.
Springer,
doi:10.1007/978-3-540-31980-1_36.
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, Gordon J. Pace & Patrick Abela (2012):
Safer Asynchronous Runtime Monitoring Using Compensations.
FMSD 41(3),
pp. 269–294,
doi:10.1007/s10703-012-0142-8.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009):
LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper).
In: SEFM.
IEEE,
pp. 33–37,
doi:10.1109/SEFM.2009.13.
Marcelo D'Amorim & Klaus Havelund (2005):
JEagle: a JAVA Runtime Verification Tool..
Technical Report N20050082002.
NASA.
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.
Nelly Delgado, Ann Quiroz Gates & Steve Roach (2004):
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.
IEEE Trans. Softw. Eng. 30(12),
pp. 859–872,
doi:10.1109/TSE.2004.91.
Doron Drusinsky (2003):
Monitoring Temporal Rules Combined with Time Series.
In: Computer Aided Verification,
LNCS 2725.
Springer,
pp. 114–117,
doi:10.1007/978-3-540-45069-6_11.
Atilla Erdödi (2010):
Exago: Property monitoring via log file analysis.
Erlang User Group Meeting, London.
Adrian Francalanza & Aldrin Seychell (2014):
Synthesising Correct Concurrent Runtime Monitors.
FMSD,
pp. 1–36,
doi:10.1007/s10703-014-0217-9.
Klaus Havelund (2013):
A Scala DSL for Rete-Based Runtime Verification.
In: RV,
LNCS 8174.
Springer,
pp. 322–327,
doi:10.1007/978-3-642-40787-1_19.
Klaus Havelund & Grigore Roşu (2004):
An overview of the runtime verification tool Java PathExplorer.
FMSD 24(2),
pp. 189–215,
doi:10.1023/B:FORM.0000017721.39909.4b.
MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee & Oleg Sokolsky (2004):
Java-MaC: A Run-Time Assurance Approach for Java Programs.
FMSD 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.
Patrick O'Neil Meredith & Grigore Rosu (2010):
Runtime Verification with the RV System.
In: RV,
LNCS 6418.
Springer,
pp. 136–152,
doi:10.1007/978-3-642-16612-9_12.
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.
Teng Zhang, Peter Gebhard & Oleg Sokolsky (2016):
SMEDL: Combining Synchronous and Asynchronous Monitoring.
In: RV.
Springer,
pp. 482–490,
doi:10.1007/978-3-319-46982-9_32.
eptcs@eptcs.org