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

F. Chen and G. Rosu, Parametric Trace Slicing and Monitoring, Proceedings of the 15th International Conference 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

D. Nickovic and N. Piterman, From Mtl to Deterministic Timed Automata, Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems, pp.152-167, 2010.
DOI : 10.1007/978-3-642-15297-9_13

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

D. Basin, F. Klaedtke, and E. Zalinescu, Algorithms for monitoring real-time properties, Proceedings of the 2nd International Conference on Runtime Verification, 2011.

H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, Proceedings of the 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

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853

J. Ligatti, L. Bauer, and D. Walker, Run-Time Enforcement of Nonsafety Policies, ACM Transactions on Information and System Security, vol.12, issue.3, pp.1-1941, 2009.
DOI : 10.1145/1455526.1455532

Y. Falcone, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund et al., You Should Better Enforce Than Verify, Proceedings of the 1st international 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

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

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

I. Matteucci, Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting, Electronic Notes in Theoretical Computer Science, vol.186, pp.101-120, 2007.
DOI : 10.1016/j.entcs.2007.03.025

D. Basin, V. Jugé, F. Klaedtke, and E. , Enforceable Security Policies Revisited, ACM Transactions on Information and System Security, vol.16, issue.1, pp.1-326, 2013.
DOI : 10.1145/2487222.2487225

S. Pinisetty, Y. Falcone, T. Jéron, and H. Marchand, Runtime Enforcement of Parametric Timed Properties with Practical Applications, IEEE International Workshop on Discrete Event Systems, 2014.
DOI : 10.3182/20140514-3-FR-4046.00041
URL : https://hal.archives-ouvertes.fr/hal-00974548

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

S. Pinisetty, Y. Falcone, T. Jéron, and H. Marchand, Runtime enforcement of regular timed properties, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1279-1286, 2014.
DOI : 10.1145/2554850.2554967
URL : https://hal.archives-ouvertes.fr/hal-00907571

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

O. Maler, D. Nickovic, and A. Pnueli, From MITL to Timed Automata, Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, pp.274-289, 2006.
DOI : 10.1007/11867340_20

K. G. Larsen, P. Pettersson, and W. Yi, 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

V. Gruhn and R. Laue, Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.
DOI : 10.1016/j.entcs.2005.10.035
URL : http://doi.org/10.1016/j.entcs.2005.10.035

M. Viswanathan and M. Kim, Foundations for the Run-Time Monitoring of Reactive Systems ??? Fundamentals of the MaC Language, Lecture Notes in Computer Science, pp.543-556, 2004.
DOI : 10.1007/978-3-540-31862-0_38

N. Bielova and F. Massacci, Do you really mean what you actually enforced?, International Journal of Information Security, vol.206, issue.2???4, pp.239-254, 2011.
DOI : 10.1007/s10207-011-0137-2
URL : http://eprints.biblio.unitn.it/1449/1/techRep033.pdf

U. Sammapun, I. Lee, and O. Sokolsky, RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), pp.147-153, 2005.
DOI : 10.1109/RTCSA.2005.84

C. Colombo, G. J. Pace, and G. Schneider, Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, pp.135-149, 2008.
DOI : 10.1023/B:FORM.0000017719.43755.7c

C. Colombo, G. J. Pace, and G. Schneider, Safe Runtime Verification of Real-Time Properties, Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, pp.103-117, 2009.
DOI : 10.1016/0020-0190(91)90122-X

M. Rinard, Acceptability-oriented computing, Proceedings of the 2003 ACM SIGPLAN Conference On Object-Oriented Programming Sytems, Languages, and Applications Companion (OOPSLA 03 COMPANION), pp.221-239, 2003.
DOI : 10.1145/949344.949402
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4851