W. L. Andrade, P. D. Machado, T. Jéron, and H. Marchand, Abstracting Time and Data for Conformance Testing of Real-Time Systems, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp.9-17, 2011.
DOI : 10.1109/ICSTW.2011.82
URL : https://hal.archives-ouvertes.fr/hal-00646089

H. Barringer, Y. Falcone, K. Havelund, G. Reger, R. et al., Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, 18th International Symposium on Formal Methods, pp.68-84, 2012.
DOI : 10.1007/978-3-642-32759-9_9
URL : https://hal.archives-ouvertes.fr/hal-00857285

D. Basin, F. Klaedtke, and E. Zalinescu, Algorithms for monitoring real-time properties, 2nd Int. Conf. on Runtime Verification, pp.260-275, 2011.

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, pp.1-1464, 2011.
DOI : 10.1145/2000799.2000800
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.7841

F. Chen and G. Rosu, Parametric Trace Slicing and Monitoring, 15th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.246-261, 2009.
DOI : 10.1023/A:1011227529550
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.471.347

C. Colombo, G. J. Pace, and G. Schneider, LARVA ? safer monitoring of real-time Java programs, 7th IEEE Int. Conf. on Software Engineering and Formal Methods, pp.33-37, 2009.

Y. Falcone, You Should Better Enforce Than Verify, 1st Int. conference on Runtime verification, pp.89-105, 2010.
DOI : 10.1007/978-3-642-16612-9_9
URL : https://hal.archives-ouvertes.fr/hal-00523653

Y. Falcone, L. Mounier, J. C. Fernandez, and J. L. Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities, Formal Methods in System Design, vol.42, issue.3, pp.223-262, 2011.
DOI : 10.1007/s10703-011-0114-4
URL : https://hal.archives-ouvertes.fr/hal-00576948

P. Fradet and S. Hong-tuan-ha, Aspects of availability, Sci. Comput. Program, issue.7, pp.516-542, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00666293

T. Hunter, P. Terry, and A. Judge, Distributed tarpitting: Impeding spam across multiple servers, 17th Large Installation Systems Administration, USENIX, 2003.

K. G. Larsen, P. Pettersson, Y. , and W. , Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

D. Nickovic and N. Piterman, From MTL to deterministic timed automata, 8th Int. Conf. on Formal Modelling and Analysis of Timed Systems, pp.152-167, 2010.

D. Nickovic and O. Maler, AMT: A Property-Based Monitoring Tool for Analog Systems, 5th Int. Conf. on Formal modeling and analysis of timed systems, pp.304-319, 2007.
DOI : 10.1007/978-3-540-75454-1_22

S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet et al., Runtime Enforcement of Timed Properties, 3rd Int. Conf. on Runtime Verification, 2012.
DOI : 10.1007/978-3-642-35632-2_23
URL : https://hal.archives-ouvertes.fr/hal-00743270

V. Rusu, L. D. Bousquet, J. , and T. , An Approach to Symbolic Test Generation, Proc. Integrated Formal Methods, pp.338-357, 2000.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9208

P. Thati and G. Rosu, Monitoring Algorithms for Metric Temporal Logic Specifications, Electronic Notes in Theoretical Computer Science, vol.113, pp.145-162, 2005.
DOI : 10.1016/j.entcs.2004.01.029
URL : http://doi.org/10.1016/j.entcs.2004.01.029