Olivier Roux

École Centrale de Nantes — France

Computer Science · Physical Sciences

29h-index3.0kcitations282works0.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(155), Petri Nets in System Modeling(115), Real-Time Systems Scheduling(55), Model-Driven Software Engineering Techniques(40), Business Process Modeling and Analysis(36)

Publications280 total

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
2025Open Access
Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs
Lecture notes in computer science·2025Open Access
La prématurité, un accident de vie pour toute la famille
Contraste·2024
Weakly strong semantics of Time Petri Nets for performance evaluations
IFAC-PapersOnLine·2024· 1 citedOpen Access
On Parametric DBMs and Their Applications to Time Petri Nets
Lecture notes in computer science·2024Open Access
Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches
Cybernetics & Systems·2023· 1 citedOpen Access
MORTEM: a new runtime for intermittent computing
SPIRE - Sciences Po Institutional REpository·2023
Formal verification process of the compliance of a multicore AUTOSAR OS
Software Quality Journal·2023· 1 citedOpen Access
Proving Unreachability in Automata Networks by Mixing Static Analysis and Bounded Model Checking
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
A State Class Based Controller Synthesis Approach for Time Petri Nets
Lecture notes in computer science·2023· 1 citedOpen Access
Unraveling the 3D swarming flight behavior of Anopheles mosquitoes in laboratory-induced swarms
SPIRE - Sciences Po Institutional REpository·2023Open Access
Timed Non-interference Under Partial Observability and Bounded Memory
Lecture notes in computer science·2023· 1 citedOpen Access
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
Discrete Event Dynamic Systems·2022· 1 citedOpen Access
Design and verification of pipelined circuits with Timed Petri Nets
Discrete Event Dynamic Systems·2022· 1 citedOpen Access
EPICeA : A comprehensive radiobiological assay using dynamic single cells phenotypic tracking under videomicroscopy
Research Square (Research Square)·2022· 2 citedOpen Access
High-level Colored Time Petri Nets for true concurrency modeling in real-time software
2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)·2022· 4 cited
Reachability and liveness in parametric timed automata
Logical Methods in Computer Science·2022· 1 citedOpen Access
Cost Problems for Parametric Time Petri Nets*
Fundamenta Informaticae·2022· 4 citedOpen Access
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel
Lecture notes in computer science·2022· 4 cited
Expressiveness and analysis of Delayable Timed Petri Net*
IFAC-PapersOnLine·2022Open Access
page 1 of 14Next →

Frequent Co-authors

Didier Lime(20), Franck Cassez(9), Guillaume Gardey(5), Morgan Magnin(5), Béatrice Bérard(4), Serge Haddad(4), Jamil Ahmad(3), Gilles Bernot(3), Jean‐Paul Comet(3), El‐Ghazali Talbi(2), Cyril Fonlupt(2), Denis Robillard(2), Charlotte Seidner(2), Louis‐Marie Traonouez(2), Hanifa Boucheneb(2), David Duvivier(2), Anne‐Marie Déplanche(2), Marc Boyer(2), Loïc Paulevé(2), Bertrand Miannay(2)