H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. E. Rydeheard, 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

H. Barringer, A. Goldberg, K. Havelund, and K. Sen, Rule-Based Runtime Verification, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, pp.44-57, 2004.

H. Barringer, A. Groce, K. Havelund, and M. H. Smith, Formal Analysis of Log Files, JACIC, vol.7, pp.365-390, 2010.

H. Barringer, D. E. Rydeheard, and K. Havelund, Rule Systems for Run-time Monitoring: from Eagle to RuleR, J. Log. Comput, vol.20, pp.675-706, 2010.

D. A. Basin, F. Klaedtke, S. Marinovic, and E. Zalinescu, Monitoring of temporal first-order properties with aggregations, Formal Methods in System Design, vol.46, pp.262-285, 2015.

D. A. Basin, F. Klaedtke, S. Müller, and E. Zalinescu, Monitoring Metric First-Order Temporal Properties, J. ACM, vol.62, p.15, 2015.

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, J. Log. Comput, vol.20, pp.651-674, 2010.

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Trans. Softw. Eng. Methodol, vol.20, p.14, 2011.

A. Bauer, M. Leucker, and J. Streit, SALT -Structured Assertion Language for Temporal Logic, ICFEM, vol.4260, pp.757-775, 2006.

Y. Blein, Y. Ledru, L. Bousquet, R. Groz, A. Clère et al., MODMED WP1/D1: Preliminary Definition of a Domain Specific Specification Language, 2017.

D. A. Bversiooasin, M. Harvan, F. Klaedtke, and E. Zalinescu, MONPOLY: Monitoring Usage-Control Policies, Runtime Verification -Second International Conference, vol.7186, pp.360-364, 2011.

F. Chen and G. Rosu, Parametric Trace Slicing and Monitoring, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, vol.5505, pp.246-261, 2009.

W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, Using contract-based component specifications for virtual integration testing and architecture design, Design, Automation and Test in Europe, pp.1023-1028, 2011.

N. Decker, J. Harder, T. Scheffel, M. Schmitz, and D. Thoma, Runtime Monitoring with Union-Find Structures, TACAS, vol.9636, pp.868-884, 2016.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, pp.411-420, 1999.

D. M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi, On the Temporal Basis of Fairness, Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, pp.163-173, 1980.

S. Hallé and R. Villemaire, Runtime Monitoring of Message-Based Workflows with Data, 12th International IEEE Enterprise Distributed Object Computing Conference, pp.63-72, 2008.

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

K. Havelund and G. Reger, Specification of Parametric Monitors, SyDe Summer School, pp.151-189, 2015.

D. Jackson and J. Wing, Lightweight Formal Methods. ACM Comput. Surv, vol.28, p.121, 1996.

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

A. Pnueli, The Temporal Logic of Programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

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

G. Reger and D. E. Rydeheard, From First-order Temporal Logic to Parametric Trace Slicing, Runtime Verification -6th International Conference, 2015.

G. Regis, R. Degiovanni, D. Nicolás, N. Ippolito, and . Aguirre, Specifying Event-Based Systems with a Counting Fluent Temporal Logic, ICSE, pp.733-743, 2015.

R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, PROPEL: an approach supporting property elucidation, Proceedings of the 24th International Conference on Software Engineering, pp.11-21, 2002.

. Volker-stolz, Temporal Assertions with Parametrised Propositions, Runtime Verification, 7th International Workshop, vol.4839, pp.176-187, 2007.

S. Taha, J. Julliand, and F. Dadeau, 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