dblp.uni-trier.dewww.uni-trier.de

Thomas Brihaye

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
19EEThomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey: ATLwith Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
2008
18EEPatricia 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
17EEChristel 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
16EENathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
15EEThomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg: Good Friends are Hard to Find! TIME 2008: 32-40
2007
14EEThomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby: Timed Concurrent Game Structures. CONCUR 2007: 445-459
13EEChristel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
12EEThomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin: Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
11EEPatricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS 2007: 69-83
10EEPatricia 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
9EEPatricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Control in o-minimal Hybrid Systems. LICS 2006: 367-378
8EEThomas Brihaye, Véronique Bruyère, Jean-François Raskin: On model-checking timed automata with stopwatch observers. Inf. Comput. 204(3): 408-433 (2006)
7EEPatricia Bouyer, Thomas Brihaye, Nicolas Markey: Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006)
6EEThomas Brihaye, Christian Michaux: Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]. J. Complexity 22(3): 431-434 (2006)
5EEThomas Brihaye: A note on the undecidability of the reachability problem for o-minimal dynamical systems. Math. Log. Q. 52(2): 165-170 (2006)
2005
4EEThomas Brihaye, Véronique Bruyère, Jean-François Raskin: On Optimal Timed Strategies. FORMATS 2005: 49-64
3EEThomas Brihaye, Christian Michaux: On the expressiveness and decidability of o-minimal hybrid systems. J. Complexity 21(4): 447-478 (2005)
2004
2EEThomas Brihaye, Véronique Bruyère, Jean-François Raskin: Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT 2004: 277-292
1EEThomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler: On O-Minimal Hybrid Systems. HSCC 2004: 219-233

Coauthor Index

1Christel Baier [13] [17]
2Nathalie Bertrand [13] [16] [17]
3Patricia Bouyer [7] [9] [10] [11] [13] [16] [17] [18]
4Véronique Bruyère [2] [4] [8] [10]
5Fabrice Chevalier [9] [11]
6Mohamed Ghannem [15]
7Marcus Größer [13] [17]
8Thomas A. Henzinger [12]
9Marcin Jurdzinski [18]
10François Laroussinie [14] [19]
11Ranko Lazic (R. S. Lazic) [18]
12Arnaud Da Costa Lopes [19]
13Nicolas Markey [7] [14] [15] [16] [19]
14Christian Michaux [1] [3] [6]
15Ghassan Oreiby [14]
16Vinayak S. Prabhu [12]
17Jean-François Raskin [2] [4] [8] [10] [12]
18Lionel Rieg [15]
19Cédric Rivière [1]
20Michal Rutkowski [18]
21Christophe Troestler [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)