Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

An MTIDD Based Firewall Using Decision Diagrams for Packet Filtering

 Mikkel Christiansen , Emmanuel Fleury
Telecommunication Systems, 2004, 27 (2-4), pp.297-319. ⟨10.1023/B:TELS.0000041013.23205.0f⟩
Article dans une revue istex hal-00350221v1
Image document

UPPAAL-Tiga: Time for Playing Games!

 Gerd Behrmann , Agnès Cougnard , Alexandre David , Emmanuel Fleury , Kim Guldstrand Larsen , et al.
19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. pp.121-125, ⟨10.1007/978-3-540-73368-3_14⟩
Communication dans un congrès hal-00350466v1
Image document

Expressiveness of Updatable Timed Automata

 Patricia Bouyer , Catherine Dufourd , Emmanuel Fleury , Antoine Petit
25th International Symposium of Mathematical Foundation of Computer Science (MFCS'2000), 2000, Bratislava, Slovakia. pp.232-242, ⟨10.1007/3-540-44612-5_19⟩
Communication dans un congrès hal-00350490v1
Image document

Self-stabilization in self-organized Multihop Wireless Networks

 N. Mitton , Emmanuel Fleury , Isabelle Guérin-Lassous , S. Tixeuil
[Research Report] RR-5426, INRIA. 2004
Rapport inria-00071246v1
Image document

Synthesis of Optimal Strategies Using HyTech

 Patricia Bouyer , Franck Cassez , Emmanuel Fleury , Kim Guldstrand Larsen
Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. pp.11-31, ⟨10.1016/j.entcs.2004.07.006⟩
Communication dans un congrès hal-00350478v1
Image document

Accelerating Interpolation-Based Model-Checking

 Nicolas Caniart , Emmanuel Fleury , Jérôme Leroux , Marc Zeitoun
14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), 2008, Budapest, Hungary. pp.428-442, ⟨10.1007/978-3-540-78800-3_32⟩
Communication dans un congrès hal-00350416v1
Image document

UPPAAL-Tiga: Timed Games for Everyone

 Gerd Behrmann , Agnès Cougnard , Alexandre David , Emmanuel Fleury , Kim Guldstrand Larsen , et al.
Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland
Communication dans un congrès hal-00350470v1
Image document

Efficient On-the-fly Algorithms for the Analysis of Timed Games

 Franck Cassez , Alexandre David , Emmanuel Fleury , Kim Guldstrand Larsen , Didier Lime
16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. pp.66-80, ⟨10.1007/11539452⟩
Communication dans un congrès hal-00350475v1
Image document

An Interval Decision Diagram Based Firewall

 Mikkel Christiansen , Emmanuel Fleury
3rd IEEE International Conference on Networking (ICN '04), 2004, Point-à-Pitre, Guadeloupe
Communication dans un congrès hal-00353641v1
Image document

Updatable Timed Automata

 Patricia Bouyer , Catherine Dufourd , Emmanuel Fleury , Antoine Petit
Theoretical Computer Science, 2004, 321 (2-3), pp.291-345. ⟨10.1016/j.tcs.2004.04.003⟩
Article dans une revue hal-00350196v1
Image document

Static Guards Analysis in Timed Automata Verification

 Gerd Behrmann , Patricia Bouyer , Emmanuel Fleury , Kim Guldstrand Larsen
9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 2003, Varsovie, Poland. pp.254-270, ⟨10.1007/3-540-36577-X_18⟩
Communication dans un congrès hal-00350486v1
Image document

Optimal Strategies in Priced Timed Game Automata

 Patricia Bouyer , Franck Cassez , Emmanuel Fleury , Kim Guldstrand Larsen
24th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, Chennai, India. pp.148-160, ⟨10.1007/b104325_13⟩
Communication dans un congrès hal-00350483v1
Image document

Are Timed Automata Updatable ?

 Patricia Bouyer , Catherine Dufourd , Emmanuel Fleury , Antoine Petit
12th International Conference on Computer Aided Verification (CAV'2000), 2000, Chicago, United States. pp.464-479, ⟨10.1007/10722167_35⟩
Communication dans un congrès hal-00350488v1
Image document

Les automates temporisés avec mises à jour

 Emmanuel Fleury
Mathématiques [math]. École normale supérieure de Cachan - ENS Cachan, 2002. Français. ⟨NNT : ⟩
Thèse tel-00350492v1
Page :