Olivier F. Roux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1996–2018
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ILP | Learning Dynamics with Synchronous, Asynchronous and General Semantics. | Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue |
| 2017 | ILP | Inductive Learning from State Transitions over Continuous Domains. | Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue |
| 2006 | ICCS | Delays in Biological Regulatory Networks (BRN). | Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux |
| 2002 | LATIN | Verification of Embedded Reactive Fiffo Systems. | Frdric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grgoire Sutre |
| 1999 | ECRTS | Splitting reachability analysis in hybrid automata. | Patrice Boisieau, Olivier F. Roux |
| 1996 | ECRTS | Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. | Martin Richard, Olivier F. Roux |
| 1996 | SAS | Uniformity for the Decidability of Hybrid Automata. | Olivier F. Roux, Vlad Rusu |