Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, FM 2012: Formal Methods -18th International Symposium, vol.7436, pp.68-84, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00857285
Rule-Based Runtime Verification, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, pp.44-57, 2004. ,
Formal Analysis of Log Files, JACIC, vol.7, pp.365-390, 2010. ,
Rule Systems for Run-time Monitoring: from Eagle to RuleR, J. Log. Comput, vol.20, pp.675-706, 2010. ,
Monitoring of temporal first-order properties with aggregations, Formal Methods in System Design, vol.46, pp.262-285, 2015. ,
Monitoring Metric First-Order Temporal Properties, J. ACM, vol.62, p.15, 2015. ,
Comparing LTL Semantics for Runtime Verification, J. Log. Comput, vol.20, pp.651-674, 2010. ,
Runtime Verification for LTL and TLTL, ACM Trans. Softw. Eng. Methodol, vol.20, p.14, 2011. ,
SALT -Structured Assertion Language for Temporal Logic, ICFEM, vol.4260, pp.757-775, 2006. ,
MODMED WP1/D1: Preliminary Definition of a Domain Specific Specification Language, 2017. ,
MONPOLY: Monitoring Usage-Control Policies, Runtime Verification -Second International Conference, vol.7186, pp.360-364, 2011. ,
Parametric Trace Slicing and Monitoring, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, vol.5505, pp.246-261, 2009. ,
Using contract-based component specifications for virtual integration testing and architecture design, Design, Automation and Test in Europe, pp.1023-1028, 2011. ,
Runtime Monitoring with Union-Find Structures, TACAS, vol.9636, pp.868-884, 2016. ,
Patterns in Property Specifications for Finite-State Verification, Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, pp.411-420, 1999. ,
On the Temporal Basis of Fairness, Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, pp.163-173, 1980. ,
Runtime Monitoring of Message-Based Workflows with Data, 12th International IEEE Enterprise Distributed Object Computing Conference, pp.63-72, 2008. ,
Rule-based runtime verification revisited, STTT, vol.17, pp.143-170, 2015. ,
Specification of Parametric Monitors, SyDe Summer School, pp.151-189, 2015. ,
, Lightweight Formal Methods. ACM Comput. Surv, vol.28, p.121, 1996.
JavaMOP: Efficient parametric runtime monitoring framework, ICSE, pp.1427-1430, 2012. ,
The Temporal Logic of Programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
MarQ: Monitoring at Runtime with QEA, TACAS, vol.9035, pp.596-610, 2015. ,
From First-order Temporal Logic to Parametric Trace Slicing, Runtime Verification -6th International Conference, 2015. ,
Specifying Event-Based Systems with a Counting Fluent Temporal Logic, ICSE, pp.733-743, 2015. ,
PROPEL: an approach supporting property elucidation, Proceedings of the 24th International Conference on Software Engineering, pp.11-21, 2002. ,
Temporal Assertions with Parametrised Propositions, Runtime Verification, 7th International Workshop, vol.4839, pp.176-187, 2007. ,
A compositional automata-based semantics and preserving transformation rules for testing property patterns, Formal Asp. Comput, vol.27, pp.641-664, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01228335