H. Barringer, Y. Es-falcone, K. Havelund, G. Reger, and D. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, FM 2012: 18th International symposium on Formal Methods, pp.65-79, 2012.
DOI : 10.1007/978-3-642-32759-9_9
URL : https://hal.archives-ouvertes.fr/hal-00857285

H. Barringer, D. E. Rydeheard, and K. Havelund, Rule Systems for Run-time Monitoring: from EAGLE to RULER, Journal of Logic and Computation, vol.20, issue.3, pp.675-706, 2010.
DOI : 10.1093/logcom/exn076

A. David, K. G. Larsen, A. Legay, and M. Miku?ionis, Schedulability of Herschel-Planck Revisited Using Statistical Model Checking, STTT, 2014.
DOI : 10.1007/978-3-642-34032-1_28

J. Ylì-es-falcone, L. Fernandez, and . Mounier, Runtime Verification of Safety-Progress Properties, Runtime Verification, 9th International Workshop, pp.40-59, 2009.
DOI : 10.1137/0201010

K. Ylì-es-falcone, G. Havelund, and . Reger, A tutorial on runtime verification, Engineering Dependable Software Systems NATO Science for Peace and Security Series, D: Information and Communication Security, pp.141-175, 2013.

S. Hallé, J. Vallet, and R. Tremblay-lessard, On piggyback runtime monitoring of object-oriented programs, International Journal on Software Tools for Technology Transfer, vol.18, issue.3???4, 2014.
DOI : 10.1007/s10009-014-0326-1

K. Havelund, Rule-based runtime verification revisited, International Journal on Software Tools for Technology Transfer, vol.4, issue.3, 2014.
DOI : 10.1007/s10009-014-0309-2

K. Havelund and A. Goldberg, Verify Your Runs, Lecture Notes in Computer Science, vol.15, issue.4, pp.374-383, 2005.
DOI : 10.1007/11494881_14

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, 2008.
DOI : 10.1016/j.jlap.2008.08.004

T. Margaria and B. Steffen, Verification and Validation, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, 2012.

A. Nouri, S. Bensalem, M. Benoit-delahaye, C. Bozga, A. Jegourel et al., Statistical model checking QoS properties of systems with SBIP, STTT, 2014.
DOI : 10.1007/s10009-014-0313-6
URL : https://hal.archives-ouvertes.fr/hal-01087822

A. Pnueli and A. Zaks, PSL Model Checking and Run-Time Verification Via Testers, Lecture Notes in Computer Science, vol.4085, pp.573-586, 2006.
DOI : 10.1007/11813040_38

L. S. Høakan and . Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.