, IC1402 Runtime Verification beyond Monitoring (ARVI

S. Azzopardi, C. Colombo, J. P. Ebejer, E. Mallia, and G. Pace, Runtime verification using VALOUR, Kalpa Publications in Computing, vol.3, pp.10-18, 2017.

H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. E. Rydeheard, Quantified event automata: Towards expressive and efficient runtime monitors, FM 2012, vol.7436, pp.68-84, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00857285

E. Bartocci, B. Bonakdarpour, and Y. Falcone, First international competition on software for runtime verification, Runtime Verification-5th International Conference, vol.8734, pp.1-9, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01120552

, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, 2018.

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker et al., First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. STTT pp, pp.1-40, 2017.
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, pp.1-33, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762297

D. A. Basin, B. N. Bhatt, and D. Traytel, Almost event-rate independent monitoring of metric temporal logic, TACAS 2017, vol.10206, pp.94-112, 2017.

D. A. Basin, M. Harvan, F. Klaedtke, and E. Zalinescu, MONPOLY: monitoring usage-control policies, RV 2011, vol.7186, pp.360-364, 2011.

D. A. Basin, F. Klaedtke, S. Müller, and E. Zalinescu, Monitoring metric first-order temporal properties, J. ACM, vol.62, issue.2, p.45, 2015.

D. A. Basin, F. Klaedtke, and E. Zalinescu, The MonPoly monitoring tool, Kalpa Publications in Computing, vol.3, pp.19-28, 2017.

D. A. Basin, S. Krstic, and D. Traytel, Almost event-rate independent monitoring of metric dynamic logic, RV 2017, vol.10548, pp.85-102, 2017.

D. A. Basin, S. Krstic, and D. Traytel, AERIAL: almost event-rate independent algorithms for monitoring metric regular properties, Kalpa Publications in Computing, vol.3, pp.29-36, 2017.

B. Bonakdarpour, S. Navabpour, and S. Fischmeister, Time-triggered runtime verification, Formal Methods in System Design, vol.43, issue.1, pp.29-60, 2013.

I. Cassar, A. Francalanza, D. P. Attard, L. Aceto, and A. Ingólfsdóttir, A suite of monitoring tools for Erlang, Kalpa Publications in Computing, vol.3, pp.41-47, 2017.

C. Colombo and Y. Falcone, First international summer school on runtime verification-as part of the arvi COST action 1402, vol.10012, pp.17-20, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01428838

C. Colombo and G. J. Pace, Runtime verification using LARVA, Kalpa Publications in Computing, vol.3, pp.55-63, 2017.

C. Colombo, G. J. Pace, and G. Schneider, Dynamic event-based runtime monitoring of real-time and contextual properties, FMICS 2008, vol.5596, pp.135-149, 2008.

C. Colombo, G. J. Pace, and G. Schneider, LARVA-safer monitoring of real-time java programs (tool paper), SEFM 2009, pp.33-37, 2009.

N. Decker, J. Harder, T. Scheffel, M. Schmitz, and D. Thoma, Runtime monitoring with union-find structures, TACAS 2016, vol.9636, pp.868-884, 2016.

N. Decker, M. Leucker, and D. Thoma, jUnit rv-adding runtime verification to jUnit, NFM 2013, vol.7871, pp.459-464, 2013.

N. Decker, M. Leucker, and D. Thoma, Monitoring modulo theories, STTT, vol.18, issue.2, pp.205-225, 2016.

M. Delahaye, N. Kosmatov, and J. Signoles, Common specification language for static and dynamic analysis of C programs, SAC 2013, pp.1230-1235, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853721

N. Delgado, A. Q. Gates, and S. Roach, A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Trans. Software Eng, vol.30, issue.12, pp.859-872, 2004.

W. Dou, D. Bianculli, and L. Briand, A model-driven approach to offline trace checking of temporal properties with OCL, Interdisciplinary Centre for Security, Reliability and Trust, 2014.

W. Dou, D. Bianculli, and L. Briand, TemPsy-Check: a tool for model-driven trace checking of pattern-based temporal properties, Kalpa Publications in Computing, vol.3, pp.64-70, 2017.

C. Drabek and G. Weiss, DANA-description and analysis of networked applications, Kalpa Publications in Computing, vol.3, pp.71-80, 2017.

Y. Falcone, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund et al., Runtime Verification-First International Conference, RV 2010, St. Julians, Malta, vol.6418, pp.89-105, 2010.

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, Engineering Dependable Software Systems, NATO SPS D: Information and Communication Security, vol.34, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

Y. Falcone, D. Nickovic, G. Reger, and D. Thoma, Second international competition on runtime verification CRV, RV 2015, vol.9333, pp.405-422, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248351

S. Hallé, When RV meets CEP, RV 2016, vol.10012, pp.68-91, 2016.

S. Hallé and R. Khoury, Event stream processing with BeepBeep 3, Kalpa Publications in Computing, vol.3, pp.81-88, 2017.

K. Havelund, Rule-based runtime verification revisited, STTT, vol.17, issue.2, pp.143-170, 2015.

K. Havelund, M. Leucker, G. Reger, and V. Stolz, A shared challenge in behavioural specification (Dagstuhl seminar 17462), Dagstuhl Reports, vol.7, issue.11, pp.59-85, 2017.

K. Havelund and G. Reger, Runtime verification logics A language design perspective, Models, Algorithms, Logics and Tools-Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp.310-338, 2017.

K. Havelund, G. Reger, D. Thoma, and E. Z?linescu, Monitoring Events that Carry Data, pp.61-102, 2018.

D. Jin, P. O. Meredith, C. Lee, and G. Rosu, JavaMOP: Efficient parametric runtime monitoring framework, pp.1427-1430, 2012.

M. Leucker and C. Schallhart, A brief account of runtime verification, J. Log. Algebr. Program, vol.78, issue.5, pp.293-303, 2009.

Q. Luo, Y. Zhang, C. Lee, D. Jin, P. O. Meredith et al., RV-Monitor: efficient parametric runtime verification with simultaneous properties, RV 2014, vol.8734, pp.285-300, 2014.

P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Rosu, An overview of the MOP runtime verification framework, STTT, vol.14, issue.3, pp.249-289, 2012.

R. Milewicz, R. Vanka, J. Tuck, D. Quinlan, and P. Pirkelbauer, Lightweight runtime checking of C programs with RTC, Comput. Lang. Syst. Str, vol.45, pp.191-203, 2016.

P. Moosbrugger, K. Y. Rozier, and J. Schumann, R2U2: monitoring and diagnosis of security threats for unmanned aerial systems, Form. Methods Sys. Des, vol.51, issue.1, pp.31-61, 2017.

S. Navabpour, Y. Joshi, C. W. Wu, S. Berkovich, R. Medhat et al., RiTHM: a tool for enabling time-triggered runtime verification for C programs, ESEC/FSE 2013, pp.603-606, 2013.

N. Rapin, ARTiMon monitoring tool, the time domains, Kalpa Publications in Computing, vol.3, pp.106-122, 2017.

G. Reger, An overview of MarQ, RV 2016, vol.10012, pp.498-503, 2016.

G. Reger, A report of RV-CuBES, Kalpa Publications in Computing, vol.3, pp.1-9, 2017.

G. Reger, H. C. Cruz, and D. E. Rydeheard, MarQ: monitoring at runtime with QEA, TACAS 2015, vol.9035, pp.596-610, 2015.

G. Reger, S. Hallé, and Y. Falcone, Third international competition on runtime verification-CRV, RV 2016, vol.10012, pp.21-37, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01428834

G. Reger, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol.3, 2017.

T. Reinbacher, K. Y. Rozier, and J. Schumann, Temporal-logic based runtime observer pairs for system health management of real-time systems, TACAS 2014, vol.8413, pp.357-372, 2014.

J. Schumann, P. Moosbrugger, and K. Y. Rozier, Runtime analysis with R2U2: A tool exhibition report, RV 2016, vol.10012, pp.504-509, 2016.

K. Serebryany and T. Iskhodzhanov, Threadsanitizer: Data race detection in practice, Proceedings of the Workshop on Binary Instrumentation and Applications, pp.62-71

, WBIA '09, 2009.

J. Signoles, N. Kosmatov, and K. Vorobyov, E-ACSL, a runtime verification tool for safety and security of C programs (tool paper), Kalpa Publications in Computing, vol.3, pp.164-173, 2017.

E. Stepanov and K. Serebryany, Memorysanitizer: fast detector of uninitialized memory use in c++, Proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.46-55, 2015.