Olivier H. Roux

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013)

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux: Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415

Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas: Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23(6): 1241-1260 (2012)

Loïc Paulevé, Morgan Magnin, Olivier Roux: Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Mathematical Structures in Computer Science 22(4): 651-685 (2012)

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux: Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186

Didier Lime, Olivier H. Roux, Claude Jard: Clock Transition Systems. CS&P 2012: 227-238

S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux: Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner: Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) 2012: 407-414

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012)

Claude Martinez, Olivier H. Roux: Special issue on Modeling of Reactive Systems. Discrete Event Dynamic Systems 21(3): 305-306 (2011)

Loïc Paulevé, Morgan Magnin, Olivier Roux: Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 272: 43-56 (2011)

Loïc Paulevé, Morgan Magnin, Olivier Roux: Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. T. Comp. Sys. Biology 13: 171-191 (2011)

Loïc Paulevé, Morgan Magnin, Olivier Roux: Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37(6): 858-871 (2011)

Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas: Channel Synthesis for Finite Transducers. AFL 2011: 79-92

Jamil Ahmad, Olivier Roux: Invariance kernel of Biological Regulatory Networks. IJDMB 4(5): 553-570 (2010)

Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux: Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305

Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux: Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151

Jamil Ahmad, Jérémie Bourdon, Damien Eveillard, Jonathan Fromentin, Olivier Roux, Christine Sinoquet: Temporal constraints of a gene regulatory network: Refining a qualitative simulation. Biosystems 98(3): 149-159 (2009)

Thibaut Lust, Olivier Roux, Fouad Riane: Exact and heuristic methods for the selective maintenance problem. European Journal of Operational Research 197(3): 1166-1177 (2009)

Morgan Magnin, Pierre Molinaro, Olivier H. Roux: Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Inform. 97(1-2): 111-138 (2009)

Morgan Magnin, Pierre Molinaro, Olivier H. Roux: Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Inform. 97(1-2): 139-176 (2009)

David Duvivier, Olivier Roux, Arnauld Hanset: Comparison of different tabu search operators on a highly constrained industrial problem. IJAOM 1(4): 363-379 (2009)

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux: Parametric Model-Checking of Stopwatch Petri Nets. J. UCS 15(17): 3273-3304 (2009)

Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux: TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009)

Didier Lime, Olivier H. Roux: Formal verification of real-time systems with preemptive scheduling. Real-Time Systems 41(2): 118-151 (2009)

Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux: Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147

Mylène Maurin, Morgan Magnin, Olivier H. Roux: Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57

Marc Boyer, Olivier H. Roux: On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Inform. 88(3): 225-249 (2008)

Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard: Analysing formal models of genetic regulatory networks with delays. IJBRA 4(3): 240-262 (2008)

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008)

Charlotte Seidner, Olivier H. Roux: Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Industrial Informatics 4(4): 280-291 (2008)

Morgan Magnin, Didier Lime, Olivier H. Roux: Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326

Jamil Ahmad, Olivier Roux: Invariance Kernel of Biological Regulatory Networks. BIBM 2008: 135-140

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux: Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294

Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux: A Study of the AADL Mode Change Protocol. ICECCS 2008: 288-293

David Duvivier, Olivier Roux, V. Dhaevers, Nadine Meskens, Abdelhakim Artiba: Multicriteria optimisation and simulation: an industrial application. Annals OR 156(1): 45-60 (2007)

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat: Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems 17(2): 133-158 (2007)

Guillaume Gardey, John Mullins, Olivier H. Roux: Non-Interference Control Synthesis for Security Timed Automata. Electr. Notes Theor. Comput. Sci. 180(1): 35-53 (2007)

Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux: Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 180(3): 3-14 (2007)

Marc Boyer, Olivier H. Roux: Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82

Didier Lime, Olivier H. Roux: Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discrete Event Dynamic Systems 16(2): 179-205 (2006)

Morgan Magnin, Didier Lime, Olivier H. Roux: An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electr. Notes Theor. Comput. Sci. 144(3): 59-77 (2006)

Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State space computation and analysis of Time Petri Nets. TPLP 6(3): 301-320 (2006)

Didier Lime, Olivier H. Roux: Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Technique et Science Informatiques 25(3): 343-370 (2006)

Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005: 211-225

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS 2005: 273-284

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State Space Computation and Analysis of Time Petri Nets. CoRR abs/cs/0505023 (2005)

Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)

Armelle Prigent, Olivier Roux: Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3(2): 193-253 (2004)

Olivier H. Roux, Didier Lime: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390

Didier Lime, Olivier H. Roux: A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS 2003: 246-259

Michaël Adélaïde, Olivier Roux: A Class of Decidable Parametric Hybrid Systems. AMAST 2002: 132-146

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414

Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94

El-Ghazali Talbi, Olivier H. Roux, Cyril Fonlupt, D. Robillard: Parallel Ant Colonies for the quadratic assignment problem. Future Generation Comp. Syst. 17(4): 441-449 (2001)

Frédéric Herbreteau, Franck Cassez, Olivier Roux: Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-Time Systems 20(3): 287-316 (2001)

Olivier H. Roux, David Delfieu, Pierre Molinaro: Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) 2001: 197-204

Michaël Adélaïde, Olivier Roux: Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263

Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)

Olivier Roux, Cyril Fonlupt, Denis Robilliard: Co-operative Improvement for a Combinatorial Optimization Algorithm. Artificial Evolution 1999: 231-241

Patrice Boisieau, Olivier Roux: Splitting reachability analysis in hybrid automata. ECRTS 1999: 98-105

El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Denis Robilliard: Parallel Ant Colonies for Combinatorial Optimization Problems. IPPS/SPDP Workshops 1999: 239-247

Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123

Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80

Olivier Roux, Vlad Rusu: Uniformity for the Decidability of Hybrid Automata. SAS 1996: 301-316

Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)

Olivier Roux, Vlad Rusu: Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416

Jean Bézivin, Olivier Roux, Jean-Claude Royer: Teaching object-oriented programming or using the object model to teach software engineering. OOPS Messenger 4(2): 269-276 (1993)

Jean Perraud, Olivier Roux, Marc Huou: Operational Semantics of a Kernel of the Language ELECTRE. Theor. Comput. Sci. 97(1): 83-103 (1992)

Martin Richard, Olivier Roux: An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT 1992: 429-450

Olivier Roux: Another proposal for a concurrency control level in concurrent object-oriented languages. OOPS Messenger 2(2): 104-108 (1991)

Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales: Execution Environment for ELECTRE Applications. ESEC 1991: 147-165

J. P. Elloy, Olivier Roux: Electre: A Language for Control Structuring in Real Time. Comput. J. 29(3): 229-234 (1986)