Patricia Bouyer

Patricia Bouyer-Decitre

	2012
77		Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels: Concurrent Games with Ordered Objectives. FoSSaCS 2012: 301-315
	2011
76		Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels: Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA 2011: 135-149
75		Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane: Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91
74		Patricia Bouyer, Nicolas Markey, Ocan Sankur: Robust Model-Checking of Timed Automata via Pumping in Channel Machines. FORMATS 2011: 97-112
73		Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels: Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS 2011: 375-386
72		Ocan Sankur, Patricia Bouyer, Nicolas Markey: Shrinking Timed Automata. FSTTCS 2011: 90-102
71		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer: Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) 2011: 246-257
70		Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels: Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited CoRR abs/1102.3615: (2011)
69		Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011)
68		Patricia Bouyer, Franck Cassez, François Laroussinie: Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. Journal of Logic, Language and Information 20(2): 169-203 (2011)
	2010
67		Patricia Bouyer, Romain Brenguier, Nicolas Markey: Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR 2010: 192-206
66		Patricia Bouyer, Romain Brenguier, Nicolas Markey: Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76
65		Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: Computing Rational Radical Sums in Uniform TC^0. FSTTCS 2010: 308-316
64		Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey: Timed automata with observers under energy constraints. HSCC 2010: 61-70
63		Patricia Bouyer, Fabrice Chevalier, Nicolas Markey: On the expressiveness of TPTL and MTL. Inf. Comput. 208(2): 97-116 (2010)
62		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: O-Minimal Hybrid Reachability Games Logical Methods in Computer Science 6(1): (2010)
	2009
61		Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault: Measuring Permissivity in Finite Games. CONCUR 2009: 196-210
60		Patricia Bouyer, Vojtech Forejt: Reachability in Stochastic Timed Games. ICALP (2) 2009: 103-114
59		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
58		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Weighted o-minimal hybrid systems. Ann. Pure Appl. Logic 161(3): 268-288 (2009)
57		Patricia Bouyer: Model-checking Timed Temporal Logics. Electr. Notes Theor. Comput. Sci. 231: 323-341 (2009)
56		Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Undecidability Results for Timed Automata with Silent Transitions. Fundam. Inform. 92(1-2): 1-25 (2009)
	2008
55		Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
54		Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski: Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. FORMATS 2008: 63-77
53		Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier: Robust Analysis of Timed Automata via Channel Machines. FoSSaCS 2008: 157-171
52		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135
51		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
50		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
49		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines. STACS 2008: 121-132
48		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines CoRR abs/0802.2839: (2008)
47		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-clock Priced Timed Automata CoRR abs/0805.1457: (2008)
46		Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
45		Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. 206(1): 73-107 (2008)
44		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. Logical Methods in Computer Science 4(2): (2008)
	2007
43		Patricia Bouyer, Nicolas Markey: Costs Are Expensive! FORMATS 2007: 53-68
42		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
41		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
40		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS 2007: 69-83
39		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: The Cost of Punctuality. LICS 2007: 109-120
38		Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: On the optimal reachability problem of weighted timed automata. Formal Methods in System Design 31(2): 135-175 (2007)
	2006
37		Eugene Asarin, Patricia Bouyer: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings Springer 2006
36		Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad: Extended Timed Automata and Time Petri Nets. ACSD 2006: 91-100
35		Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Unfoldings for Networks of Timed Automata. ATVA 2006: 292-306
34		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351
33		Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier: Controller Synthesis for MTL Specifications. CONCUR 2006: 450-464
32		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen: Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
31		Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. ICALP (2) 2006: 420-431
30		Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier: Robust Model-Checking of Linear-Time Properties in Timed Automata. LATIN 2006: 238-249
29		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Control in o-minimal Hybrid Systems. LICS 2006: 367-378
28		Patricia Bouyer, Fabrice Chevalier: On the Control of Timed and Hybrid Systems. Bulletin of the EATCS 89: 79-96 (2006)
27		Patricia Bouyer: Weighted Timed Automata: Model-Checking and Games. Electr. Notes Theor. Comput. Sci. 158: 3-17 (2006)
26		Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006)
25		Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and upper bounds in zone-based abstractions of timed automata. STTT 8(3): 204-215 (2006)
	2005
24		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR 2005: 110-124
23		Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
22		Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier: Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. FORMATS 2005: 112-126
21		Patricia Bouyer, Fabrice Chevalier, Nicolas Markey: On the Expressiveness of TPTL and MTL. FSTTCS 2005: 432-443
20		Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza: Fault Diagnosis Using Timed Automata. FoSSaCS 2005: 219-233
19		Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
18		Patricia Bouyer, Fabrice Chevalier: On Conciseness of Extensions of Timed Automata. Journal of Automata, Languages and Combinatorics 10(4): 393-405 (2005)
	2004
17		Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
16		Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
15		Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS 2004: 312-326
14		Patricia Bouyer: Forward Analysis of Updatable Timed Automata. Formal Methods in System Design 24(3): 281-320 (2004)
13		Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Updatable timed automata. Theor. Comput. Sci. 321(2-3): 291-345 (2004)
	2003
12		Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192
11		Patricia Bouyer: Untameable Timed Automata! STACS 2003: 620-631
10		Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
9		Patricia Bouyer, Antoine Petit, Denis Thérien: An algebraic approach to data languages and timed languages. Inf. Comput. 182(2): 137-162 (2003)
8		Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The power of reachability testing for timed automata. Theor. Comput. Sci. 300(1-3): 411-475 (2003)
	2002
7		Patricia Bouyer: A logical characterization of data languages. Inf. Process. Lett. 84(2): 75-85 (2002)
6		Patricia Bouyer, Antoine Petit: A Kleene/Büchi-like Theorem for Clock Languages. Journal of Automata, Languages and Combinatorics 7(2): 167-186 (2002)
	2001
5		Patricia Bouyer, Antoine Petit, Denis Thérien: An Algebraic Characterization of Data and Timed Languages. CONCUR 2001: 248-261
	2000
4		Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Are Timed Automata Updatable? CAV 2000: 464-479
3		Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Expressiveness of Updatable Timed Automata. MFCS 2000: 232-242
	1999
2		Patricia Bouyer, Antoine Petit: Decomposition and Composition of Timed Automata. ICALP 1999: 210-219
	1998
1		Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256

Coauthor Index

1	Luca Aceto	[1] [8]
2	Eugene Asarin	[37]
3	Christel Baier	[42] [51] [59]
4	Gerd Behrmann	[10] [15] [25]
5	Béatrice Bérard	[24] [34]
6	Nathalie Bertrand	[42] [50] [51] [59] [71]
7	Laura Bozzelli	[33]
8	Romain Brenguier	[66] [67] [73] [77]
9	Thomas Brihaye	[26] [29] [38] [40] [42] [50] [51] [54] [58] [59] [62] [71]
10	Ed Brinksma	[16] [46]
11	Véronique Bruyère	[38]
12	Augusto Burgueño	[1] [8]
13	Franck Cassez	[17] [19] [23] [68]
14	Fabrice Chevalier	[18] [20] [21] [28] [29] [33] [40] [58] [62] [63]
15	Deepak D'Souza	[12] [20]
16	Marie Duflot	[61]
17	Catherine Dufourd	[3] [4] [13]
18	Ulrich Fahrenberg (Uli Fahrenberg)	[55] [64] [69]
19	Emmanuel Fleury	[3] [4] [10] [13] [17] [19]
20	Vojtech Forejt	[60]
21	Marcus Größer	[42] [51]
22	Serge Haddad	[31] [35] [36] [45] [56]
23	Paul Hunter	[65]
24	Marcin Jurdzinski	[54]
25	François Laroussinie	[22] [23] [24] [34] [68]
26	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [8] [10] [15] [16] [17] [19] [25] [32] [41] [44] [46] [47] [55] [64] [69] [75]
27	Ranko Lazic (R. S. Lazic)	[54]
28	P. Madhusudan (Parthasarathy Madhusudan)	[12]
29	Nicolas Markey	[21] [26] [30] [32] [39] [41] [43] [44] [47] [48] [49] [50] [52] [53] [55] [61] [63] [64] [65] [66] [67] [69] [70] [72] [73] [74] [75] [76] [77]
30	Houda Bel Mokadem	[24] [34]
31	Jörg Olschewski	[70] [76]
32	Joël Ouaknine	[39] [48] [49] [52] [65]
33	Radek Pelánek	[15] [25]
34	Antoine Petit	[2] [3] [4] [5] [6] [9] [12] [13]
35	Jean-François Raskin	[38]
36	Jacob Illum Rasmussen	[32]
37	Gabriel Renault	[61]
38	Pierre-Alain Reynier	[22] [30] [31] [35] [36] [45] [53] [56]
39	Michal Rutkowski	[54]
40	Ocan Sankur	[72] [74] [75]
41	Ph. Schnoebelen (Philippe Schnoebelen)	[48] [49]
42	Jirí Srba	[55]
43	Amélie Stainer	[71]
44	Denis Thérien	[5] [9]
45	Claus R. Thrane	[75]
46	Michael Ummels	[70] [73] [76] [77]
47	James Worrell	[39] [48] [49] [52] [65]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page