Selected publications by Patricia Bouyer

2018

BBBC18
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Pierre CarlierWhen are Stochastic Transition Systems Tameable?  Journal of Logic and Algebraic Methods in Programming, 2018. To appear. ( Web page | PDF | BibTeX + Abstract )
doi: 10.1016/j.jlamp.2018.03.004
BFL+18
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Joël Ouaknine and James WorrellModel Checking Real-Time SystemsIn Handbook of Model Checking, pages 1001-1046. Springer, 2018. ( PDF | BibTeX + Abstract )
BBJ18
Béatrice Bérard, Patricia Bouyer and Vincent JugéFinite bisimulations for dynamical systems with overlapping trajectoriesIn CSL'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, 2018. To appear. ( BibTeX + Abstract )
BBF+18
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey and Pierre-Alain ReynierOptimal and Robust Controller Synthesis Using Energy Timed Automata with UncertaintyIn FM'18, LNCS, pages 203-221. Springer, 2018. ( PDF | BibTeX + Abstract )
Bou18
Patricia BouyerGames on graphs with a public signal monitoringIn FoSSaCS'18, LNCS, pages 530-547. Springer, 2018. ( Web page | BibTeX + Abstract )
GBM18
Patrick Gardy, Patricia Bouyer and Nicolas MarkeyDependences in Strategy LogicIn STACS'18, Leibniz International Proceedings in Informatics 96, pages 34:1-34:15. Leibniz-Zentrum für Informatik, 2018. ( Web page | PDF | BibTeX + Abstract )
doi: 10.4230/LIPIcs.STACS.2018.34

2017

BMPS17
Patricia Bouyer, Nicolas Markey, Nicolas Perrin and Philipp Schlehuber-CaissierTimed automata abstraction of switched dynamical systems using control funnelsReal-Time Systems 53(3), pages 327-353, 2017. ( PDF | BibTeX + Abstract )
doi: 10.1007/s11241-016-9262-3
Bou17
Patricia BouyerGames on graphs with a public signal monitoring.  Research Report 1710.07163, Computing Research Repository, October 2017. 28 pages. ( PDF | BibTeX )
BHJ17
Patricia Bouyer, Serge Haddad and Vincent JugéUnbounded product-form Petri netsIn CONCUR'17, Leibniz International Proceedings in Informatics 85, pages 31:1-31:16. Leibniz-Zentrum für Informatik, 2017. ( Web page | PDF | BibTeX + Abstract )
doi: 10.4230/LIPIcs.CONCUR.2017.31
BJM17
Patricia Bouyer, Samy Jaziri and Nicolas MarkeyOn the Determinization of Timed SystemsIn FORMATS'17, pages 25-41. Springer, 2017. ( Web page | BibTeX + Abstract )
doi: 10.1007/978-3-319-65765-3_2
GBB+17
Mauricio González, Olivier Beaude, Patricia Bouyer, Samson Lasaulce and Nicolas MarkeyStratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévisionIn GRETSI'17, 2017. ( PDF | BibTeX )
BLM+17
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine and James WorrellTimed temporal logicsIn Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, LNCS 10460, pages 211-230. Springer, 2017. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-319-65764-6_11
BMV17
Patricia Bouyer, Nicolas Markey and Steen VesterNash Equilibria in Symmetric Graph Games with Partial ObservationInformation and Computation 254(2), pages 238-258, 2017. ( PDF | BibTeX + Abstract )
doi: 10.1016/j.ic.2016.10.010
BHM+17
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour and Martin ZimmermannBounding Average-energy GamesIn FoSSaCS'17, LNCS, pages 179-195. Springer, 2017. ( Web page | PDF | BibTeX + Abstract )
doi: 10.1007/978-3-662-54458-7_11
BJ17
Patricia Bouyer and Vincent JugéDynamic Complexity of the Dyck ReachabilityIn FoSSaCS'17, LNCS, pages 265-280. Springer, 2017. ( Web page | PDF | BibTeX + Abstract )
doi: 10.1007/978-3-662-54458-7_16
BBBC17
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Pierre CarlierWhen are Stochastic Transition Systems Tameable?  Research Report 1703.04806, Computing Research Repository, March 2017. 63 pages. ( PDF | BibTeX )
BMJ17
Patricia Bouyer, Nicolas Markey and Vincent JugéCourcelle's Theorem Made Dynamic.  Research Report 1702.05183, Computing Research Repository, February 2017. 14 pages. ( PDF | BibTeX )

2016

BMJ16
Patricia Bouyer, Nicolas Markey and Vincent JugéDynamic Complexity of Parity Games with Bounded Tree-Width.  Research Report 1610.00571, Computing Research Repository, October 2016. 33 pages. ( PDF | BibTeX )
BMS16
Patricia Bouyer, Nicolas Markey and 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 + Abstract )
doi: 10.4204/EPTCS.226.5
ABK+16
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa and 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 + Abstract )
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 + Abstract )
doi: 10.4230/LIPIcs.MFCS.2016.3
BBBC16
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and 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 + Abstract )
doi: 10.4230/LIPIcs.ICALP.2016.101
BCM16
Patricia Bouyer, Maximilien Colange and Nicolas MarkeySymbolic Optimal Reachability in Weighted Timed AutomataIn CAV'16, LNCS 9779, pages 513-530. Springer, 2016. ( Web page | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-319-41528-4_28
BMR+16a
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen and Simon LaursenAverage-energy gamesActa Informatica, 2016. ( PDF | BibTeX + Abstract )
doi: 10.1007/s00236-016-0274-1
BMR+16b
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier and 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. ( Web page | PDF (long version) | BibTeX + Abstract )
doi: 10.4230/LIPIcs.ICALP.2016.106
BBCM16
Patricia Bouyer, Thomas Brihaye, Pierre Carlier and Quentin MenetCompositional Design of Stochastic Timed AutomataIn CSR'16, LNCS 9691, pages 117-130. Springer, 2016. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-319-34171-2_9
BGM16
Patricia Bouyer, Patrick Gardy and Nicolas MarkeyOn the semantics of Strategy LogicInformation Processing Letters 116(2), pages 75-79, 2016. ( PDF | BibTeX + Abstract )
doi: 10.1016/j.ipl.2015.10.004

2015

BGM15
Patricia Bouyer, Patrick Gardy and 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 (long version) | BibTeX + Abstract )
doi: 10.4230/LIPIcs.FSTTCS.2015.69
BFM15
Patricia Bouyer, Erwin Fang and 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 + Abstract )
doi: 10.14279/tuj.eceasst.72.1015
BJM15
Patricia Bouyer, Samy Jaziri and 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 (long version) | BibTeX + Abstract )
doi: 10.4230/LIPIcs.CONCUR.2015.311
BMPS15
Patricia Bouyer, Nicolas Markey, Nicolas Perrin and Philipp SchlehuberTimed automata abstraction of switched dynamical systems using control funnelsIn FORMATS'15, LNCS 9268, pages 60-75. Springer, 2015. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-319-22975-1_5
BMR+15
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen and Simon LaursenAverage-energy gamesIn GandALF'15, Electronic Proceedings in Theoretical Computer Science 193, pages 1-15. 2015. ( PDF | BibTeX + Abstract )
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 + Abstract )
BBMU15
Patricia Bouyer, Romain Brenguier, Nicolas Markey and Michael UmmelsPure Nash Equilibria in Concurrent GamesLogical Methods in Computer Science 11(2:9), 2015. ( PDF | BibTeX + Abstract )
doi: 10.2168/LMCS-11(2:9)2015
BMS15
Patricia Bouyer, Nicolas Markey and Ocan SankurRobust Reachability in Timed Automata and Games: A Game-based ApproachTheoretical Computer Science 563, pages 43-74, 2015. ( PDF | BibTeX + Abstract )
doi: 10.1016/j.tcs.2014.08.014

2014

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

2013

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

2012

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

2011

BBMU11
Patricia Bouyer, Romain Brenguier, Nicolas Markey and 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 (long version) | BibTeX + Abstract )
doi: 10.4230/LIPIcs.FSTTCS.2011.375
SBM11
Ocan Sankur, Patricia Bouyer and Nicolas MarkeyShrinking Timed AutomataIn FSTTCS'11, Leibniz International Proceedings in Informatics 13, pages 90-102. Leibniz-Zentrum für Informatik, 2011. ( PDF | BibTeX + Abstract )
doi: 10.4230/LIPIcs.FSTTCS.2011.90
BMOU11
Patricia Bouyer, Nicolas Markey, Jörg Olschewski and Michael UmmelsMeasuring Permissiveness in Parity Games: Mean-Payoff Parity Games RevisitedIn ATVA'11, LNCS 6996, pages 135-149. Springer, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-24372-1_11
BFLM11
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen and Nicolas MarkeyQuantitative analysis of real-time systems using priced timed automataCommunications of the ACM 54(9), pages 78-87, 2011. ( PDF | BibTeX + Abstract )
doi: 10.1145/1995376.1995396
BLM+11
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur and Claus ThraneTimed automata can always be made implementableIn CONCUR'11, LNCS 6901, pages 76-91. Springer, 2011. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-642-23217-6_6
BMS11
Patricia Bouyer, Nicolas Markey and Ocan SankurRobust Model-Checking of Timed Automata via Pumping in Channel MachinesIn FORMATS'11, LNCS 6919, pages 97-112. Springer, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-24310-3_8
BBBS11
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Amélie StainerEmptiness and Universality Problems in Timed Automata with Positive FrequencyIn ICALP'11, LNCS 6756, pages 246-257. Springer, 2011. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-642-22012-8_19
BCL11
Patricia Bouyer, Franck Cassez and 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 + Abstract )
doi: 10.1007/s10849-010-9127-4

2010

HBM+10
Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine and 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 + Abstract )
doi: 10.4230/LIPIcs.FSTTCS.2010.308
BBM10a
Patricia Bouyer, Romain Brenguier and Nicolas MarkeyComputing Equilibria in Two-Player Timed Games via Turn-Based Finite GamesIn FORMATS'10, LNCS 6246, pages 62-76. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-15297-9_7
BBM10b
Patricia Bouyer, Romain Brenguier and Nicolas MarkeyNash Equilibria for Reachability Objectives in Multi-player Timed GamesIn CONCUR'10, LNCS 6269, pages 192-206. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-15375-4_14
BFLM10
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen and Nicolas MarkeyTimed Automata with Observers under Energy ConstraintsIn HSCC'10, pages 61-70. ACM Press, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1145/1755952.1755963
BCM10
Patricia Bouyer, Fabrice Chevalier and Nicolas MarkeyOn the Expressiveness of TPTL and MTLInformation and Computation 208(2), pages 97-116, 2010. ( PDF | BibTeX + Abstract )
doi: 10.1016/j.ic.2009.10.004
BBC10
Patricia Bouyer, Thomas Brihaye and Fabrice ChevalierO-Minimal Hybrid Reachability GamesLogical Methods in Computer Science 6(1:1), 2010. ( PDF | BibTeX + Abstract )
doi: 10.2168/LMCS-6(1:1)2010

2009

BHR09
Patricia Bouyer, Serge Haddad and Pierre-Alain ReynierUndecidability Results for Timed Automata with Silent TransitionsFundamenta Informaticae 92(1-2), pages 1-25, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )
BBC09
Patricia Bouyer, Thomas Brihaye and Fabrice ChevalierWeighted O-Minimal Hybrid SystemsAnnals of Pure and Applied Logics 161(3), pages 268-288, 2009. ( PDF | BibTeX + Abstract )
doi: 10.1016/j.apal.2009.07.014
BDMR09
Patricia Bouyer, Marie Duflot, Nicolas Markey and Gabriel RenaultMeasuring Permissivity in Finite GamesIn CONCUR'09, LNCS 5710, pages 196-210. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-04081-8_14
BBBB09
Christel Baier, Nathalie Bertrand, Patricia Bouyer and Thomas BrihayeWhen are Timed Automata Determinizable?  In ICALP'09, LNCS 5556, pages 43-54. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-642-02930-1_4
BF09
Patricia Bouyer and Vojtěch ForejtReachability in Stochastic Timed GamesIn ICALP'09, LNCS 5556, pages 103-114. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
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 + Abstract )
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, January 2009. ( PDF | BibTeX )
BP09
Patricia Bouyer and Antoine PetitOn extensions of timed automataIn Perspectives in Concurrency Theory, IARCS-Universities, pages 35-63. Universities Press, 2009. ( BibTeX + Abstract )

2008

BBBM08
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Nicolas MarkeyQuantitative Model-Checking of One-Clock Timed Automata under Probabilistic SemanticsIn QEST'08, pages 55-64. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract )
doi: 10.1109/QEST.2008.19
BBJ+08
Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński, Ranko Lazić and Michał RutkowskiAverage-Price and Reachability-Price Games on Hybrid Automata with Strong ResetsIn FORMATS'08, LNCS 5215, pages 63-77. Springer, 2008. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-540-85778-5_6
BFL+08
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey and Jiří SrbaInfinite Runs in Weighted Timed Automata with Energy ConstraintsIn FORMATS'08, LNCS 5215, pages 33-47. Springer, 2008. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-540-85778-5_4
BMOW08
Patricia Bouyer, Nicolas Markey, Joël Ouaknine and James WorrellOn Expressiveness and Complexity in Real-time Model CheckingIn ICALP'08, LNCS 5126, pages 124-135. Springer, 2008. ( PDF | BibTeX + Abstract )
doi: 10.1007/978-3-540-70583-3_11
BBB+08
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and 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 (long version) | BibTeX + Abstract )
doi: 10.1109/LICS.2008.25
BLM08
Patricia Bouyer, Kim G. Larsen and Nicolas MarkeyModel Checking One-clock Priced Timed AutomataLogical Methods in Computer Science 4(2:9), 2008. ( PDF | BibTeX + Abstract )
doi: 10.2168/LMCS-4(2:9)2008
BMR08
Patricia Bouyer, Nicolas Markey and Pierre-Alain ReynierRobust Analysis of Timed Automata via Channel MachinesIn FoSSaCS'08, LNCS 4962, pages 157-171. Springer, 2008. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-540-78499-9_12
BBL08
Patricia Bouyer, Ed Brinksma and 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 + Abstract )
doi: 10.1007/s10703-007-0043-4
BMO+08
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen and 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 + Abstract )
BHR08
Patricia Bouyer, Serge Haddad and 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 + Abstract )
doi: 10.1016/j.ic.2007.10.004
BL08
Patricia Bouyer and 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 and Marcus GrößerProbabilistic and Topological Semantics for Timed AutomataIn FSTTCS'07, LNCS 4855, pages 179-191. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/978-3-540-77050-3_15
BBBR07
Patricia Bouyer, Thomas Brihaye, Véronique Bruyère and 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 + Abstract )
doi: 10.1007/s10703-007-0035-4
BM07
Patricia Bouyer and Nicolas MarkeyCosts are Expensive!  In FORMATS'07, LNCS 4763, pages 53-68. Springer, 2007. ( PDF | PS | PS.GZ | Slides | BibTeX + Abstract )
doi: 10.1007/978-3-540-75454-1_6
BMOW07
Patricia Bouyer, Nicolas Markey, Joël Ouaknine and James WorrellThe Cost of PunctualityIn LICS'07, pages 109-118. IEEE Computer Society Press, 2007. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
doi: 10.1109/LICS.2007.49
BBC07
Patricia Bouyer, Thomas Brihaye and 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 + Abstract )
doi: 10.1007/978-3-540-72734-7_6
BLM07
Patricia Bouyer, Kim G. Larsen and Nicolas MarkeyModel-Checking One-Clock Priced Timed AutomataIn FoSSaCS'07, LNCS 4423, pages 108-122. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1007/978-3-540-71389-0_9

2006

BLMR06
Patricia Bouyer, Kim G. Larsen, Nicolas Markey and 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 (long version) | Slides | BibTeX + Abstract )
doi: 10.1007/11944836_32
BBBL06
Houda Bel mokadem, Béatrice Bérard, Patricia Bouyer and François LaroussinieTimed temporal logics for abstracting transient statesIn ATVA'06, LNCS 4218, pages 337-351. Springer, 2006. ( PDF | BibTeX + Abstract )
doi: 10.1007/11901914_26
BHR06a
Patricia Bouyer, Serge Haddad and Pierre-Alain ReynierTimed Unfoldings for Networks of Timed AutomataIn ATVA'06, LNCS 4218, pages 292-306. Springer, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1007/11901914_23
AB06
Eugène Asarin and 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. ( Web page | BibTeX )
doi: 10.1007/11867340
BBC06a
Patricia Bouyer, Laura Bozzelli and Fabrice ChevalierController Synthesis for MTL SpecificationsIn CONCUR'06, LNCS 4137, pages 450-464. Springer, 2006. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
doi: 10.1007/11817949_30
BBC06b
Patricia Bouyer, Thomas Brihaye and Fabrice ChevalierControl in o-Minimal Hybrid SystemsIn LICS'06, pages 367-378. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1109/LICS.2006.22
BHR06b
Patricia Bouyer, Serge Haddad and 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 (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
doi: 10.1007/11787006_36
BBLP06
Gerd Behrmann, Patricia Bouyer, Kim G. Larsen and 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 + Abstract )
doi: 10.1007/s10009-005-0190-0
BBM06
Patricia Bouyer, Thomas Brihaye and Nicolas MarkeyImproved Undecidability Results on Weighted Timed AutomataInformation Processing Letters 98(5), pages 188-194, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1016/j.ipl.2006.01.012
BC06
Patricia Bouyer and Fabrice ChevalierOn the Control of Timed and Hybrid SystemsEATCS Bulletin 89, pages 79-96, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
BHR06c
Patricia Bouyer, Serge Haddad and Pierre-Alain ReynierExtended Timed Automata and Time Petri NetsIn ACSD'06, pages 91-100. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1109/ACSD.2006.6
BL06
Patricia Bouyer and 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. ( Web page | 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 + Abstract )
doi: 10.1016/j.entcs.2006.04.002
BMR06
Patricia Bouyer, Nicolas Markey and 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 (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )
doi: 10.1007/11682462_25

2005

BC05
Patricia Bouyer and Fabrice ChevalierOn Conciseness of Extensions of Timed AutomataJournal of Automata, Languages and Combinatorics 10(4), pages 393-405, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
BCM05
Patricia Bouyer, Fabrice Chevalier and Nicolas MarkeyOn the Expressiveness of TPTL and MTLIn FSTTCS'05, LNCS 3821, pages 432-443. Springer, 2005. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )
doi: 10.1007/11590156_35
BLR05
Patricia Bouyer, François Laroussinie and 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 (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
doi: 10.1007/11603009_10
ABC+05
Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez and Guillaume GardeyIntroduction au contrôle des systèmes temps-réelIn MSR'05, pages 367-380. Hermès, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
BCKT05
Patricia Bouyer, Fabrice Chevalier, Moez Krichen and Stavros TripakisObservation partielle des systèmes temporisésIn MSR'05, pages 381-393. Hermès, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
BBBL05
Houda Bel mokadem, Béatrice Bérard, Patricia Bouyer and 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 (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
doi: 10.1007/11539452_12
BCL05
Patricia Bouyer, Franck Cassez and François LaroussinieModal Logics for Timed ControlIn CONCUR'05, LNCS 3653, pages 81-94. Springer, 2005. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
doi: 10.1007/11539452_10
BCD05
Patricia Bouyer, Fabrice Chevalier and Deepak D'SouzaFault Diagnosis Using Timed AutomataIn FoSSaCS'05, LNCS 3441, pages 219-233. Springer, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
doi: 10.1007/b106850
BCFL05
Patricia Bouyer, Franck Cassez, Emmanuel Fleury and 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 + Abstract )
doi: 10.1016/j.entcs.2004.07.006

2004

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

2003

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

2002

BP02
Patricia Bouyer and 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 + Abstract )
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 and 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 + Abstract )
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, April 2002. ( PDF | PS | PS.GZ | BibTeX )

2001

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

2000

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

1999

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

1998

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

About LSV

Search this list

Search the LSV database


highlight select


List of coauthors