E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker et al., First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014, International Journal on Software Tools for Technology Transfer, vol.53, issue.4, pp.1-40, 2017.
DOI : 10.1016/j.comnet.2008.09.022

D. A. Basin, F. Klaedtke, and E. Zalinescu, Failure-aware Runtime Verification of Distributed Systems, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (LIPIcs) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.590-603, 2015.

A. Bauer and Y. Falcone, Decentralised LTL monitoring, Formal Methods in System Design, vol.17, issue.3, pp.46-93, 2016.
DOI : 10.1007/978-3-642-16612-9
URL : https://hal.archives-ouvertes.fr/hal-00857286

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, p.14, 2011.
DOI : 10.1145/2000799.2000800

B. Bonakdarpour, P. Fraigniaud, S. Rajsbaum, D. A. Rosenblueth, and C. Travers, Decentralized Asynchronous Crash-Resilient Runtime Verification, 27th International Conference on Concurrency Theory (CONCUR 2016) (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.1-1615, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01423646

C. Colombo and Y. Falcone, Organising LTL monitors over distributed systems with a global clock, Formal Methods in System Design, vol.49, pp.1-2, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01120551

A. Duret-lutz, Manipulating LTL Formulas Using Spot 1.0, Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), pp.442-445, 2013.
DOI : 10.1007/978-3-319-02444-8_31
URL : http://www.lrde.epita.fr/~adl/dl/adl/duret.13.atva.pdf

A. El-hokayem and Y. Falcone, Monitoring decentralized specifications, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2017, 2017.
DOI : 10.1145/79173.79181
URL : https://hal.archives-ouvertes.fr/hal-01653725

Y. Falcone, K. Havelund, and G. Reger, A Tutorial on Runtime Verification NATO science for peace and security series, pp.141-175, 2013.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP 2001 -Object- Oriented Programming, 15th European Conference, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

G. Rosu and K. Havelund, Rewriting-Based Techniques for Runtime Verification, Automated Software Engineering, vol.32, issue.3, pp.151-197, 2005.
DOI : 10.1007/978-1-4612-4222-2

G. Leslie and . Valiant, A Bridging Model for Parallel Computation, Commun. ACM, vol.33, issue.8, pp.103-111, 1990.