Olivier H. Roux
Identifiers
- name variant Olivier H. Roux 0.60 · backfill
Papers (3)
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata cs.LO · 2023 · author #3
- Control and Synthesis of Non-Interferent Timed Systems cs.LO · 2012 · author #4
- State Space Computation and Analysis of Time Petri Nets cs.LO · 2005 · author #2
Mentions
Frequent Coauthors
- Didier Lime 2 shared papers
- \'Etienne Andr\'e 1 shared papers
- Franck Cassez 1 shared papers
- Gilles Benattar 1 shared papers
- Guillaume Gardey 1 shared papers
- Olivier F. Roux 1 shared papers