@book(Armstrong07,
 author       = {Joe Armstrong},
 year         = {2007},
 title        = {Programming Erlang: Software for a Concurrent World},
 publisher    = {Pragmatic Bookshelf},
 doi          = {10.1017/S0956796809007163},
)
@incollection(Cassar2017Betty,
 author       = {Duncan Paul Attard and Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingolfsdottir},
 year         = {2017},
 title        = {A Runtime Monitoring Tool for Actor-Based Systems.},
 booktitle    = {Behavioural Types: from Theory to Tools.},
 chapter      = {3},
 publisher    = {River Publishers},
 address      = {Gistrup, Denmark},
 pages        = {49--76},
 doi          = {10.13052/rp-9788793519817},
)
@incollection(eagle,
 author       = {Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen},
 year         = {2004},
 title        = {Rule-Based Runtime Verification},
 booktitle    = {VMCAI},
 series       = {LNCS},
 volume       = {2937},
 publisher    = {Springer},
 pages        = {44--57},
 doi          = {10.1007/978-3-540-24622-0_5},
)
@inproceedings(BauFal12,
 author       = {Andreas Bauer and Ylies Falcone},
 year         = {2012},
 title        = {Decentralised LTL Monitoring},
 booktitle    = {FM},
 series       = {LNCS},
 volume       = {7436},
 publisher    = {Springer},
 pages        = {85--100},
 doi          = {10.1007/978-3-642-32759-9_10},
)
@article(Cassar2014Foclasa,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2015},
 title        = {On synchronous and asynchronous monitor instrumentation for actor-based systems},
 journal      = {arXiv preprint arXiv:1502.03514},
 doi          = {10.4204/EPTCS.175.4},
)
@inproceedings(Cassar2015,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2015},
 title        = {Runtime adaptation for actor systems},
 booktitle    = {RV},
 organization = {Springer},
 pages        = {38--54},
 doi          = {10.1007/978-3-319-23820-3_3},
)
@inproceedings(Cassar2016IFM,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2016},
 title        = {On Implementing a Monitor-Oriented Programming Framework for Actor Systems},
 booktitle    = {iFM},
 organization = {Springer},
 pages        = {176--192},
 doi          = {10.1007/978-3-319-33693-0_12},
)
@inproceedings(Cassar2017Eaop,
 author       = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ing\'{o}lfsd\'{o}ttir},
 year         = {2017},
 title        = {{\textsf{eAOP}: An Aspect Oriented Programming Framework for Erlang}},
 booktitle    = {Erlang},
 series       = {ACM SIGPLAN},
 doi          = {10.1145/3123569.3123570},
)
@article(Cassar2015Fesca,
 author       = {Ian Cassar and Adrian Francalanza and Simon Said},
 year         = {2015},
 title        = {Improving Runtime Overheads for detectEr},
 journal      = {arXiv preprint arXiv:1503.04912},
 doi          = {10.4204/EPTCS.178.1},
)
@inproceedings(chen-rosu-2005-tacas,
 author       = {Feng Chen and Ro\c{s}u, Grigore},
 year         = {2005},
 title        = {Java-{MOP}: {A} Monitoring Oriented Programming Environment for {J}ava},
 booktitle    = {TACAS'05},
 series       = {LNCS},
 volume       = {3440},
 publisher    = {Springer},
 pages        = {546--550},
 doi          = {10.1007/978-3-540-31980-1\_36},
)
@inproceedings(chen-rosu-2007-oopsla,
 author       = {Feng Chen and Ro\c{s}u, Grigore},
 year         = {2007},
 title        = {{MOP: An Efficient and Generic Runtime Verification Framework}},
 booktitle    = {OOPSLA},
 publisher    = {ACM press},
 pages        = {569--588},
 doi          = {10.1145/1297027.1297069},
)
@inbook(Chen2005,
 author       = {Feng Chen and Ro{\c{s}}u, Grigore},
 year         = {2005},
 title        = {Java-MOP: A Monitoring Oriented Programming Environment for Java},
 pages        = {546--550},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-31980-1_36},
)
@inproceedings(elarva:2012,
 author       = {Christian Colombo and Adrian Francalanza and Rudolph Gatt},
 year         = {2011},
 title        = {Elarva: A Monitoring Tool for Erlang},
 booktitle    = {RV},
 series       = {LNCS},
 volume       = {7186},
 publisher    = {Springer},
 pages        = {370--374},
 doi          = {10.1007/978-3-642-29860-8\_29},
)
@article(cc-saferAsync,
 author       = {Christian Colombo and Gordon J. Pace and Patrick Abela},
 year         = {2012},
 title        = {Safer Asynchronous Runtime Monitoring Using Compensations},
 journal      = {FMSD},
 volume       = {41},
 number       = {3},
 pages        = {269--294},
 doi          = {10.1007/s10703-012-0142-8},
)
@inproceedings(CPS09larva,
 author       = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
 year         = {2009},
 title        = {LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
 booktitle    = {SEFM},
 publisher    = {IEEE},
 pages        = {33--37},
 doi          = {10.1109/SEFM.2009.13},
)
@techreport(jeagle,
 author       = {Marcelo D'Amorim and Klaus Havelund},
 year         = {2005},
 title        = {JEagle: a JAVA Runtime Verification Tool.},
 type         = {Technical Report},
 number       = {N20050082002},
 institution  = {NASA},
)
@inproceedings(lola:runtime,
 author       = {B. D'Angelo and S. Sankaranarayanan and C. S\'{a}nchez and W. Robinson and B. Finkbeiner and H. B. Sipma and S. Mehrotra and Manna Z.},
 year         = {2005},
 title        = {{LOLA: Runtime Monitoring of Synchronous Systems}},
 booktitle    = {{TIME}},
 publisher    = {IEEE},
 pages        = {166--174},
 doi          = {10.1109/TIME.2005.26},
)
@article(taxonomy:Delgado:2004,
 author       = {Nelly Delgado and Ann Quiroz Gates and Steve Roach},
 year         = {2004},
 title        = {A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools},
 journal      = {IEEE Trans. Softw. Eng.},
 volume       = {30},
 number       = {12},
 pages        = {859--872},
 doi          = {10.1109/TSE.2004.91},
)
@incollection(rover,
 author       = {Doron Drusinsky},
 year         = {2003},
 title        = {Monitoring Temporal Rules Combined with Time Series},
 booktitle    = {Computer Aided Verification},
 series       = {LNCS},
 volume       = {2725},
 publisher    = {Springer},
 pages        = {114--117},
 doi          = {10.1007/978-3-540-45069-6_11},
)
@misc(Exago,
 author       = {Atilla Erd{\"o}di},
 year         = {2010},
 title        = {Exago: Property monitoring via log file analysis},
 note         = {Erlang User Group Meeting, London},
)
@article(FraSey14,
 author       = {Adrian Francalanza and Aldrin Seychell},
 year         = {2014},
 title        = {Synthesising {C}orrect Concurrent {R}untime {M}onitors},
 journal      = {FMSD},
 pages        = {1--36},
 doi          = {10.1007/s10703-014-0217-9},
)
@incollection(scala,
 author       = {Klaus Havelund},
 year         = {2013},
 title        = {A Scala DSL for Rete-Based Runtime Verification},
 booktitle    = {RV},
 series       = {LNCS},
 volume       = {8174},
 publisher    = {Springer},
 pages        = {322--327},
 doi          = {10.1007/978-3-642-40787-1_19},
)
@article(Havelund2004,
 author       = {Klaus Havelund and Ro{\c{s}}u, Grigore},
 year         = {2004},
 title        = {An overview of the runtime verification tool Java PathExplorer},
 journal      = {FMSD},
 volume       = {24},
 number       = {2},
 pages        = {189--215},
 doi          = {10.1023/B:FORM.0000017721.39909.4b},
)
@article(java-mac,
 author       = {MoonZoo Kim and Mahesh Viswanathan and Sampath Kannan and Insup Lee and Oleg Sokolsky},
 year         = {2004},
 title        = {Java-{MaC}: A Run-Time Assurance Approach for {J}ava Programs},
 journal      = {FMSD},
 volume       = {24},
 number       = {2},
 pages        = {129--155},
 doi          = {10.1023/B:FORM.0000017719.43755.7c},
)
@article(Leu:RV:Overv,
 author       = {Martin Leucker and Christian Schallhart},
 year         = {2009},
 title        = {A brief account of {R}untime {V}erification},
 journal      = {JLAP},
 volume       = {78},
 number       = {5},
 pages        = {293 -- 303},
 doi          = {10.1016/j.jlap.2008.08.004},
)
@inproceedings(MeredithR10,
 author       = {Patrick O'Neil Meredith and Grigore Rosu},
 year         = {2010},
 title        = {Runtime Verification with the RV System},
 booktitle    = {RV},
 series       = {LNCS},
 volume       = {6418},
 publisher    = {Springer},
 pages        = {136--152},
 doi          = {10.1007/978-3-642-16612-9\_12},
)
@article(SyncVSAsync:Rosu:2005,
 author       = {Ro\c{s}u, Grigore and Klaus Havelund},
 year         = {2005},
 title        = {Rewriting-Based Techniques for Runtime Verification},
 journal      = {Automated Software Engg.},
 volume       = {12},
 number       = {2},
 pages        = {151--197},
 doi          = {10.1007/s10515-005-6205-y},
)
@article(diana04,
 author       = {Koushik Sen and Abhay Vardhan and Gul Agha and Ro\c{s}u, Grigore},
 year         = {2004},
 title        = {Efficient Decentralized Monitoring of Safety in Distributed Systems},
 journal      = {ICSE},
 pages        = {418--427},
 doi          = {10.1109/ICSE.2004.1317464},
)
@inproceedings(Zhang2016SyncVsAsync,
 author       = {Teng Zhang and Peter Gebhard and Oleg Sokolsky},
 year         = {2016},
 title        = {SMEDL: Combining Synchronous and Asynchronous Monitoring},
 booktitle    = {RV},
 publisher    = {Springer},
 pages        = {482--490},
 doi          = {10.1007/978-3-319-46982-9_32},
)