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

L. Wilkerson, P. D. Andrade, T. Machado, H. Jéron, and . Marchand, Abstracting time and data for conformance testing of real-time systems, 2011 IEEE 4th Int. Conf. on Software Testing, Verification and Validation Workshops, pp.9-17, 2011.

H. Bohnenkamp and A. Belinfante, Timed Testing with TorX, FM 2005: Formal Methods, pp.173-188, 2005.
DOI : 10.1007/11526841_13

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, Computer Aided Verification , 10th International Conference, CAV '98 Proceedings, volume 1427 of Lecture Notes in Computer Science, pp.546-550, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

H. Barringer, Y. Es-falcone, K. Havelund, G. Reger, and D. E. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, In FM, pp.68-84, 2012.
DOI : 10.1007/978-3-642-32759-9_9

URL : https://hal.archives-ouvertes.fr/hal-00857285

D. Basin, V. Jugé, and F. Klaedtke, Enforceable security policies revisited, ACM Trans. Inf. Syst. Secur, vol.163, issue.1, pp.1-3, 2013.
DOI : 10.1007/978-3-642-28641-4_17

C. Baier and J. Katoen, Principles of model checking, 2008.

F. David-basin, E. Klaedtke, and . Zalinescu, Algorithms for Monitoring Real-Time Properties, Proceedings of the 2nd International Conference on Runtime Verification, pp.260-275, 2011.
DOI : 10.1007/978-3-642-29860-8_20

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

P. Bou and . Bouyer, An introduction to timed automata

[. Bouyer, From Qualitative to Quantitative Analysis of Timed Systems . Mémoire d'habilitation, 2009.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Proceedings of the 4th Advanced Course on Petri Nets -Lecture Notes on Concurrency and Petri Nets, pp.87-124
DOI : 10.1007/978-3-540-27755-2_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

E. M. Clarke and E. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1982.

[. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, Tools and Algorithms for the Construction and Analysis of Systems, pp.470-475
DOI : 10.1007/3-540-46002-0_34

E. Chang, Z. Manna, and A. Pnueli, The Safety-Progress Classification, Logic and Algebra of Specification, pp.143-202, 1993.
DOI : 10.1007/978-3-642-58041-3_5

[. 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

[. 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

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

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, 1999.

D. Vijay, D. Silva, G. Kroening, and . Weissenbacher, A survey of automated techniques for formal software verification, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.27, issue.7, pp.1165-1178, 2008.

D. Evans and D. Larochelle, Improving security using extensible lightweight static analysis, IEEE Software, vol.19, issue.1, pp.42-51, 2002.
DOI : 10.1109/52.976940

F. Ylì, You should better enforce than verify, Proceedings of the 1st international conference on Runtime verification, pp.89-105, 2010.

P. Fradet and S. Ha, Aspects of availability, Science of Computer Programming, vol.75, issue.7, pp.516-542, 2010.
DOI : 10.1016/j.scico.2009.10.002

URL : https://hal.archives-ouvertes.fr/hal-00666293

T. Ylì-es-falcone, H. Jéron, S. Marchand, and . Pinisetty, Runtime enforcement of regular timed properties by suppressing and delaying events, Science of Computer Programming, p.2014

L. Ylì-es-falcone, J. Mounier, J. Fernandez, and . Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, pp.223-262, 2011.

Y. Es-falcone, . Lenored, and . Zuck, Runtime verification: The application perspective Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Lecture Notes in Computer Science, vol.10012, pp.284-291, 2012.
DOI : 10.1007/978-3-319-46982-9

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

L. Hubert, N. Barré, F. Besson, D. Demange, T. Jensen et al., Sawja: Static Analysis Workshop for Java, Formal Verification of Object-Oriented Software, pp.92-106, 2011.
DOI : 10.1023/B:JARS.0000021015.15794.82

URL : https://hal.archives-ouvertes.fr/inria-00504047

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation -international edition, 2003.

J. Gerard and . Holzmann, The model checker spin, IEEE Trans. Softw. Eng, vol.23, issue.5, pp.279-295, 1997.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning About Systems, 2004.
DOI : 10.1017/CBO9780511810275

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

T. Jan, Testing techniques. Lecture Notes, 2002.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

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

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

C. [. Leveson and . Turner, An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993.
DOI : 10.1109/MC.1993.274940

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

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

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

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

S. Pinisetty, Y. Es-falcone, T. Jéron, H. Marchand, A. Rollet et al., Runtime Enforcement of Timed Properties, Proceedings of the Third 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. Es-falcone, T. Jéron, H. Marchand, A. Rollet et al., Runtime enforcement of timed properties revisited. Formal Methods in System Design, pp.381-422, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088136

]. S. Pfjm14a, Y. Pinisetty, T. Falcone, H. Jéron, and . Marchand, Runtime enforcement of parametric timed properties with practical applications, IEEE International Workshop on Discrete Event Systems, 2014.

[. Pinisetty, Y. Es-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

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

V. Rusu, L. D. Bousquet, and T. Jéron, An Approach to Symbolic Test Generation, Proc. Integrated Formal Methods, pp.338-357
DOI : 10.1007/3-540-40911-4_20

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

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

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

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

M. Viswanathan, M. Kim, and .. , Foundations for the run-time monitoring of reactive systems -Fundamentals of the MaC language List of Figures 1.1 Mécanisme d'enforcement (enforcement mechanism), ICTAC: International Colloquium on Theoretical Aspects of Computing, pp.543-556, 2004.

T. Ylì-es-falcone, H. Jéron, S. Marchand, and . Pinisetty, Runtime enforcement of regular timed properties by suppressing and delaying events, Science of Computer Programming, p.2014

I. Conferences, W. Pinisetty, Y. Es-falcone, T. Jéron, H. Marchand et al., Runtime enforcement of timed properties Runtime enforcement of regular timed properties, Proceedings of the Third International Conference on Runtime Verification Yookun Cho, Sung Y. Shin, Sang- Wook Kim, Chih-Cheng Hung, and Jiman Hong Proceedings of the ACM Symposium on Applied Computing (SAC-SVT), pp.229-244, 2012.

Y. Pinisetty, T. Falcone, H. Jéron, and . 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