Concepedia

Olivier Roux

OR

45

Publications

1.7K

Citations

23

H-Index

1992

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Centrale de Nantes

Nantes Université

Laboratoire des Sciences du Numérique de Nantes

University of Mons

Olivier Roux is an author at Centre National de la Recherche Scientifique specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationProcess ControlComputer EngineeringVerificationReal-time SystemsAutomated Reasoning

Publications per year

1992–2021

45

Publications

45

Parallel Ant Colonies for the quadratic assignment problem

El‐Ghazali Talbi, Olivier Roux, Cyril Fonlupt et al. · Future Generation Computer Systems · 2001 · 212 citations

Mathematical Programming, Engineering, Combinatorial Problem +7

Structural translation from Time Petri Nets to Timed Automata

Franck Cassez, Olivier Roux · Journal of Systems and Software · 2006 · 108 citations

Petri Net, Engineering, Automated Reasoning +6

Exact and heuristic methods for the selective maintenance problem

Thibaut Lust, Olivier Roux, Fouad Riane · European Journal of Operational Research · 2008 · 95 citations

Software Maintenance, Reliability Engineering, Engineering +10

Integer Parameter Synthesis for Real-Time Systems

Aleksandra Jovanović, Didier Lime, Olivier Roux · IEEE Transactions on Software Engineering · 2014 · 78 citations · Full text

Engineering, Reachability Problem, Integer Parameter Synthesis +19

TCTL Model Checking of Time Petri Nets

Hanifa Boucheneb, Guillaume Gardey, Olivier Roux · Journal of Logic and Computation · 2009 · 78 citations · Full text

Rows per page

1–5 of 45