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
Minimum-Cost Reachability for Priced Timed Automata, HSCC'01, pp.147-161, 2001. ,
DOI : 10.7146/brics.v8i3.20457
Optimal paths in weighted timed automata, HSCC'01, pp.49-62, 2001. ,
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
Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005. ,
DOI : 10.1145/1059816.1059823
Optimal conditional reachability for multipriced timed automata, FoSSaCS'05, pp.234-249, 2005. ,
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
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
On the Interval-Bound Problem for Weighted Timed Automata, LATA'11, pp.452-464, 2011. ,
DOI : 10.1007/978-3-642-21254-3_36
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
Verification of embedded systems ? Algorithms and complexity, Mémoire d'habilitation, 2011. ,
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
Symbolic Model Checking without BDDs, TACAS'99, pp.193-207, 1999. ,
DOI : 10.1007/3-540-49059-0_14
On reachability for hybrid automata over bounded time, LNCS, vol.6756, issue.11, pp.416-427, 2011. ,
An undecidable problem for timed automata, Discrete Event Dynamic Systems, vol.9, issue.2, pp.135-146, 1999. ,
DOI : 10.1023/A:1008319830371
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
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
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
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. ,
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. ,