@(akka,
 title        = "AKKA website",
 url          = "http://www.akka.io",
)
@inproceedings(marjan2011,
 author       = "Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Arni Hermann Reynisson and Steinar Hugi Sigurdarson and Marjan Sirjani",
 year         = "2011",
 title        = "Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca",
 booktitle    = "FOCLASA",
 series       = "EPTCS",
 volume       = "58",
 pages        = "1--19",
 doi          = "10.4204/EPTCS.58.1",
)
@inproceedings(aceto:SHML,
 author       = "Luca Aceto and Anna Ingólfsdóttir",
 year         = "1999",
 title        = "Testing Hennessy-Milner Logic with Recursion",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "1578",
 publisher    = "Springer",
 pages        = "41--55",
 doi          = "10.1007/3-540-49019-1\_4",
)
@article(Agha98afoundation,
 author       = "Gul Agha and Ian A. Mason and Scott F. Smith and Carolyn L. Talcott",
 year         = "1997",
 title        = "A Foundation for Actor Computation",
 journal      = "Journal of Functional Programming",
 pages        = "1--72",
 doi          = "10.1017/S095679689700261X",
)
@incollection(actorsPaper,
 author       = "Gul A. Agha and Prasannaa Thati and Reza Ziaei",
 year         = "2001",
 title        = "Formal Methods for Distributed Processing",
 chapter      = "Actors: A Model for Reasoning About Open Distributed Systems",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 pages        = "155--176",
 doi          = "10.1.1.1.6356",
)
@article(Andrews03generaltest,
 author       = "James H. Andrews and Yingjun Zhang",
 year         = "2003",
 title        = "General Test Result Checking with Log File Analysis.",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "29",
 pages        = "634--648",
 doi          = "10.1109/TSE.2003.1214327",
)
@book(Armstrong07,
 author       = "Joe Armstrong",
 year         = "2007",
 title        = "Programming Erlang",
 publisher    = "The Pragmatic Bookshelf",
)
@inproceedings(BarringerFHRR12,
 author       = "Howard Barringer and Yliès Falcone and Klaus Havelund and Giles Reger and David E. Rydeheard",
 year         = "2012",
 title        = "Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors",
 booktitle    = "FM",
 series       = "LNCS",
 volume       = "7436",
 publisher    = "Springer",
 pages        = "68--84",
 doi          = "10.1007/978-3-642-32759-9\_9",
)
@book(Cesarini:2009,
 author       = "Francesco Cesarini and Simon Thompson",
 year         = "2009",
 title        = "ERLANG Programming",
 edition      = "1st",
 publisher    = "O'Reilly",
)
@inproceedings(chen-rosu-2005-tacas,
 author       = "Feng Chen and Grigore Ro\c {s}u",
 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 Grigore Ro\c {s}u",
 year         = "2007",
 title        = "{MOP: An Efficient and Generic Runtime Verification Framework}",
 booktitle    = "OOPSLA",
 publisher    = "ACM press",
 pages        = "569--588",
 doi          = "10.1145/1297027.1297069",
)
@book(maude,
 author       = "Manuel Clavel and Francisco Dur\'{a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Carolyn Talcott",
 year         = "2007",
 title        = "All About Maude - a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
)
@inproceedings(larva-CPS09,
 author       = "C. Colombo and G.J. Pace and G. Schneider",
 year         = "2009",
 title        = "LARVA --- {S}afer Monitoring of Real-Time Java Programs ({T}ool Paper)",
 booktitle    = "SEFM",
 pages        = "33--37",
 doi          = "10.1109/SEFM.2009.13",
)
@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",
)
@inproceedings(polyLarva-CFMP12,
 author       = "Christian Colombo and Adrian Francalanza and Ruth Mizzi and Gordon J. Pace",
 year         = "2012",
 title        = "polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries",
 booktitle    = "SEFM",
 pages        = "218--232",
 doi          = "10.1007/978-3-642-33826-7\_15",
)
@inproceedings(CP12FF,
 author       = "Christian Colombo and Gordon J. Pace",
 year         = "2012",
 title        = "Fast-Forward Runtime Monitoring - An Industrial Case Study.",
 booktitle    = "RV",
 series       = "LNCS",
 volume       = "7687",
 publisher    = "Springer",
 pages        = "214--228",
 doi          = "10.1007/978-3-642-35632-2\_22",
)
@article(d'Amorim:2005:ERV:1082983.1083249,
 author       = "Marcelo d'Amorim and Klaus Havelund",
 year         = "2005",
 title        = "Event-based Runtime Verification of Java Programs",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "30",
 number       = "4",
 pages        = "1--7",
 doi          = "10.1145/1082983.1083249",
)
@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",
)
@inproceedings(jUnitRv:13,
 author       = "Normann Decker and Martin Leucker and Daniel Thoma",
 year         = "2013",
 title        = "{jUnitRV} - Adding Runtime Verification to {jUnit}",
 booktitle    = "NASA Formal Methods",
 series       = "LNCS",
 volume       = "7871",
 organization = "Springer-Verlag Berlin Heidelberg",
 publisher    = "Springer",
 pages        = "459--464",
 doi          = "10.1007/978-3-642-38088-4\_34",
)
@(Exago,
 author       = "Atilla Erd{\"o}di",
 title        = "Exago: Property monitoring via log file analysis",
 url          = "http://www.protest-project.eu/upload/slides/ErlangUserGroupMeeting-AtillaErdodi-Exago.pdf",
)
@article(FalconeFM12,
 author       = "Yli{\`e}s Falcone and Jean-Claude Fernandez and Laurent Mounier",
 year         = "2012",
 title        = "What can you verify and enforce at runtime?",
 journal      = "STTT",
 volume       = "14",
 number       = "3",
 pages        = "349--382",
 doi          = "10.1007/s10009-011-0196-8",
)
@article(FGP12DistribRV,
 author       = "Adrian Francalanza and Andrew Gauci and Gordon J. Pace",
 year         = "2013",
 title        = "{D}istributed {S}ystem {C}ontract {M}onitoring",
 journal      = "JLAP",
 volume       = "82",
 number       = "5-7",
 pages        = "186--215",
 doi          = "10.1016/j.jlap.2013.04.001",
)
@inproceedings(Fra:Sey:13,
 author       = "Adrian Francalanza and Aldrin Seychell",
 year         = "2013",
 title        = "Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)",
 booktitle    = "RV",
 series       = "LNCS",
 volume       = "8174",
 publisher    = "Springer",
 pages        = "112--129",
 doi          = "10.1007/978-3-642-40787-1\_7",
)
@(FraSeyTool13,
 author       = "Adrian Francalanza and Aldrin Seychell and Ian Cassar",
 title        = "Detect{E}r",
 url          = "https://bitbucket.org/casian/detecter2.0",
)
@phdthesis(fredlund:phd,
 author       = "Lars-{\r A}ke Fredlund",
 year         = "2001",
 title        = "A Framework for Reasoning about Erlang Code",
 school       = "Royal Institute of Technology",
 address      = "Stockholm, Sweden",
)
@inproceedings(fredlund:mcerlang,
 author       = "Lars-{\r A}ke Fredlund and Hans Svensson",
 year         = "2007",
 title        = "McErlang: a model checker for a distributed functional programming language",
 series       = "ICFP '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "125--136",
 doi          = "10.1145/1291151.1291171",
)
@book(actorsinscala,
 author       = "Philipp Haller and Frank Sommers",
 year         = "2012",
 title        = "Actors in Scala",
 publisher    = "Artima Inc.",
 address      = "USA",
)
@inproceedings(Havelund:2001:MJP:891177,
 author       = "Klaus Havelund and Grigore Ro\c {s}u",
 year         = "2001",
 title        = "Monitoring Java Programs with Java PathExplorer",
 booktitle    = "RV (in connection with {CAV})",
 series       = "ENTCS",
 volume       = "55:2",
 pages        = "200--217",
 doi          = "10.1016/S1571-0661(04)00253-1",
)
@(yaws-exploit,
 author       = "Alejandro Hernandez",
 year         = "2010",
 title        = "Yaws 1.89: Directory Traversal Vulnerability",
 url          = "http://www.exploit-db.com/exploits/15371/",
 note         = "Accessed on 6/6/2014",
)
@book(yaws:12,
 author       = "Zachary Kessin",
 year         = "2012",
 title        = "Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws",
 publisher    = "O'Reilly Media",
)
@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      = "Formal Methods in System Design",
 volume       = "24",
 number       = "2",
 pages        = "129--155",
 doi          = "10.1023/B:FORM.0000017719.43755.7c",
)
@(AOPErlang,
 author       = "Alexei Krasnopolski",
 title        = "{AOP} for {E}rlang",
 url          = "http://erlaop.sourceforge.net/",
)
@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",
)
@book(ErlangOTP,
 author       = "Martin Logan and Eric Merritt and Richard Carlsson",
 year         = "2011",
 title        = "Erlang and {OTP} in {A}ction",
 publisher    = "Manning",
)
@article(Mason99actorlanguages,
 author       = "Ian A. Mason and Carolyn L. Talcott",
 year         = "1999",
 title        = "Actor languages their syntax, semantics, translation, and equivalence",
 journal      = "Theoretical Computer Science",
 volume       = "220",
 pages        = "409 -- 467",
 doi          = "10.1016/S0304-3975(99)00009-2",
)
@inproceedings(rt-synchronizer,
 author       = "Shangping Ren and Gul Agha",
 year         = "1995",
 title        = "RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems",
 editor       = "Richard Gerber and Thomas J. Marlowe",
 booktitle    = "Workshop on Languages, Compilers, \& Tools for Real-Time Systems",
 pages        = "50--59",
 doi          = "10.1145/216636.216656",
)
@article(SyncVSAsync:Rosu:2005,
 author       = "Grigore Ro\c {s}u 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(EfficientDec,
 author       = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Ro\c {s}u",
 year         = "2004",
 title        = "Efficient Decentralized Monitoring of Safety in Distributed Systems",
 journal      = "ICSE",
 pages        = "418--427",
 doi          = "10.1109/ICSE.2004.1317464",
)
@article(marjan2004,
 author       = "Marjan Sirjani and Ali Movaghar and Amin Shali and Frank S. de Boer",
 year         = "2004",
 title        = "Modeling and Verification of Reactive Systems Using Rebeca",
 journal      = "Fundam. Inf.",
 volume       = "63",
 number       = "4",
 pages        = "385--410",
)
@inproceedings(fredlund:unifiedsemantics,
 author       = "Hans Svensson and Lars-{\r A}ke Fredlund and Clara Benac Earle",
 year         = "2010",
 title        = "A unified semantics for future Erlang",
 booktitle    = "Erlang Workshop",
 publisher    = "ACM",
 pages        = "23--32",
 doi          = "10.1145/1863509.1863514",
)
@article(Talcott2008,
 author       = "Carolyn Talcott and Marjan Sirjani and Shangping Ren",
 year         = "2008",
 title        = "Comparing Three Coordination Models: Reo, ARC, and RRD",
 journal      = "ENTCS",
 volume       = "194",
 number       = "4",
 pages        = "39--55",
 doi          = "10.1016/j.entcs.2008.03.098",
)
@article(tarski:55,
 author       = "Alfred Tarski",
 year         = "1955",
 title        = "A lattice-theoretical fixpoint theorem and its applications.",
 journal      = "Pacific Journal of Mathematics",
 volume       = "5",
 number       = "2",
 pages        = "285--309",
 doi          = "10.2140/pjm.1955.5.285",
)
@article(yaws:11,
 author       = "Steve Vinoski",
 year         = "2011",
 title        = "{Yaws}: {Y}et another web server",
 journal      = "IEEE Internet Computing",
 volume       = "15",
 number       = "4",
 pages        = "90--94",
 doi          = "10.1109/MIC.2011.100",
)