K. Havelund and A. Goldberg, Verify Your Runs, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, pp.374-383, 2005.
DOI : 10.1016/S1571-0661(04)81049-1

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

O. Sokolsky, K. Havelund, and I. Lee, Introduction to the special section on runtime verification, International Journal on Software Tools for Technology Transfer, vol.32, issue.1, pp.243-247, 2012.
DOI : 10.1109/TSE.2006.1599419

R. Jakse, Y. Falcone, J. Méhaut, and K. Pouget, Interactive runtime verification
URL : https://hal.archives-ouvertes.fr/hal-01592671

R. Jakse, Y. Falcone, J. Méhaut, and K. Pouget, Verde repository, 2017.

J. Engblom, A review of reverse debugging, System, Software, SoC and Silicon Debug Conference (S4D), pp.1-6, 2012.

K. Georgiev and V. Marangozova-martin, MPSoC Zoom Debugging: A Deterministic Record-Partial Replay Approach, 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, pp.73-80, 2014.
DOI : 10.1109/EUC.2014.20
URL : https://hal.archives-ouvertes.fr/hal-01006231

J. Roos, L. Courtrai, and J. Méhaut, Execution replay of parallel programs, 1993 Euromicro Workshop on Parallel and Distributed Processing, pp.27-29, 1993.
DOI : 10.1109/EMPDP.1993.336375
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.8002

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg et al., Thorough static analysis of device drivers, Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, ser. EuroSys '06, pp.73-85, 2006.
DOI : 10.1145/1217935.1217943
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.2999

T. Ball and S. K. Rajamani, The slam project: Debugging system software via static analysis, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '02, pp.1-3, 2002.

N. Nethercote and J. Seward, Valgrind: a framework for heavyweight dynamic binary instrumentation, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pp.89-100, 2007.

G. Kiczales, Aspect-oriented programming in Java Revised Papers, ser, Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, 2002.
DOI : 10.1007/3-540-36557-5_1

S. Katz, Transactions on aspect-oriented software development I, Transactions on Aspect-Oriented Software Development I ch. Aspect Categories and Classes of Temporal Properties, pp.106-134, 2006.

D. Jin, P. O. Meredith, C. Lee, and G. Rosu, JavaMOP: Efficient parametric runtime monitoring framework, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227231

F. Chen and G. Rosu, Parametric trace slicing and monitoring Held as Part of the Joint European Conferences on Theory and Practice of Software, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, pp.246-261978, 2009.

Y. Falcone, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund et al., You Should Better Enforce Than Verify, Proceedings, ser. Lecture Notes in Computer Science, pp.89-105978, 2010.
DOI : 10.1007/978-3-642-04766-4_20
URL : https://hal.archives-ouvertes.fr/hal-00523653

M. Ducassé and E. Jahier, Efficient Automated Trace Analysis, Electronic Notes in Theoretical Computer Science, vol.55, issue.2, pp.118-133, 2001.
DOI : 10.1016/S1571-0661(04)00248-8

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C, Software Engineering and Formal Methods -10th International Conference, pp.233-247, 2012.
DOI : 10.1007/978-3-642-33826-7_16

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, Engineering Dependable Software Systems, ser. NATO Science for Peace and Security Series, pp.141-175978, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

K. Havelund and G. Reger, Specification of Parametric Monitors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, pp.151-189978, 2015.
DOI : 10.1007/978-3-658-09994-7_6

M. Chabot, K. Mazet, and L. Pierre, Automatic and configurable instrumentation of C programs with temporal assertion checkers, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.208-217, 2015.
DOI : 10.1109/MEMCOD.2015.7340488
URL : https://hal.archives-ouvertes.fr/hal-01393418

S. Navabpour, Y. Joshi, C. W. Wu, S. Berkovich, R. Medhat et al., RiTHM: a tool for enabling time-triggered runtime verification for C programs, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.603-606, 2013.
DOI : 10.1145/2491411.2494596

R. Milewicz, R. Vanka, J. Tuck, D. Quinlan, and P. Pirkelbauer, Lightweight runtime checking of C programs with RTC, Computer Languages, Systems & Structures, vol.45, pp.191-203, 2016.
DOI : 10.1016/j.cl.2016.01.001