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

Emmanuel Fleury

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

2008
10EENicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442
2007
9EEGerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
2005
8EEFranck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
7EEPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
2004
6EEPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
5EEMikkel Christiansen, Emmanuel Fleury: An MTIDD Based Firewall. Telecommunication Systems 27(2-4): 297-319 (2004)
4EEPatricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Updatable timed automata. Theor. Comput. Sci. 321(2-3): 291-345 (2004)
2003
3EEGerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
2000
2 Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Are Timed Automata Updatable? CAV 2000: 464-479
1EEPatricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Expressiveness of Updatable Timed Automata. MFCS 2000: 232-242

Coauthor Index

1Gerd Behrmann [3] [9]
2Patricia Bouyer [1] [2] [3] [4] [6] [7]
3Nicolas Caniart [10]
4Franck Cassez [6] [7] [8]
5Mikkel Christiansen [5]
6Agnès Cougnard [9]
7Alexandre David [8] [9]
8Catherine Dufourd [1] [2] [4]
9Kim Guldstrand Larsen [3] [6] [7] [8] [9]
10Jérôme Leroux [10]
11Didier Lime [8] [9]
12Antoine Petit [1] [2] [4]
13Marc Zeitoun [10]

Colors in the list of coauthors

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