Travelled to:1 × Hungary
1 × Italy
1 × Poland
2 × United Kingdom
Collaborated with:D.Lime C.Seidner A.Jovanovic G.Benattar B.Bérard J.Mullins M.Sassolas L.Traonouez G.Gardey M.Magnin C.Lelionnais M.Brun J.Delatour
Talks about:synthesi (3) time (3) transduc (2) channel (2) romeo (2) petri (2) model (2) finit (2) net (2) stopwatch (1)
Person: Olivier H. Roux
DBLP: Roux:Olivier_H=
Contributed to:
2013
2012
201120122009
2005Wrote 6 papers:
- TACAS-2013-JovanovicLR #automaton #integer #parametricity #synthesis
- Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
- ICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #operating system #realtime
- Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
- 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-2005-GardeyLMR #named #petri net
- Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.