, IC1402 Runtime Verification beyond Monitoring (ARVI
Runtime verification using VALOUR, Kalpa Publications in Computing, vol.3, pp.10-18, 2017. ,
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
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.
, 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
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
Almost event-rate independent monitoring of metric temporal logic, TACAS 2017, vol.10206, pp.94-112, 2017. ,
MONPOLY: monitoring usage-control policies, RV 2011, vol.7186, pp.360-364, 2011. ,
Monitoring metric first-order temporal properties, J. ACM, vol.62, issue.2, p.45, 2015. ,
The MonPoly monitoring tool, Kalpa Publications in Computing, vol.3, pp.19-28, 2017. ,
Almost event-rate independent monitoring of metric dynamic logic, RV 2017, vol.10548, pp.85-102, 2017. ,
AERIAL: almost event-rate independent algorithms for monitoring metric regular properties, Kalpa Publications in Computing, vol.3, pp.29-36, 2017. ,
Time-triggered runtime verification, Formal Methods in System Design, vol.43, issue.1, pp.29-60, 2013. ,
A suite of monitoring tools for Erlang, Kalpa Publications in Computing, vol.3, pp.41-47, 2017. ,
, 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
Runtime verification using LARVA, Kalpa Publications in Computing, vol.3, pp.55-63, 2017. ,
Dynamic event-based runtime monitoring of real-time and contextual properties, FMICS 2008, vol.5596, pp.135-149, 2008. ,
LARVA-safer monitoring of real-time java programs (tool paper), SEFM 2009, pp.33-37, 2009. ,
Runtime monitoring with union-find structures, TACAS 2016, vol.9636, pp.868-884, 2016. ,
jUnit rv-adding runtime verification to jUnit, NFM 2013, vol.7871, pp.459-464, 2013. ,
Monitoring modulo theories, STTT, vol.18, issue.2, pp.205-225, 2016. ,
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
A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Trans. Software Eng, vol.30, issue.12, pp.859-872, 2004. ,
A model-driven approach to offline trace checking of temporal properties with OCL, Interdisciplinary Centre for Security, Reliability and Trust, 2014. ,
TemPsy-Check: a tool for model-driven trace checking of pattern-based temporal properties, Kalpa Publications in Computing, vol.3, pp.64-70, 2017. ,
DANA-description and analysis of networked applications, Kalpa Publications in Computing, vol.3, pp.71-80, 2017. ,
, Runtime Verification-First International Conference, RV 2010, St. Julians, Malta, vol.6418, pp.89-105, 2010.
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
Second international competition on runtime verification CRV, RV 2015, vol.9333, pp.405-422, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01248351
When RV meets CEP, RV 2016, vol.10012, pp.68-91, 2016. ,
Event stream processing with BeepBeep 3, Kalpa Publications in Computing, vol.3, pp.81-88, 2017. ,
Rule-based runtime verification revisited, STTT, vol.17, issue.2, pp.143-170, 2015. ,
A shared challenge in behavioural specification (Dagstuhl seminar 17462), Dagstuhl Reports, vol.7, issue.11, pp.59-85, 2017. ,
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. ,
Monitoring Events that Carry Data, pp.61-102, 2018. ,
JavaMOP: Efficient parametric runtime monitoring framework, pp.1427-1430, 2012. ,
A brief account of runtime verification, J. Log. Algebr. Program, vol.78, issue.5, pp.293-303, 2009. ,
RV-Monitor: efficient parametric runtime verification with simultaneous properties, RV 2014, vol.8734, pp.285-300, 2014. ,
An overview of the MOP runtime verification framework, STTT, vol.14, issue.3, pp.249-289, 2012. ,
Lightweight runtime checking of C programs with RTC, Comput. Lang. Syst. Str, vol.45, pp.191-203, 2016. ,
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems, Form. Methods Sys. Des, vol.51, issue.1, pp.31-61, 2017. ,
RiTHM: a tool for enabling time-triggered runtime verification for C programs, ESEC/FSE 2013, pp.603-606, 2013. ,
ARTiMon monitoring tool, the time domains, Kalpa Publications in Computing, vol.3, pp.106-122, 2017. ,
An overview of MarQ, RV 2016, vol.10012, pp.498-503, 2016. ,
A report of RV-CuBES, Kalpa Publications in Computing, vol.3, pp.1-9, 2017. ,
MarQ: monitoring at runtime with QEA, TACAS 2015, vol.9035, pp.596-610, 2015. ,
Third international competition on runtime verification-CRV, RV 2016, vol.10012, pp.21-37, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01428834
, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol.3, 2017.
Temporal-logic based runtime observer pairs for system health management of real-time systems, TACAS 2014, vol.8413, pp.357-372, 2014. ,
Runtime analysis with R2U2: A tool exhibition report, RV 2016, vol.10012, pp.504-509, 2016. ,
Threadsanitizer: Data race detection in practice, Proceedings of the Workshop on Binary Instrumentation and Applications, pp.62-71 ,
, WBIA '09, 2009.
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. ,
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. ,