Travelled to:1 × Germany
1 × Hungary
1 × Italy
2 × United Kingdom
Collaborated with:O.H.Roux A.Jovanovic G.Benattar B.Bérard J.Mullins M.Sassolas C.Seidner L.Traonouez G.Gardey M.Magnin G.Behrmann A.Cougnard A.David E.Fleury K.G.Larsen
Talks about:synthesi (3) time (3) transduc (2) channel (2) romeo (2) petri (2) finit (2) net (2) stopwatch (1) parametr (1)
Person: Didier Lime
DBLP: Lime:Didier
Contributed to:
2013
201120122009
20072005Wrote 6 papers:
- TACAS-2013-JovanovicLR #automaton #integer #parametricity #synthesis
- Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
- AFL-2011-BenattarBLMRS #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 79–92.
- AFL-J-2011-BenattarBLMRS12 #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 1241–1260.
- TACAS-2009-LimeRST #model checking #named #parametricity #petri net
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
- CAV-2007-BehrmannCDFLL #exclamation #game studies #named
- UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
- CAV-2005-GardeyLMR #named #petri net
- Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.