COST Action IC1402 Runtime Verification Beyond Monitoring

In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.

[1]  Ezio Bartocci,et al.  Introduction to the special issue on runtime verification , 2017, Formal Methods Syst. Des..

[2]  Leonardo Mariani,et al.  Runtime Failure Prevention and Reaction , 2018, Lectures on Runtime Verification.

[3]  Dejan Nickovic,et al.  Second International Competition on Runtime Verification CRV 2015 , 2016, RV.

[4]  Ezio Bartocci,et al.  Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) , 2016, ISoLA.

[5]  Volker Stolz,et al.  A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462) , 2017, Dagstuhl Reports.

[6]  Yliès Falcone.  Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings , 2016 .

[7]  Leonardo Mariani,et al.  Run-Time Verification , 2004, Model-Based Testing of Reactive Systems.

[8]  Yliès Falcone,et al.  A taxonomy for classifying runtime verification tools , 2018, International Journal on Software Tools for Technology Transfer.

[9]  Christian Colombo,et al.  First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402 , 2016, RV.

[10]  Gordon J. Pace,et al.  Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges , 2018, Lectures on Runtime Verification.

[11]  Grigore Rosu,et al.  Introduction to the special issue on runtime verification , 2012, Formal Methods Syst. Des..

[12]  Sylvain Hallé,et al.  Third International Competition on Runtime Verification - CRV 2016 , 2016, RV.

[13]  Klaus Havelund,et al.  Runtime Verification Logics A Language Design Perspective , 2017, Models, Algorithms, Logics and Tools.

[14]  Ezio Bartocci,et al.  RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction) , 2018, ISoLA.

[15]  David E. Rydeheard,et al.  From Parametric Trace Slicing to Rule Systems , 2018, RV.

[16]  Leonardo Mariani,et al.  Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications , 2016, Lecture Notes in Computer Science.

[17]  Klaus Havelund,et al.  What Is a Trace? A Runtime Verification Perspective , 2016, ISoLA.

[18]  Domenico Bianculli,et al.  On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) , 2017, RV-CuBES.

[19]  Sylvain Hallé,et al.  A Few Things We Heard About RV Tools (Position Paper) , 2017, RV-CuBES.

[20]  Giles Reger,et al.  A Report of RV-CuBES 2017 , 2017, RV-CuBES.

[21]  Patrizio Pelliccione,et al.  MoVEMo: A Structured Approach for Engineering Reward Functions , 2018, 2018 Second IEEE International Conference on Robotic Computing (IRC).

[22]  Klaus Havelund,et al.  A Tutorial on Runtime Verification , 2013, Engineering Dependable Software Systems.

[23]  Julien Signoles.  Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper) , 2017, RV-CuBES.

[24]  Klaus Havelund,et al.  Verify Your Runs , 2005, VSTTE.

[25]  David E. Rydeheard,et al.  From First-order Temporal Logic to Parametric Trace Slicing , 2015, RV.

[26]  Ezio Bartocci,et al.  First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 , 2017, International Journal on Software Tools for Technology Transfer.

[27]  Yliès Falcone.  Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections , 2018, RV.

[28]  Gerhard Goos,et al.  Lectures on Runtime Verification , 2018, Lecture Notes in Computer Science.

[29]  Ezio Bartocci,et al.  First International Competition on Software for Runtime Verification , 2014, RV.

[30]  Kristin Y. Rozier.  On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems , 2017, RV-CuBES.

[31]  Volker Stolz,et al.  COEMS - open traces from the industry , 2017, RV-CuBES.

[32]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[33]  Dejan Nickovic,et al.  A survey of challenges for runtime verification from advanced application domains (beyond software) , 2018, Formal Methods in System Design.

[34]  Klaus Havelund,et al.  Monitoring Events that Carry Data , 2018, Lectures on Runtime Verification.

[35]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.

[36]  Ezio Bartocci,et al.  Introduction to Runtime Verification , 2018, Lectures on Runtime Verification.