P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, and J. Srba, Infinite Runs in Weighted Timed Automata with Energy Constraints, FORMATS'08, pp.33-47, 2008.
DOI : 10.1007/978-3-540-85778-5_4
URL : https://hal.archives-ouvertes.fr/hal-01194594

G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson et al., Minimum-Cost Reachability for Priced Timed Automata, HSCC'01, pp.147-161, 2001.
DOI : 10.7146/brics.v8i3.20457

R. Alur, S. La-torre, and G. J. Pappas, Optimal paths in weighted timed automata, HSCC'01, pp.49-62, 2001.

P. Bouyer, U. Fahrenberg, K. G. Larsen, and N. Markey, Quantitative analysis of real-time systems using priced timed automata, Communications of the ACM, vol.54, issue.9, pp.78-87, 2011.
DOI : 10.1145/1995376.1995396
URL : https://hal.archives-ouvertes.fr/hal-01088030

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005.
DOI : 10.1145/1059816.1059823

K. G. Larsen and J. I. Rasmussen, Optimal conditional reachability for multipriced timed automata, FoSSaCS'05, pp.234-249, 2005.

M. Woehrle, K. Lampka, and L. Thiele, Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems, LNCS, vol.34, issue.3, pp.193-208, 2011.
DOI : 10.1007/978-3-642-04368-0_21

P. Bouyer, U. Fahrenberg, K. G. Larsen, and N. Markey, Timed automata with observers under energy constraints, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.61-70, 2010.
DOI : 10.1145/1755952.1755963

K. Quaas, On the Interval-Bound Problem for Weighted Timed Automata, LATA'11, pp.452-464, 2011.
DOI : 10.1007/978-3-642-21254-3_36

U. Fahrenberg, L. Juhl, K. G. Larsen, and J. Srba, Energy Games in Multiweighted Automata, LNCS, vol.158, issue.1&2, pp.95-115, 2011.
DOI : 10.1016/0304-3975(95)00188-3
URL : https://hal.archives-ouvertes.fr/hal-01088043

N. Markey, Verification of embedded systems ? Algorithms and complexity, Mémoire d'habilitation, 2011.

J. Ouaknine and J. Worrell, Towards a Theory of Time-Bounded Verification, LNCS, vol.10, issue.6199, pp.22-37, 2010.
DOI : 10.1007/978-3-642-14162-1_3

A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, Symbolic Model Checking without BDDs, TACAS'99, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14

. Th, L. Brihaye, G. Doyen, J. Geeraerts, J. Ouaknine et al., On reachability for hybrid automata over bounded time, LNCS, vol.6756, issue.11, pp.416-427, 2011.

A. Puri, An undecidable problem for timed automata, Discrete Event Dynamic Systems, vol.9, issue.2, pp.135-146, 1999.
DOI : 10.1023/A:1008319830371

B. Bérard and C. Dufourd, Timed automata and additive clock constraints, Information Processing Letters, vol.75, issue.1-2, pp.1-7, 2000.
DOI : 10.1016/S0020-0190(00)00075-2

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

P. Bouyer, E. Brinksma, and K. G. Larsen, Staying Alive as Cheaply as Possible, Formal Methods in System Design, vol.32, issue.1, pp.2-23, 2008.
DOI : 10.1007/978-3-540-24743-2_14

C. Courcoubetis and M. Yannakakis, Minimum and maximum delay problems in real-time systems, Formal Methods in System Design, vol.443, issue.4, pp.385-415, 1992.
DOI : 10.1007/BF00709157

B. Appendix, C. &. Lsv, and F. ). Ens-cachan, She is a CNRS researcher since 2002 at Laboratoire Spécification et Vérification She has held visiting positions at Aalborg University (Denmark) in 2002 and Oxford University (UK) in 2007. Patricia Bouyer-Decitre is the principal investigator of ERC Starting Grant project EQualIS, whose aim is to enhance the design and verification of interacting systems, by providing quantitative analysis methods for such systems. Her main research topics are timed systems, model checking, games for synthesis and quantitative aspects of verification. She was the recipient of a Marie Curie, 2002.

K. Larsen and H. Doctor, Honoris Causa) at Uppsala University (1999) and Ecole Normal Superieure de Cachan He is honary member of the Academia Europaea (2012) He is member of the Royal Danish Academy of Sciences and Letters and member of the Danish Academy of Technical Sciences, He received in 2005 the Danish Citation Laureates Award, Thomson Scientific Award as the most cited Danish Computer, 2007.