Olivier H. Roux
École Centrale de Nantes
H-index: 34
Europe-France
Top articles of Olivier H. Roux
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Spatial and temporal characteristics of laboratory-induced Anopheles coluzzii swarms: shape, structure and flight kinematics | bioRxiv | Bèwadéyir Serge Poda Antoine Cribellier Lionel Feugère Mathurin Fatou Charles Nignan | 2024 |
Multisensory integration in Anopheles mosquito swarms: The role of visual and acoustic information in mate tracking and collision avoidance | bioRxiv | Saumya Gupta Antoine Cribellier Serge B Poda Olivier Roux Florian T Muijres | 2024 |
The Challenges of Inferring Dynamic Models from Time Series | Symbolic Approaches to Modeling and Analysis of Biological Systems | Tony Ribeiro Maxime Folschette Laurent Trilling Nicolas Glade Katsumi Inoue | 2023/8/10 |
Design and verification of pipelined circuits with Timed Petri Nets | Discrete Event Dynamic Systems | Rémi Parrot Mikaël Briday Olivier H Roux | 2023/3 |
Non-interference temporisée avec observation partielle et mémoire bornée | Anthony Spriet Didier Lime Olivier-H Roux | 2023/11/22 | |
MORTEM: a new runtime for intermittent computing | Antoine Bernabeu Jean-Luc Béchennec Mikaël Briday Sébastien Faucou Olivier H Roux | 2023/7/4 | |
Proving Unreachability in Automata Networks by Mixing Static Analysis and Bounded Model Checking | Samuel Buchet Morgan Magnin Olivier Roux | 2023/2/1 | |
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata | arXiv preprint arXiv:2310.09109 | Étienne André Didier Lime Olivier H Roux | 2023/10/13 |
Correction: Behavioural analysis of swarming mosquitoes reveals high hearing sensitivity in Anopheles coluzzii | Journal of Experimental Biology | Lionel Feugère Olivier Roux Gabriella Gibson | 2023/7/1 |
Timed non-interference under partial observability and bounded memory | Anthony Spriet Didier Lime Olivier H Roux | 2023/8/29 | |
A state class based controller synthesis approach for Time Petri Nets | Loriane Leclercq Didier Lime Olivier H Roux | 2023/5/28 | |
Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches | Cybernetics and Systems | Imane Haur Jean-Luc Béchennec Olivier H Roux | 2023/8/12 |
Unraveling the 3D swarming flight behavior of Anopheles mosquitoes in laboratory-induced swarms | Serge Poda A Cribellier Lionel Feugère Olivier Gnankiné Roch K Dabiré | 2023/5/10 | |
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems | Discrete Event Dynamic Systems | Antoine Bernabeu Jean-Luc Béchennec Mikael Briday Sebastien Faucou Olivier Roux | 2023/3 |
Pomset bisimulation and unfolding for reset Petri nets | Information and Computation | Thomas Chatain Maurice Comlan David Delfieu Loïg Jezequel Olivier-Henri Roux | 2022/2/1 |
Formal verification of the inter-core synchronization of a multi-core rtos kernel | Imane Haur Jean-Luc Béchennec Olivier H Roux | 2022/10/10 | |
Local adaptation and colonization are potential factors affecting sexual competitiveness and mating choice in Anopheles coluzzii populations | Scientific Reports | Charles Nignan Bèwadéyir Serge Poda Simon Péguédwindé Sawadogo Hamidou Maïga Kounbobr Roch Dabiré | 2022/1/12 |
Les enjeux de l’inférence de modèles dynamiques à partir de séries temporelles | Approches symboliques de la modélisation et de l’analyse des systèmes biologiques | Tony Ribeiro Maxime Folschette Laurent Trilling Nicolas Glade Katsumi Inoue | 2022/7/1 |
Expressiveness and analysis of Delayable Timed Petri Net | IFAC-PapersOnLine | Rémi Parrot Hanifa Boucheneb Mikaël Briday Olivier H Roux | 2022/1/1 |
High-level Colored Time Petri Nets for true concurrency modeling in real-time software | Imane Haur Jean-Luc Béchennec Olivier H Roux | 2022/5/17 |