Quantied event automata: Towards expressive and ecient runtime monitors, FM 2012: Formal Methods -18th International Symposium, vol.7436, p.6884, 2012. ,
Rule-based runtime verication, Verication, Model Checking, and Abstract Interpretation, 5th International Conference, p.4457, 2004. ,
Formal analysis of log les, JACIC, vol.7, issue.11, p.365390, 2010. ,
Rule systems for run-time monitoring: from Eagle to RuleR, J. Log. Comput, vol.20, issue.3, p.675706, 2010. ,
Monitoring metric rst-order temporal properties, J. ACM, vol.62, issue.2, p.15, 2015. ,
Runtime verication for LTL and TLTL, ACM Trans. Softw. Eng. Methodol, vol.20, issue.4, p.14, 2011. ,
,
SALT -structured assertion language for temporal logic, Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM, vol.4260, p.757775, 2006. ,
Extending specication patterns for verication of parametric traces, Proceedings of the 6th Conference on Formal Methods in Software Engineering, p.1019, 2018. ,
MODMED WP1/D1: Preliminary Denition of a Domain Specic Specication Language, 2017. ,
MODMED WP4/D1: Test assessment -preliminary study and tool prototype, 2017. ,
MONPOLY: monitoring usage-control policies, Runtime Verication -Second International Conference, vol.7186, 2011. ,
A controlled natural language for tax fraud detection, Controlled Natural Language -5th International Workshop, vol.9767, 2016. ,
Runtime monitoring with union-nd structures, TACAS. Lecture Notes in Computer Science, vol.9636, 2016. ,
Patterns in property specications for nite-state verication, Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, p.411420, 1999. ,
Runtime monitoring of message-based workows with data, 12th International IEEE Enterprise Distributed Object Computing Conference, p.6372, 2008. ,
Rule-based runtime verication revisited, STTT, vol.17, issue.2, p.143170, 2015. ,
Lightweight formal methods, ACM Comput. Surv, vol.28, issue.4, p.121, 1996. ,
JavaMOP: Ecient parametric runtime monitoring framework, 34th International Conference on Software Engineering, ICSE 2012, p.14271430, 2012. ,
Requirements for a trace property language for medical devices, IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, p.3033, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02004396
MarQ: Monitoring at runtime with QEA, TACAS. Lecture Notes in Computer Science, vol.9035, p.596610, 2015. ,
Specifying event-based systems with a counting uent temporal logic, ICSE (1). pp. 733743, 2015. ,
A pattern-based requirement specication language: Mapping automotive specic timing requirements, Software Engineering 2011 -Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, vol.184, p.99108, 2011. ,
PROPEL: an approach supporting property elucidation, Proceedings of the 24th International Conference on Software Engineering, p.1121, 2002. ,
Temporal assertions with parametrised propositions, Revised Selected Papers. Lecture Notes in Computer Science, vol.4839, p.176187, 2007. ,