Liste de publications de Patricia Bouyer

2017

BFL+17
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Joël Ouaknine et James WorrellModel Checking Real-Time SystemsIn Handbook of Model Checking. Springer, 2017. À paraître. ( PDF | BibTeX + Résumé )
BMPS17
Patricia Bouyer, Nicolas Markey, Nicolas Perrin et Philipp Schlehuber-CaissierTimed automata abstraction of switched dynamical systems using control funnelsReal-Time Systems, 2017. To appear. ( PDF | BibTeX + Résumé )
doi: 10.1007/s11241-016-9262-3
BMV17
Patricia Bouyer, Nicolas Markey et Steen VesterNash Equilibria in Symmetric Graph Games with Partial ObservationInformation and Computation, 2017. À paraître. ( PDF | BibTeX + Résumé )
BHM+17
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour et Martin ZimmermannBounding Average-energy GamesIn FoSSaCS'17, LNCS. Springer, 2017. ( Page web | BibTeX + Résumé )
BJ17
Patricia Bouyer et Vincent JugéDynamic Complexity of the Dyck ReachabilityIn FoSSaCS'17, LNCS. Springer, 2017. ( Page web | BibTeX + Résumé )

2016

BMJ16
Patricia Bouyer, Nicolas Markey et Vincent JugéDynamic Complexity of Parity Games with Bounded Tree-Width.  Research Report 1610.00571, Computing Research Repository, Octobre 2016. 33 pages. ( PDF | BibTeX )
BMS16
Patricia Bouyer, Nicolas Markey et Daniel StanStochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent GamesIn GandALF'16, Electronic Proceedings in Theoretical Computer Science 226, pages 61-75. 2016. ( PDF | BibTeX + Résumé )
doi: 10.4204/EPTCS.226.5
ABK+16
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa et Ashutosh TrivediStochastic Timed Games RevisitedIn MFCS'16, Leibniz International Proceedings in Informatics 58, pages 8:1-8:14. Leibniz-Zentrum für Informatik, 2016. ( PDF | BibTeX + Résumé )
doi: 10.4230/LIPIcs.MFCS.2016.8
Bou16
Patricia BouyerOptimal Reachability in Weighted Timed Automata and GamesIn MFCS'16, Leibniz International Proceedings in Informatics 58, pages 3:1-3:3. Leibniz-Zentrum für Informatik, 2016. ( PDF | BibTeX + Résumé )
doi: 10.4230/LIPIcs.MFCS.2016.3
BBBC16
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Pierre CarlierAnalysing Decisive Stochastic ProcessesIn ICALP'16, Leibniz International Proceedings in Informatics 55, pages 101:1-101:14. Leibniz-Zentrum für Informatik, 2016. ( PDF | BibTeX + Résumé )
doi: 10.4230/LIPIcs.ICALP.2016.101
BCM16
Patricia Bouyer, Maximilien Colange et Nicolas MarkeySymbolic Optimal Reachability in Weighted Timed AutomataIn CAV'16, LNCS 9779, pages 513-530. Springer, 2016. ( Page web | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-319-41528-4_28
BMR+16a
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen et Simon LaursenAverage-energy gamesActa Informatica, 2016. ( PDF | BibTeX + Résumé )
doi: 10.1007/s00236-016-0274-1
BMR+16b
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier et Daniel StanReachability in Networks of Register Protocols under Stochastic SchedulersIn ICALP'16, Leibniz International Proceedings in Informatics 55, pages 106:1-106:14. Leibniz-Zentrum für Informatik, 2016. ( Page web | PDF (version longue) | BibTeX + Résumé )
doi: 10.4230/LIPIcs.ICALP.2016.106
BBCM16
Patricia Bouyer, Thomas Brihaye, Pierre Carlier et Quentin MenetCompositional Design of Stochastic Timed AutomataIn CSR'16, LNCS 9691, pages 117-130. Springer, 2016. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-319-34171-2_9
BGM16
Patricia Bouyer, Patrick Gardy et Nicolas MarkeyOn the semantics of Strategy LogicInformation Processing Letters 116(2), pages 75-79, 2016. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.ipl.2015.10.004

2015

BGM15
Patricia Bouyer, Patrick Gardy et Nicolas MarkeyWeighted strategy logic with boolean goals over one-counter gamesIn FSTTCS'15, Leibniz International Proceedings in Informatics 45, pages 69-83. Leibniz-Zentrum für Informatik, 2015. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.4230/LIPIcs.FSTTCS.2015.69
BFM15
Patricia Bouyer, Erwin Fang et Nicolas MarkeyPermissive strategies in timed automata and gamesIn AVoCS'15, Electronic Communications of the EASST 72. European Association of Software Science and Technology, 2015. ( PDF | BibTeX + Résumé )
doi: 10.14279/tuj.eceasst.72.1015
BJM15
Patricia Bouyer, Samy Jaziri et Nicolas MarkeyOn the Value Problem in Weighted Timed GamesIn CONCUR'15, Leibniz International Proceedings in Informatics 42, pages 311-324. Leibniz-Zentrum für Informatik, 2015. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.4230/LIPIcs.CONCUR.2015.311
BMPS15
Patricia Bouyer, Nicolas Markey, Nicolas Perrin et Philipp SchlehuberTimed automata abstraction of switched dynamical systems using control funnelsIn FORMATS'15, LNCS 9268, pages 60-75. Springer, 2015. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-319-22975-1_5
BMR+15
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen et Simon LaursenAverage-energy gamesIn GandALF'15, Electronic Proceedings in Theoretical Computer Science 193, pages 1-15. 2015. ( PDF | BibTeX + Résumé )
doi: 10.4204/EPTCS.193.1
Bou15
Patricia BouyerOn the optimal reachability problem in weighted timed automata and gamesIn NCMA'15, books@ocg.at 318, pages 11-36. Austrian Computer Society, 2015. ( PDF | BibTeX + Résumé )
BBMU15
Patricia Bouyer, Romain Brenguier, Nicolas Markey et Michael UmmelsPure Nash Equilibria in Concurrent GamesLogical Methods in Computer Science 11(2:9), 2015. ( PDF | BibTeX + Résumé )
doi: 10.2168/LMCS-11(2:9)2015
BMS15
Patricia Bouyer, Nicolas Markey et Ocan SankurRobust Reachability in Timed Automata and Games: A Game-based ApproachTheoretical Computer Science 563, pages 43-74, 2015. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.tcs.2014.08.014

2014

BBB+14
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer et Marcin JurdzińskiStochastic Timed AutomataLogical Methods in Computer Science 10(4:6), 2014. ( PDF | BibTeX + Résumé )
doi: 10.2168/LMCS-10(4:6)2014
BMS14
Patricia Bouyer, Nicolas Markey et Daniel StanMixed Nash Equilibria in Concurrent GamesIn FSTTCS'14, Leibniz International Proceedings in Informatics 29, pages 351-363. Leibniz-Zentrum für Informatik, 2014. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.4230/LIPIcs.FSTTCS.2014.351
BGM14
Patricia Bouyer, Patrick Gardy et Nicolas MarkeyQuantitative verification of weighted Kripke structuresIn ATVA'14, LNCS 8837, pages 64-80. Springer, 2014. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-319-11936-6_6
BMM14
Patricia Bouyer, Nicolas Markey et Raj Mohan MatteplackelAveraging in LTLIn CONCUR'14, LNCS 8704, pages 266-280. Springer, 2014. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-662-44584-6_19
BMV14
Patricia Bouyer, Nicolas Markey et Steen VesterNash Equilibria in Symmetric Games with Partial ObservationIn SR'14, Electronic Proceedings in Theoretical Computer Science 146, pages 49-55. 2014. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.4204/EPTCS.146.7
BLM14
Patricia Bouyer, Kim G. Larsen et Nicolas MarkeyLower-Bound Constrained Runs in Weighted Timed AutomataPerformance Evaluation 73, pages 91-109, 2014. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.peva.2013.11.002
SBM14
Ocan Sankur, Patricia Bouyer et Nicolas MarkeyShrinking Timed AutomataInformation and Computation 234, pages 107-132, 2014. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.ic.2014.01.002

2013

BMS13a
Patricia Bouyer, Nicolas Markey et Ocan SankurRobustness in timed automataIn RP'13, LNCS 8169, pages 1-18. Springer, 2013. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-642-41036-9_1
BMS13b
Patricia Bouyer, Nicolas Markey et Ocan SankurRobust Weighted Timed Automata and GamesIn FORMATS'13, LNCS 8053, pages 31-46. Springer, 2013. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-642-40229-6_3
SBMR13
Ocan Sankur, Patricia Bouyer, Nicolas Markey et Pierre-Alain ReynierRobust Controller Synthesis in Timed AutomataIn CONCUR'13, LNCS 8052, pages 546-560. Springer, 2013. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-40184-8_38

2012

BBJM12
Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński et Quentin MenetAlmost-Sure Model-Checking of Reactive Timed AutomataIn QEST'12, pages 138-147. IEEE Computer Society Press, 2012. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1109/QEST.2012.10
BLM12
Patricia Bouyer, Kim G. Larsen et Nicolas MarkeyLower-Bound Constrained Runs in Weighted Timed AutomataIn QEST'12, pages 128-137. IEEE Computer Society Press, 2012. ( PDF | BibTeX + Résumé )
doi: 10.1109/QEST.2012.28
BMO+12
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen et James WorrellOn Termination and Invariance for Faulty Channel SystemsFormal Aspects of Computing 24(4-6), pages 595-607, 2012. ( PDF | BibTeX + Résumé )
doi: 10.1007/s00165-012-0234-7
BMS12
Patricia Bouyer, Nicolas Markey et Ocan SankurRobust Reachability in Timed Automata: A Game-based ApproachIn ICALP'12, LNCS 7392, pages 128-140. Springer, 2012. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-31585-5_15
BBMU12
Patricia Bouyer, Romain Brenguier, Nicolas Markey et Michael UmmelsConcurrent games with ordered objectivesIn FoSSaCS'12, LNCS 7213, pages 301-315. Springer, 2012. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-28729-9_20

2011

BBMU11
Patricia Bouyer, Romain Brenguier, Nicolas Markey et Michael UmmelsNash Equilibria in Concurrent Games with Büchi ObjectivesIn FSTTCS'11, Leibniz International Proceedings in Informatics 13, pages 375-386. Leibniz-Zentrum für Informatik, 2011. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.4230/LIPIcs.FSTTCS.2011.375
SBM11
Ocan Sankur, Patricia Bouyer et Nicolas MarkeyShrinking Timed AutomataIn FSTTCS'11, Leibniz International Proceedings in Informatics 13, pages 90-102. Leibniz-Zentrum für Informatik, 2011. ( PDF | BibTeX + Résumé )
doi: 10.4230/LIPIcs.FSTTCS.2011.90
BMOU11
Patricia Bouyer, Nicolas Markey, Jörg Olschewski et Michael UmmelsMeasuring Permissiveness in Parity Games: Mean-Payoff Parity Games RevisitedIn ATVA'11, LNCS 6996, pages 135-149. Springer, 2011. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-24372-1_11
BFLM11
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen et Nicolas MarkeyQuantitative analysis of real-time systems using priced timed automataCommunications of the ACM 54(9), pages 78-87, 2011. ( PDF | BibTeX + Résumé )
doi: 10.1145/1995376.1995396
BLM+11
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur et Claus ThraneTimed automata can always be made implementableIn CONCUR'11, LNCS 6901, pages 76-91. Springer, 2011. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-642-23217-6_6
BMS11
Patricia Bouyer, Nicolas Markey et Ocan SankurRobust Model-Checking of Timed Automata via Pumping in Channel MachinesIn FORMATS'11, LNCS 6919, pages 97-112. Springer, 2011. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-24310-3_8
BBBS11
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Amélie StainerEmptiness and Universality Problems in Timed Automata with Positive FrequencyIn ICALP'11, LNCS 6756, pages 246-257. Springer, 2011. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-642-22012-8_19
BCL11
Patricia Bouyer, Franck Cassez et François LaroussinieTimed Modal Logics for Real-Time Systems: Specification, Verification and ControlJournal of Logic, Language and Information 20(2), pages 169-203, 2011. ( PDF | BibTeX + Résumé )
doi: 10.1007/s10849-010-9127-4

2010

HBM+10
Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine et James WorrellComputing rational radical sums in uniform TC0In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 308-316. Leibniz-Zentrum für Informatik, 2010. ( PDF | BibTeX + Résumé )
doi: 10.4230/LIPIcs.FSTTCS.2010.308
BBM10a
Patricia Bouyer, Romain Brenguier et Nicolas MarkeyComputing Equilibria in Two-Player Timed Games via Turn-Based Finite GamesIn FORMATS'10, LNCS 6246, pages 62-76. Springer, 2010. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-15297-9_7
BBM10b
Patricia Bouyer, Romain Brenguier et Nicolas MarkeyNash Equilibria for Reachability Objectives in Multi-player Timed GamesIn CONCUR'10, LNCS 6269, pages 192-206. Springer, 2010. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-15375-4_14
BFLM10
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen et Nicolas MarkeyTimed Automata with Observers under Energy ConstraintsIn HSCC'10, pages 61-70. ACM Press, 2010. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1145/1755952.1755963
BCM10
Patricia Bouyer, Fabrice Chevalier et Nicolas MarkeyOn the Expressiveness of TPTL and MTLInformation and Computation 208(2), pages 97-116, 2010. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.ic.2009.10.004
BBC10
Patricia Bouyer, Thomas Brihaye et Fabrice ChevalierO-Minimal Hybrid Reachability GamesLogical Methods in Computer Science 6(1:1), 2010. ( PDF | BibTeX + Résumé )
doi: 10.2168/LMCS-6(1:1)2010

2009

BHR09
Patricia Bouyer, Serge Haddad et Pierre-Alain ReynierUndecidability Results for Timed Automata with Silent TransitionsFundamenta Informaticae 92(1-2), pages 1-25, 2009. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BBC09
Patricia Bouyer, Thomas Brihaye et Fabrice ChevalierWeighted O-Minimal Hybrid SystemsAnnals of Pure and Applied Logics 161(3), pages 268-288, 2009. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.apal.2009.07.014
BDMR09
Patricia Bouyer, Marie Duflot, Nicolas Markey et Gabriel RenaultMeasuring Permissivity in Finite GamesIn CONCUR'09, LNCS 5710, pages 196-210. Springer, 2009. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-04081-8_14
BBBB09
Christel Baier, Nathalie Bertrand, Patricia Bouyer et Thomas BrihayeWhen are Timed Automata Determinizable?  In ICALP'09, LNCS 5556, pages 43-54. Springer, 2009. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-02930-1_4
BF09
Patricia Bouyer et Vojtěch ForejtReachability in Stochastic Timed GamesIn ICALP'09, LNCS 5556, pages 103-114. Springer, 2009. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-642-02930-1_9
Bou09a
Patricia BouyerModel-Checking Timed Temporal LogicsIn M4M-5, ENTCS 231, pages 323-341. Elsevier Science Publishers, 2009. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.entcs.2009.02.044
Bou09b
Patricia BouyerFrom Qualitative to Quantitative Analysis of Timed Systems.  Mémoire d'habilitation, Université Paris 7, Paris, France, Janvier 2009. ( PDF | BibTeX )
BP09
Patricia Bouyer et Antoine PetitOn extensions of timed automataIn Perspectives in Concurrency Theory, IARCS-Universities, pages 35-63. Universities Press, 2009. ( BibTeX + Résumé )

2008

BBBM08
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Nicolas MarkeyQuantitative Model-Checking of One-Clock Timed Automata under Probabilistic SemanticsIn QEST'08, pages 55-64. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Résumé )
doi: 10.1109/QEST.2008.19
BBJ+08
Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński, Ranko Lazić et Michał RutkowskiAverage-Price and Reachability-Price Games on Hybrid Automata with Strong ResetsIn FORMATS'08, LNCS 5215, pages 63-77. Springer, 2008. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-540-85778-5_6
BFL+08
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey et Jiří SrbaInfinite Runs in Weighted Timed Automata with Energy ConstraintsIn FORMATS'08, LNCS 5215, pages 33-47. Springer, 2008. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-540-85778-5_4
BMOW08
Patricia Bouyer, Nicolas Markey, Joël Ouaknine et James WorrellOn Expressiveness and Complexity in Real-time Model CheckingIn ICALP'08, LNCS 5126, pages 124-135. Springer, 2008. ( PDF | BibTeX + Résumé )
doi: 10.1007/978-3-540-70583-3_11
BBB+08
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Marcus GrößerAlmost-Sure Model Checking of Infinite Paths in One-Clock Timed AutomataIn LICS'08, pages 217-226. IEEE Computer Society Press, 2008. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1109/LICS.2008.25
BLM08
Patricia Bouyer, Kim G. Larsen et Nicolas MarkeyModel Checking One-clock Priced Timed AutomataLogical Methods in Computer Science 4(2:9), 2008. ( PDF | BibTeX + Résumé )
doi: 10.2168/LMCS-4(2:9)2008
BMR08
Patricia Bouyer, Nicolas Markey et Pierre-Alain ReynierRobust Analysis of Timed Automata via Channel MachinesIn FoSSaCS'08, LNCS 4962, pages 157-171. Springer, 2008. ( PDF | PS | PS.GZ | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-540-78499-9_12
BBL08
Patricia Bouyer, Ed Brinksma et Kim G. LarsenOptimal Infinite Scheduling for Multi-Priced Timed AutomataFormal Methods in System Design 32(1), pages 2-23, 2008. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/s10703-007-0043-4
BMO+08
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen et James WorrellOn Termination for Faulty Channel MachinesIn STACS'08, Leibniz International Proceedings in Informatics 1, pages 121-132. Leibniz-Zentrum für Informatik, 2008. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BHR08
Patricia Bouyer, Serge Haddad et Pierre-Alain ReynierTimed Petri Nets and Timed Automata: On the Discriminating Power of Zeno SequencesInformation and Computation 206(1), pages 73-107, 2008. ( PDF | BibTeX + Résumé )
doi: 10.1016/j.ic.2007.10.004
BL08
Patricia Bouyer et François LaroussinieModel Checking Timed AutomataIn Modeling and Verification of Real-Time Systems, pages 111-140. ISTE Ltd. - John Wiley & Sons, Ltd., 2008. ( PDF | BibTeX )

2007

BBB+07
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Marcus GrößerProbabilistic and Topological Semantics for Timed AutomataIn FSTTCS'07, LNCS 4855, pages 179-191. Springer, 2007. ( PDF | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/978-3-540-77050-3_15
BBBR07
Patricia Bouyer, Thomas Brihaye, Véronique Bruyère et Jean-François RaskinOn the optimal reachability problem on weighted timed automataFormal Methods in System Design 31(2), pages 135-175, 2007. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/s10703-007-0035-4
BM07
Patricia Bouyer et Nicolas MarkeyCosts are Expensive!  In FORMATS'07, LNCS 4763, pages 53-68. Springer, 2007. ( PDF | PS | PS.GZ | Présentation | BibTeX + Résumé )
doi: 10.1007/978-3-540-75454-1_6
BMOW07
Patricia Bouyer, Nicolas Markey, Joël Ouaknine et James WorrellThe Cost of PunctualityIn LICS'07, pages 109-118. IEEE Computer Society Press, 2007. ( PDF | PS | PS.GZ | PDF (version longue) | BibTeX + Résumé )
doi: 10.1109/LICS.2007.49
BBC07
Patricia Bouyer, Thomas Brihaye et Fabrice ChevalierWeighted O-Minimal Hybrid Systems are more Decidable than Weighted Timed Automata!  In LFCS'07, LNCS 4514, pages 69-83. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/978-3-540-72734-7_6
BLM07
Patricia Bouyer, Kim G. Larsen et Nicolas MarkeyModel-Checking One-Clock Priced Timed AutomataIn FoSSaCS'07, LNCS 4423, pages 108-122. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/978-3-540-71389-0_9

2006

BLMR06
Patricia Bouyer, Kim G. Larsen, Nicolas Markey et Jacob Illum RasmussenAlmost Optimal Strategies in One-Clock Priced Timed AutomataIn FSTTCS'06, LNCS 4337, pages 345-356. Springer, 2006. ( PDF | PS | PS.GZ | PDF (version longue) | Présentation | BibTeX + Résumé )
doi: 10.1007/11944836_32
BBBL06
Houda Bel mokadem, Béatrice Bérard, Patricia Bouyer et François LaroussinieTimed temporal logics for abstracting transient statesIn ATVA'06, LNCS 4218, pages 337-351. Springer, 2006. ( PDF | BibTeX + Résumé )
doi: 10.1007/11901914_26
BHR06a
Patricia Bouyer, Serge Haddad et Pierre-Alain ReynierTimed Unfoldings for Networks of Timed AutomataIn ATVA'06, LNCS 4218, pages 292-306. Springer, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/11901914_23
AB06
Eugène Asarin et Patricia Bouyer (eds.)Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), Paris, France, September 2006, LNCS 4202. Springer. ( Page web | BibTeX )
doi: 10.1007/11867340
BBC06a
Patricia Bouyer, Laura Bozzelli et Fabrice ChevalierController Synthesis for MTL SpecificationsIn CONCUR'06, LNCS 4137, pages 450-464. Springer, 2006. ( PDF | PS | PS.GZ | PDF (version longue) | BibTeX + Résumé )
doi: 10.1007/11817949_30
BBC06b
Patricia Bouyer, Thomas Brihaye et Fabrice ChevalierControl in o-Minimal Hybrid SystemsIn LICS'06, pages 367-378. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1109/LICS.2006.22
BHR06b
Patricia Bouyer, Serge Haddad et Pierre-Alain ReynierTimed Petri Nets and Timed Automata: On the Discriminating Power of Zeno SequencesIn ICALP'06, LNCS 4052, pages 420-431. Springer, 2006. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )
doi: 10.1007/11787006_36
BBLP06
Gerd Behrmann, Patricia Bouyer, Kim G. Larsen et Radek PelánekLower and Upper Bounds in Zone-Based Abstractions of Timed AutomataInternational Journal on Software Tools for Technology Transfer 8(3), pages 204-215, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/s10009-005-0190-0
BBM06
Patricia Bouyer, Thomas Brihaye et Nicolas MarkeyImproved Undecidability Results on Weighted Timed AutomataInformation Processing Letters 98(5), pages 188-194, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1016/j.ipl.2006.01.012
BC06
Patricia Bouyer et Fabrice ChevalierOn the Control of Timed and Hybrid SystemsEATCS Bulletin 89, pages 79-96, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BHR06c
Patricia Bouyer, Serge Haddad et Pierre-Alain ReynierExtended Timed Automata and Time Petri NetsIn ACSD'06, pages 91-100. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1109/ACSD.2006.6
BL06
Patricia Bouyer et François LaroussinieVérification par automates temporisésIn Systèmes temps-réel 1 : techniques de description et de vérification, pages 121-150. Hermès, 2006. ( Page web | PDF | PS | PS.GZ | BibTeX )
Bou06
Patricia BouyerWeighted Timed Automata: Model-Checking and GamesIn MFPS'06, ENTCS 158, pages 3-17. Elsevier Science Publishers, 2006. Invited paper. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1016/j.entcs.2006.04.002
BMR06
Patricia Bouyer, Nicolas Markey et Pierre-Alain ReynierRobust Model-Checking of Linear-Time Properties in Timed AutomataIn LATIN'06, LNCS 3887, pages 238-249. Springer, 2006. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | Présentation | BibTeX + Résumé )
doi: 10.1007/11682462_25

2005

BC05
Patricia Bouyer et Fabrice ChevalierOn Conciseness of Extensions of Timed AutomataJournal of Automata, Languages and Combinatorics 10(4), pages 393-405, 2005. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BCM05
Patricia Bouyer, Fabrice Chevalier et Nicolas MarkeyOn the Expressiveness of TPTL and MTLIn FSTTCS'05, LNCS 3821, pages 432-443. Springer, 2005. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | Présentation | BibTeX + Résumé )
doi: 10.1007/11590156_35
BLR05
Patricia Bouyer, François Laroussinie et Pierre-Alain ReynierDiagonal Constraints in Timed Automata: Forward Analysis of Timed SystemsIn FORMATS'05, LNCS 3829, pages 112-126. Springer, 2005. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )
doi: 10.1007/11603009_10
ABC+05
Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez et Guillaume GardeyIntroduction au contrôle des systèmes temps-réelIn MSR'05, pages 367-380. Hermès, 2005. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BCKT05
Patricia Bouyer, Fabrice Chevalier, Moez Krichen et Stavros TripakisObservation partielle des systèmes temporisésIn MSR'05, pages 381-393. Hermès, 2005. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BBBL05
Houda Bel mokadem, Béatrice Bérard, Patricia Bouyer et François LaroussinieA New Modality for Almost Everywhere Properties in Timed AutomataIn CONCUR'05, LNCS 3653, pages 110-124. Springer, 2005. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )
doi: 10.1007/11539452_12
BCL05
Patricia Bouyer, Franck Cassez et François LaroussinieModal Logics for Timed ControlIn CONCUR'05, LNCS 3653, pages 81-94. Springer, 2005. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )
doi: 10.1007/11539452_10
BCD05
Patricia Bouyer, Fabrice Chevalier et Deepak D'SouzaFault Diagnosis Using Timed AutomataIn FoSSaCS'05, LNCS 3441, pages 219-233. Springer, 2005. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1007/b106850
BCFL05
Patricia Bouyer, Franck Cassez, Emmanuel Fleury et Kim G. LarsenSynthesis of Optimal Strategies Using HyTechIn GDV'04, ENTCS 119(1), pages 11-31. Elsevier Science Publishers, 2005. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1016/j.entcs.2004.07.006

2004

BCFL04
Patricia Bouyer, Franck Cassez, Emmanuel Fleury et Kim G. LarsenOptimal Strategies in Priced Timed Game AutomataIn FSTTCS'04, LNCS 3328, pages 148-160. Springer, 2004. ( PDF | PS | PS.GZ | PDF (version longue) | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )
BDFP04
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et Antoine PetitUpdatable Timed AutomataTheoretical Computer Science 321(2-3), pages 291-345, 2004. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1016/j.tcs.2004.04.003
BBP04
Béatrice Bérard, Patricia Bouyer et Antoine PetitAnalysing the PGM Protocol with UppaalInternational Journal of Production Research 42(14), pages 2773-2791, 2004. ( PDF | PS | PS.GZ | BibTeX + Résumé )
Bou04
Patricia BouyerForward Analysis of Updatable Timed AutomataFormal Methods in System Design 24(3), pages 281-320, 2004. ( PDF | PS | PS.GZ | BibTeX + Résumé )
doi: 10.1023/B:FORM.0000026093.21513.31
BBLP04
Gerd Behrmann, Patricia Bouyer, Kim G. Larsen et Radek PelánekLower and Upper Bounds in Zone Based Abstractions of Timed AutomataIn TACAS'04, LNCS 2988, pages 312-326. Springer, 2004. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BBL04
Patricia Bouyer, Ed Brinksma et Kim G. LarsenStaying Alive As Cheaply As PossibleIn HSCC'04, LNCS 2993, pages 203-218. Springer, 2004. ( PDF | PS | PS.GZ | PS (version longue) | PS.GZ (version longue) | BibTeX + Résumé )

2003

BBP03
Béatrice Bérard, Patricia Bouyer et Antoine PetitUne analyse du protocole PGM avec UPPAALIn MSR'03, pages 415-430. Hermès, 2003. ( PS | PS.GZ | BibTeX + Résumé )
BDMP03
Patricia Bouyer, Deepak D'Souza, P. Madhusudan et Antoine PetitTimed Control with Partial ObservabilityIn CAV'03, LNCS 2725, pages 180-192. Springer, 2003. ( PDF | PS | PS.GZ | BibTeX + Résumé )
ABBL03
Luca Aceto, Patricia Bouyer, Augusto Burgueño et Kim G. LarsenThe Power of Reachability Testing for Timed AutomataTheoretical Computer Science 300(1-3), pages 411-475, 2003. ( PS | PS.GZ | BibTeX + Résumé )
doi: 10.1016/S0304-3975(02)00334-1
BPT03
Patricia Bouyer, Antoine Petit et Denis ThérienAn Algebraic Approach to Data Languages and Timed LanguagesInformation and Computation 182(2), pages 137-162, 2003. ( PDF | PS | PS.GZ | BibTeX + Résumé )
BBFL03
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury et Kim G. LarsenStatic Guard Analysis in Timed Automata VerificationIn TACAS'03, LNCS 2619, pages 254-277. Springer, 2003. ( PDF | PS | PS.GZ | BibTeX + Résumé )
Bou03
Patricia BouyerUntameable Timed Automata!  In STACS'03, LNCS 2607, pages 620-631. Springer, 2003. ( PDF | PS | PS.GZ | BibTeX + Résumé )

2002

BP02
Patricia Bouyer et Antoine PetitA Kleene/Büchi-like Theorem for Clock LanguagesJournal of Automata, Languages and Combinatorics 7(2), pages 167-186, 2002. ( PS | PS.GZ | BibTeX + Résumé )
Bou02a
Patricia BouyerA Logical Characterization of Data LanguagesInformation Processing Letters 84(2), pages 75-85, 2002. ( PS | PS.GZ | BibTeX )
BBP02
Béatrice Bérard, Patricia Bouyer et Antoine PetitAnalysing the PGM Protocol with UPPAALIn RT-TOOLS'02. Uppsala University, 2002. Published as Technical Report 2002-025, Department of Information Technology, Uppsala University, Sweden. ( PS | PS.GZ | BibTeX + Résumé )
Bou02b
Patricia BouyerModèles et algorithmes pour la vérification des systèmes temporisés.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, Avril 2002. ( PDF | PS | PS.GZ | BibTeX )

2001

BPT01
Patricia Bouyer, Antoine Petit et Denis ThérienAn Algebraic Characterization of Data and Timed LanguagesIn CONCUR'01, LNCS 2154, pages 248-261. Springer, 2001. ( PS | PS.GZ | BibTeX + Résumé )

2000

BDFP00a
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et Antoine PetitExpressiveness of Updatable Timed AutomataIn MFCS 2000, LNCS 1893, pages 232-242. Springer, 2000. ( PS | PS.GZ | BibTeX + Résumé )
BDFP00b
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et Antoine PetitAre Timed Automata Updatable?  In CAV 2000, LNCS 1855, pages 464-479. Springer, 2000. ( PS | PS.GZ | BibTeX + Résumé )

1999

BP99
Patricia Bouyer et Antoine PetitDecomposition and Composition of Timed AutomataIn ICALP'99, LNCS 1644, pages 210-219. Springer, 1999. ( PS | PS.GZ | BibTeX + Résumé )

1998

ABBL98
Luca Aceto, Patricia Bouyer, Augusto Burgueño et Kim G. LarsenThe Power of Reachability Testing for Timed AutomataIn FSTTCS'98, LNCS 1530, pages 245-256. Springer, 1998. ( PS | PS.GZ | BibTeX + Résumé )
Bou98
Patricia BouyerAutomates temporisés et modularité.  Rapport de DEA, DEA Algorithmique, Paris, France, Juin 1998. ( PS | PS.GZ | BibTeX )

À propos du LSV

Rechercher

Search the LSV database


highlight select


Liste des co-auteurs