Olivier H. Roux

Identifiers

• name variant Olivier H. Roux 0.60 · backfill

Papers (3)

1. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata cs.LO · 2023 · author #3
2. Control and Synthesis of Non-Interferent Timed Systems cs.LO · 2012 · author #4
3. State Space Computation and Analysis of Time Petri Nets cs.LO · 2005 · author #2

Mentions

• 1207.4984 #4 · arxiv_oai · confidence 0.70 Olivier H. Roux
• 1207.4984 #4 · backfill · confidence 0.70 Olivier H. Roux

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