L. Adhianto, S. Banerjee, M. W. Fagan, M. Krentel, G. Marin et al., HPCTOOLKIT: tools for performance analysis of optimized parallel programs, Concurrency and Computation: Practice and Experience, vol.22, issue.6, pp.685-701, 2010.

S. V. Adve and K. Gharachorloo, Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, pp.66-76, 1996.

M. Ahamad, G. Neiger, J. E. Burns, P. Kohli, and P. W. Hutto, Causal memory: definitions, implementation, and programming, Distributed Computing, vol.9, issue.1, pp.37-49, 1995.

C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins et al., Adding Trace Matching with Free Variables to AspectJ, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, pp.345-364, 2005.

H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. E. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, Giannakopoulou and Méry, vol.37, pp.68-84
URL : https://hal.archives-ouvertes.fr/hal-00857285

E. Bartocci, B. Bonakdarpour, and Y. Falcone, First international competition on software for runtime verification, Runtime Verification-5th International Conference, vol.8734, pp.1-9, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01120552

E. Bartocci, Lectures on Runtime Verification-Introductory and Advanced Topics, vol.10457, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762298

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, 2017.
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Bartocci and Falcone, pp.1-33
URL : https://hal.archives-ouvertes.fr/hal-01762297

A. Bauer and Y. Falcone, Decentralised LTL monitoring, Formal Methods in System Design, vol.48, issue.1-2, pp.46-93, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00857286

A. K. Bauer and Y. Falcone, Decentralised LTL monitoring, Giannakopoulou and Méry, vol.37, pp.85-100
URL : https://hal.archives-ouvertes.fr/hal-00857286

J. Bender, M. Lesani, and J. Palsberg, Declarative fence insertion, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol.2015, pp.367-385, 2015.

E. Bodden, L. Hendren, P. Lam, O. Lhoták, and N. A. Naeem, Collaborative Runtime Verification with Tracematches, Journal of Logic and Computation, vol.20, issue.3, pp.707-723, 2010.

N. Brett, U. Siddique, and B. Bonakdarpour, Rewriting-Based Runtime Verification for Alternation-Free HyperLTL, pp.77-93, 2017.

, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017.

F. Chen and G. Ros¸uros¸u, Java-MOP: A Monitoring Oriented Programming Environment for Java, Tools and Algorithms for the Construction and Analysis of Systems, pp.546-550, 2005.

F. Chen and G. Ros¸uros¸u, Mop: an efficient and generic runtime verification framework, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, pp.569-588, 2007.

M. R. Clarkson and F. B. Schneider, Hyperproperties. Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010.

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

C. Colombo, G. J. Pace, P. Abela, H. Barringer, Y. Falcone et al., Compensation-aware runtime monitoring, Runtime Verification-First International Conference, RV 2010, St. Julians, vol.6418, pp.214-228, 2010.

C. Colombo, G. J. Pace, and G. Schneider, Dynamic event-based runtime monitoring of realtime and contextual properties, Formal Methods for Industrial Critical Systems, pp.135-149, 2009.

C. Colombo, G. J. Pace, and G. Schneider, LARVA-Safer Monitoring of Real-Time Java Programs (Tool Paper), Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, pp.33-37, 2009.

L. Convent, S. Hungerecker, M. Leucker, T. Scheffel, M. Schmitz et al., Tessla: Temporal stream-based specification language, 2018.

H. Cui, J. Simsa, Y. H. Lin, H. Li, B. Blum et al., Parrot: A practical runtime for deterministic, stable, and reliable threads, Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, vol.13, pp.388-405, 2013.

D. Angelo, B. Sankaranarayanan, S. Sánchez, C. Robinson, W. Finkbeiner et al., LOLA: runtime monitoring of synchronous systems, 12th International Symposium on Temporal Representation and Reasoning, pp.166-174, 2005.

N. Decker, B. Dreyer, P. Gottschling, C. Hochberger, A. Lange et al., Online analysis of debug trace data for embedded systems, 2018 Design, Automation & Test in Europe Conference &, pp.851-856, 2018.

A. Eizenberg, Y. Peng, T. Pigli, W. Mansky, and J. Devietti, BARRACUDA: Binary-level analysis of runtime races in CUDA programs, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, vol.2017, pp.126-140, 2017.

A. El-hokayem and Y. Falcone, Monitoring decentralized specifications, Bultan and Sen, vol.15, pp.125-135
URL : https://hal.archives-ouvertes.fr/hal-01653725

A. El-hokayem and Y. Falcone, THEMIS: a tool for decentralized monitoring algorithms, Bultan and Sen, vol.15, pp.372-375
URL : https://hal.archives-ouvertes.fr/hal-01653727

A. El-hokayem and Y. Falcone, RV for Multithreaded Programs Tutorial, 2018.

Y. Falcone, K. Havelund, and G. Reger, A Tutorial on Runtime Verification, Engineering Dependable Software Systems, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

Y. Falcone, D. Nickovic, G. Reger, and D. Thoma, Second international competition on runtime verification CRV, Runtime Verification-6th International Conference, vol.9333, pp.405-422, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248351

B. Finkbeiner, C. Hahn, M. Stenger, and L. Tentrup, RVHyper : A Runtime Verification Tool for Temporal Hyperproperties, Tools and Algorithms for the Construction and Analysis of Systems-24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.10806, pp.194-200, 2018.

B. Finkbeiner, M. N. Rabe, and C. Sánchez, Algorithms for Model Checking HyperLTL and HyperCTL*, Computer Aided Verification-27th International Conference, CAV 2015, Proceedings, Part I, vol.9206, pp.30-48, 2015.

P. Gastin and D. Kuske, Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces, Inf. Comput, vol.208, issue.7, pp.797-816, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00779916

D. Giannakopoulou, FM 2012: Formal Methods-18th International Symposium, vol.7436, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00743808

S. Hallé and R. Khoury, Event Stream Processing with BeepBeep 3, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol.3, pp.81-88, 2017.

K. Havelund and G. Ros¸uros¸u, An Overview of the Runtime Verification Tool Java PathExplorer, Formal Methods in System Design, vol.24, issue.2, pp.189-215, 2004.
DOI : 10.1023/b:form.0000017721.39909.4b
URL : http://www.ic.arc.nasa.gov/m/pub/441h/0441%20(Havelund).pdf

M. Herlihy and J. M. Wing, Linearizability: A correctness condition for concurrent objects, ACM Trans. Program. Lang. Syst, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972
URL : http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/herlihy-linearizability.pdf

J. Huang, Q. Luo, and G. Rosu, Gpredict: Generic predictive concurrency analysis, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, vol.1, pp.847-857, 2015.
DOI : 10.1109/icse.2015.96

J. Huang, P. O. Meredith, and G. Rosu, Maximal sound predictive race detection with control flow abstraction, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.337-348, 2014.
DOI : 10.1145/2594291.2594315

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. Kuperstein, M. Vechev, and E. Yahav, Partial-coherence Abstractions for Relaxed Memory Models, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, vol.11, pp.187-198, 2011.
DOI : 10.1145/2345156.1993521

M. Leucker, C. Sánchez, T. Scheffel, M. Schmitz, and A. Schramm, TeSSLa: runtime verification of non-synchronized real-time streams, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, pp.1925-1933, 2018.

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
URL : https://doi.org/10.1016/j.jlap.2008.08.004

K. Lodaya and P. Weil, Rationality in algebras with a series operation, Inf. Comput, vol.171, issue.2, pp.269-293, 2001.
DOI : 10.1006/inco.2001.3077
URL : https://doi.org/10.1006/inco.2001.3077

J. M. Lourenço, J. Fiedor, B. Krena, and T. Vojnar, Discovering concurrency errors, Bartocci and Falcone, pp.34-60

J. Manson, W. Pugh, and S. V. Adve, The Java Memory Model, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.378-391, 2005.
DOI : 10.1145/1040305.1040336

A. W. Mazurkiewicz, W. Brauer, and W. Reisig, Advances in Petri Nets, Petri Nets: Central Models and Their Properties, vol.255, pp.279-324, 1986.

, Antoine El-Hokayem andYlì es Falcone

B. Meenakshi and R. Ramanujam, Reasoning about layered message passing systems, Computer Languages, vol.30, pp.171-206, 2004.

P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Rosu, An overview of the MOP runtime verification framework, STTT, vol.14, issue.3, pp.249-289, 2012.

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I. Theor, Comput. Sci, vol.13, pp.85-108, 1981.

G. Reger, H. C. Cruz, and D. E. Rydeheard, MarQ: Monitoring at Runtime with QEA, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.9035, pp.596-610, 2015.

G. Reger, S. Hallé, and Y. Falcone, Third international competition on runtime verification-CRV, Runtime Verification-16th International Conference, vol.10012, pp.21-37, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01428834

G. Reger and K. Havelund, What Is a Trace? A Runtime Verification Perspective, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pp.339-355, 2016.

M. Said, C. Wang, Z. Yang, and K. A. Sakallah, Generating data race witnesses by an SMTBased analysis, NASA Formal Methods-Third International Symposium, NFM 2011, vol.6617, pp.313-327, 2011.
DOI : 10.1007/978-3-642-20398-5_23
URL : http://www.nec-labs.com/~chaowang/pubDOC/Said11Witness.pdf

, The Eclipse Foundation: The AspectJ project, 2018.