AKKA website http://www.akka.io 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 FOCLASA EPTCS 58 1–19 10.4204/EPTCS.58.1 Luca Aceto Anna Ingólfsdóttir 1999 Testing Hennessy-Milner Logic with Recursion FoSSaCS LNCS 1578 Springer 41–55 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 1–72 10.1017/S095679689700261X Gul A. Agha Prasannaa Thati Reza Ziaei 2001 Formal Methods for Distributed Processing Actors: A Model for Reasoning About Open Distributed Systems Cambridge University Press
New York, NY, USA
James H. Andrews Yingjun Zhang 2003 General Test Result Checking with Log File Analysis. IEEE Trans. Software Eng. 29 634–648 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 FM LNCS 7436 Springer 68–84 10.1007/978-3-642-32759-9_9 Francesco Cesarini Simon Thompson 2009 ERLANG Programming 1st O'Reilly Feng Chen Grigore Roşu 2005 Java-MOP: A Monitoring Oriented Programming Environment for Java TACAS'05 LNCS 3440 Springer 546–550 10.1007/978-3-540-31980-1_36 Feng Chen Grigore Roşu 2007 MOP: An Efficient and Generic Runtime Verification Framework OOPSLA ACM press 569–588 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) SEFM 33–37 10.1109/SEFM.2009.13 Christian Colombo Adrian Francalanza Rudolph Gatt 2011 Elarva: A Monitoring Tool for Erlang RV LNCS 7186 Springer 370–374 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 SEFM 218–232 10.1007/978-3-642-33826-7_15 Christian Colombo Gordon J. Pace 2012 Fast-Forward Runtime Monitoring - An Industrial Case Study. RV LNCS 7687 Springer 214–228 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 1–7 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 TIME IEEE 166–174 10.1109/TIME.2005.26 Normann Decker Martin Leucker Daniel Thoma 2013 jUnitRV - Adding Runtime Verification to jUnit NASA Formal Methods LNCS 7871 Springer-Verlag Berlin Heidelberg Springer 459–464 10.1007/978-3-642-38088-4_34 Atilla Erdödi Exago: Property monitoring via log file analysis http://www.protest-project.eu/upload/slides/ErlangUserGroupMeeting-AtillaErdodi-Exago.pdf Yliès Falcone Jean-Claude Fernandez Laurent Mounier 2012 What can you verify and enforce at runtime? STTT 14 3 349–382 10.1007/s10009-011-0196-8 Adrian Francalanza Andrew Gauci Gordon J. Pace 2013 Distributed System Contract Monitoring JLAP 82 5-7 186–215 10.1016/j.jlap.2013.04.001 Adrian Francalanza Aldrin Seychell 2013 Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) RV LNCS 8174 Springer 112–129 10.1007/978-3-642-40787-1_7 Adrian Francalanza Aldrin Seychell Ian Cassar DetectEr https://bitbucket.org/casian/detecter2.0 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
125–136 10.1145/1291151.1291171
Philipp Haller Frank Sommers 2012 Actors in Scala Artima Inc.
Klaus Havelund Grigore Roşu 2001 Monitoring Java Programs with Java PathExplorer RV (in connection with CAV) ENTCS 55:2 200–217 10.1016/S1571-0661(04)00253-1 Alejandro Hernandez 2010 Yaws 1.89: Directory Traversal Vulnerability http://www.exploit-db.com/exploits/15371/ Accessed on 6/6/2014 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 129–155 10.1023/B:FORM.0000017719.43755.7c Alexei Krasnopolski AOP for Erlang http://erlaop.sourceforge.net/ Martin Leucker Christian Schallhart 2009 A brief account of Runtime Verification JLAP 78 5 293 – 303 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 409 – 467 10.1016/S0304-3975(99)00009-2 Shangping Ren Gul Agha 1995 RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems Richard Gerber Thomas J. Marlowe Workshop on Languages, Compilers, & Tools for Real-Time Systems 50–59 10.1145/216636.216656 Grigore Roşu Klaus Havelund 2005 Rewriting-Based Techniques for Runtime Verification Automated Software Engg. 12 2 151–197 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 418–427 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 385–410 Hans Svensson Lars-Åke Fredlund Clara Benac Earle 2010 A unified semantics for future Erlang Erlang Workshop ACM 23–32 10.1145/1863509.1863514 Carolyn Talcott Marjan Sirjani Shangping Ren 2008 Comparing Three Coordination Models: Reo, ARC, and RRD ENTCS 194 4 39–55 10.1016/j.entcs.2008.03.098 Alfred Tarski 1955 A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5 2 285–309 10.2140/pjm.1955.5.285 Steve Vinoski 2011 Yaws: Yet another web server IEEE Internet Computing 15 4 90–94 10.1109/MIC.2011.100