An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools Runtime Verification using Larva

Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of the runtime verification tool Larva and its extensions and uses.

[1]  Gordon J. Pace,et al.  A Controlled Natural Language for Tax Fraud Detection , 2016, CNL.

[2]  Gordon J. Pace,et al.  Safe Runtime Verification of Real-Time Properties , 2009, FORMATS.

[3]  Adrian Francalanza,et al.  Investigating Instrumentation Techniques for ESB Runtime Verification , 2015, SEFM.

[4]  Gordon J. Pace,et al.  Fast-Forward Runtime Monitoring - An Industrial Case Study , 2012, RV.

[5]  Gordon J. Pace,et al.  Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.

[6]  Grigore Rosu,et al.  Dependent advice: a general approach to optimizing history-based aspects , 2009, AOSD '09.

[7]  Gordon J. Pace,et al.  Verifying data- and control-oriented properties combining static and runtime verification: theory and tools , 2017, Formal Methods Syst. Des..

[8]  Eric Bodden,et al.  Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time , 2010, RV.

[9]  J. P. Cassar,et al.  Dynamic Automata in Larva , 2010 .

[10]  Gordon J. Pace,et al.  Control-Flow Residual Analysis for Symbolic Automata , 2017, PrePost@iFM.

[11]  Gordon J. Pace,et al.  A Specification Language for Static and Runtime Verification of Data and Control Properties , 2015, FM.

[12]  Cristina V. Lopes,et al.  Aspect-Oriented Programming , 1997, ECOOP.

[13]  Gordon J. Pace,et al.  Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..

[14]  Gordon J. Pace,et al.  Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties , 2009 .

[15]  Adrian Francalanza,et al.  Elarva: A Monitoring Tool for Erlang , 2011, RV.

[16]  Gordon J. Pace,et al.  Runtime Verification using LARVA , 2017, RV-CuBES.

[17]  Grigore Rosu,et al.  An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.

[18]  Gordon J. Pace,et al.  Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).

[19]  Gordon J. Pace,et al.  A Controlled Natural Language for Business Intelligence Monitoring , 2015, NLDB.

[20]  Gordon J. Pace,et al.  LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[21]  Gordon J. Pace,et al.  LarvaStat: Monitoring of Statistical Properties , 2010, RV.

[22]  David E. Rydeheard,et al.  MarQ: Monitoring at Runtime with QEA , 2015, TACAS.

[23]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[24]  Stéphane Frénot,et al.  A Monitoring Approach for Dynamic Service-Oriented Architecture Systems , 2012 .