6 Years of SMT-COMP, Journal of Automated Reasoning, pp.1-35, 2012. ,
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, Proc. of FM 2012: the 18th International Symposium on Formal Methods, vol.7436, pp.68-84, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00857285
First international competition on software for runtime verification, Proc. of RV 2014: the 5th International Conference on Runtime Verification, 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.
URL : https://hal.archives-ouvertes.fr/hal-01762298
First International Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014, International Journal on Software Tools for Technology Transfer, vol.21, pp.31-70, 2019. ,
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
MONPOLY: Monitoring usage-control policies, Proc. of RV 2011: the 2nd Internat. Conference on Runtime Verification, vol.7186, pp.360-364, 2012. ,
Software verification and verifiable witnesses -(report on SV-COMP 2015), Proc. of TACAS 2015: the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol.9035, pp.401-416, 2015. ,
Larva -safer monitoring of real-time java programs (tool paper), Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM '09, pp.33-37, 2009. ,
TimeSquare: Treat your Models with Logical Time, TOOLS -50th International Conference on Objects, Models, Components, Patterns -2012, vol.7304, pp.34-41, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00688590
Runtime monitoring with union-find structures, Proc. of TACAS 2016: the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol.9636, 2016. ,
jUnit RV -adding runtime verification to jUnit, NASA Formal Methods, 5th International Symposium, NFM 2013, vol.7871, pp.459-464, 2013. ,
, , 2013.
Common Specification Language for Static and Dynamic Analysis of C Programs, Proceedings of SAC '13: the 28th ,
URL : https://hal.archives-ouvertes.fr/hal-00853721
, Annual ACM Symposium on Applied Computing, pp.1230-1235, 2013.
Obtaining models for realistic mobile network simulations using real traces, IEEE Communications Letters, vol.15, issue.7, pp.782-784, 2011. ,
A model-driven approach to offline trace checking of temporal properties with ocl, 2014. ,
You should better enforce than verify, Runtime Verification -First International Conference, RV 2010, St. Julians, Malta, pp.89-105, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00523653
A tutorial on runtime verification, 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 2015, Proc. of RV 2015: the 6th International Conference on Runtime Verification, pp.405-422, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01248351
When RV meets CEP, Runtime Verification -16th International Conference, vol.10012, pp.68-91, 2016. ,
Rule-based Runtime Verification Revisited, International Journal on Software Tools for Technology Transfer (STTT), 2014. ,
Rigorous examination of reactive systems -the RERS challenges, STTT, vol.16, issue.5, pp.457-464, 2012. ,
Verifythis 2012 -A program verification competition, STTT, vol.17, issue.6, pp.647-657, 2015. ,
, The international SAT solver competitions. AI Magazine, vol.33, 2012.
JavaMOP: Efficient Parametric Runtime Monitoring Framework, Proceedings of ICSE 2012: THE 34th International Conference on Software Engineering, pp.1427-1430, 2012. ,
Monitor based oracles for cyberphysical system testing: Practical experience report, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, pp.148-155, 2014. ,
Rvmonitor: Efficient parametric runtime verification with simultaneous properties, Runtime Verification -5th International Conference, pp.285-300, 2014. ,
Runtime checking c programs, Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp.2107-2114, 2015. ,
RiTHM: a tool for enabling time-triggered runtime verification for c programs, ACM Symposium on the Foundations of Software Engineering (FSE), pp.603-606, 2013. ,
Datamill: a distributed heterogeneous infrastructure for robust experimentation, Softw., Pract. Exper, vol.46, issue.10, pp.1411-1440, 2016. ,
Reconnaissance de comportements complexes par traitement en ligne de flux d'événements. (Online event flow processing for complex behaviour recognition), 2014. ,
Third international competition on runtime verification -CRV 2016, Proc. of RV 2016: the 16th International Conference on Runtime Verification, vol.10012, pp.21-37, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01428834
Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, An International Workshop on Competitions, vol.3, 2017. ,
The 5th IJCAR automated theorem proving system competition -CASC-J5, AI Commun, vol.24, issue.1, pp.75-89, 2011. ,