Travelled to:1 × Germany
1 × Hungary
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:P.Bouyer G.Behrmann K.G.Larsen O.Ly G.Point A.Vincent N.Caniart J.Leroux M.Zeitoun C.Dufourd A.Petit A.Cougnard A.David D.Lime
Talks about:time (3) automata (2) analysi (2) framework (1) interpol (1) insight (1) acceler (1) uppaal (1) static (1) binari (1)
Person: Emmanuel Fleury
DBLP: Fleury:Emmanuel
Contributed to:
20152008
200720032000Wrote 5 papers:
- TACAS-2015-FleuryLPV #analysis #framework #named
- Insight: An Open Binary Analysis Framework (EF, OL, GP, AV), pp. 218–224.
- TACAS-2008-CaniartFLZ #model checking
- Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.
- CAV-2007-BehrmannCDFLL #exclamation #game studies #named
- UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
- TACAS-2003-BehrmannBFL #analysis #automaton #verification
- Static Guard Analysis in Timed Automata Verification (GB, PB, EF, KGL), pp. 254–277.
- CAV-2000-BouyerDFP #automaton #question
- Are Timed Automata Updatable? (PB, CD, EF, AP), pp. 464–479.