H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. E. Rydeheard, Quantied event automata: Towards expressive and ecient runtime monitors, FM 2012: Formal Methods -18th International Symposium, vol.7436, p.6884, 2012.

H. Barringer, A. Goldberg, K. Havelund, and K. Sen, Rule-based runtime verication, Verication, Model Checking, and Abstract Interpretation, 5th International Conference, p.4457, 2004.

H. Barringer, A. Groce, K. Havelund, and M. H. Smith, Formal analysis of log les, JACIC, vol.7, issue.11, p.365390, 2010.

H. Barringer, D. E. Rydeheard, and K. Havelund, Rule systems for run-time monitoring: from Eagle to RuleR, J. Log. Comput, vol.20, issue.3, p.675706, 2010.

D. A. Basin, F. Klaedtke, S. Müller, and E. Zalinescu, Monitoring metric rst-order temporal properties, J. ACM, vol.62, issue.2, p.15, 2015.

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

,

A. Bauer, M. Leucker, and J. Streit, 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.

Y. Blein, Y. Ledru, L. Du-bousquet, and R. Groz, Extending specication patterns for verication of parametric traces, Proceedings of the 6th Conference on Formal Methods in Software Engineering, p.1019, 2018.

Y. Blein, Y. Ledru, L. Du-bousquet, R. Groz, A. Clère et al., MODMED WP1/D1: Preliminary Denition of a Domain Specic Specication Language, 2017.

Y. Blein, M. A. Tabikh, and Y. Ledru, MODMED WP4/D1: Test assessment -preliminary study and tool prototype, 2017.

D. A. Bversiooasin, M. Harvan, F. Klaedtke, and E. Zalinescu, MONPOLY: monitoring usage-control policies, Runtime Verication -Second International Conference, vol.7186, 2011.

A. Calafato, C. Colombo, and G. J. Pace, A controlled natural language for tax fraud detection, Controlled Natural Language -5th International Workshop, vol.9767, 2016.

N. Decker, J. Harder, T. Scheel, M. Schmitz, and D. Thoma, Runtime monitoring with union-nd structures, TACAS. Lecture Notes in Computer Science, vol.9636, 2016.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specications for nite-state verication, Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, p.411420, 1999.

S. Hallé and R. Villemaire, Runtime monitoring of message-based workows with data, 12th International IEEE Enterprise Distributed Object Computing Conference, p.6372, 2008.

K. Havelund, Rule-based runtime verication revisited, STTT, vol.17, issue.2, p.143170, 2015.

D. Jackson and J. Wing, Lightweight formal methods, ACM Comput. Surv, vol.28, issue.4, p.121, 1996.

D. Jin, P. O. Meredith, C. Lee, and G. Rosu, JavaMOP: Ecient parametric runtime monitoring framework, 34th International Conference on Software Engineering, ICSE 2012, p.14271430, 2012.

Y. Ledru, Y. Blein, L. Du-bousquet, R. Groz, A. Clère et al., 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

G. Reger, H. C. Cruz, and D. E. Rydeheard, MarQ: Monitoring at runtime with QEA, TACAS. Lecture Notes in Computer Science, vol.9035, p.596610, 2015.

G. Regis, R. Degiovanni, N. D'ippolito, and N. Aguirre, Specifying event-based systems with a counting uent temporal logic, ICSE (1). pp. 733743, 2015.

P. Reinkemeier, I. Stierand, P. Rehkop, and S. Henkler, 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.

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, p.1121, 2002.

V. Stolz, Temporal assertions with parametrised propositions, Revised Selected Papers. Lecture Notes in Computer Science, vol.4839, p.176187, 2007.