Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Olivier H. Roux
Olivier Roux
2010 – today
- 2013
[j40]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)- [c38]Aleksandra Jovanovic, Didier Lime, Olivier H. Roux: Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415
- 2012
- [j39]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)
- [j38]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)
- [c37]Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux: Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186
- [c36]
- [c35]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
- [c34]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
- [i2]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012)
- 2011
- [j37]Claude Martinez, Olivier H. Roux: Special issue on Modeling of Reactive Systems. Discrete Event Dynamic Systems 21(3): 305-306 (2011)
- [j36]Loïc Paulevé, Morgan Magnin, Olivier Roux: Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 272: 43-56 (2011)
- [j35]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)
- [j34]Loïc Paulevé, Morgan Magnin, Olivier Roux: Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37(6): 858-871 (2011)
- [c33]Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas: Channel Synthesis for Finite Transducers. AFL 2011: 79-92
- 2010
- [j33]Jamil Ahmad, Olivier Roux: Invariance kernel of Biological Regulatory Networks. IJDMB 4(5): 553-570 (2010)
- [c32]Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux: Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305
- [c31]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux: Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151
2000 – 2009
- 2009
- [j32]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)
- [j31]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)
- [j30]Morgan Magnin, Pierre Molinaro, Olivier H. Roux: Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Inform. 97(1-2): 111-138 (2009)
- [j29]Morgan Magnin, Pierre Molinaro, Olivier H. Roux: Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Inform. 97(1-2): 139-176 (2009)
- [j28]David Duvivier, Olivier Roux, Arnauld Hanset: Comparison of different tabu search operators on a highly constrained industrial problem. IJAOM 1(4): 363-379 (2009)
- [j27]Louis-Marie Traonouez, Didier Lime, Olivier H. Roux: Parametric Model-Checking of Stopwatch Petri Nets. J. UCS 15(17): 3273-3304 (2009)
- [j26]Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux: TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009)
- [j25]Didier Lime, Olivier H. Roux: Formal verification of real-time systems with preemptive scheduling. Real-Time Systems 41(2): 118-151 (2009)
- [c30]Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux: Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147
- [c29]Mylène Maurin, Morgan Magnin, Olivier H. Roux: Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294
- [c28]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42
- [c27]Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57
- 2008
- [j24]Marc Boyer, Olivier H. Roux: On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Inform. 88(3): 225-249 (2008)
- [j23]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)
- [j22]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)
- [j21]Charlotte Seidner, Olivier H. Roux: Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Industrial Informatics 4(4): 280-291 (2008)
- [c26]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
- [c25]
- [c24]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
- [c23]Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux: A Study of the AADL Mode Change Protocol. ICECCS 2008: 288-293
- 2007
- [j20]David Duvivier, Olivier Roux, V. Dhaevers, Nadine Meskens, Abdelhakim Artiba: Multicriteria optimisation and simulation: an industrial application. Annals OR 156(1): 45-60 (2007)
- [j19]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)
- [j18]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)
- [j17]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)
- [c22]Marc Boyer, Olivier H. Roux: Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82
- 2006
- [j16]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)
- [j15]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)
- [j14]Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)
- [j13]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State space computation and analysis of Time Petri Nets. TPLP 6(3): 301-320 (2006)
- [j12]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)
- 2005
- [j11]Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)
- [c21]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
- [c20]Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423
- [c19]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
- [c18]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
- [i1]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State Space Computation and Analysis of Time Petri Nets. CoRR abs/cs/0505023 (2005)
- 2004
- [j10]Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)
- [j9]Armelle Prigent, Olivier Roux: Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3(2): 193-253 (2004)
- [c17]Olivier H. Roux, Didier Lime: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390
- [c16]Didier Lime, Olivier H. Roux: A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196
- 2003
- [c15]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
- 2002
- [c14]
- [c13]Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
- [c12]Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94
- 2001
- [j8]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)
- [j7]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)
- [c11]Olivier H. Roux, David Delfieu, Pierre Molinaro: Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) 2001: 197-204
- 2000
- [c10]Michaël Adélaïde, Olivier Roux: Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263
1990 – 1999
- 1999
- [j6]Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)
- [c9]Olivier Roux, Cyril Fonlupt, Denis Robilliard: Co-operative Improvement for a Combinatorial Optimization Algorithm. Artificial Evolution 1999: 231-241
- [c8]Patrice Boisieau, Olivier Roux: Splitting reachability analysis in hybrid automata. ECRTS 1999: 98-105
- [c7]El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Denis Robilliard: Parallel Ant Colonies for Combinatorial Optimization Problems. IPPS/SPDP Workshops 1999: 239-247
- 1998
- [c6]Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123
- 1997
- [c5]Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80
- 1996
- [c4]
- 1995
- [j5]Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)
- 1994
- [c3]Olivier Roux, Vlad Rusu: Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416
- 1993
- [j4]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)
- 1992
- [j3]Jean Perraud, Olivier Roux, Marc Huou: Operational Semantics of a Kernel of the Language ELECTRE. Theor. Comput. Sci. 97(1): 83-103 (1992)
- [c2]Martin Richard, Olivier Roux: An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT 1992: 429-450
- 1991
- [j2]Olivier Roux: Another proposal for a concurrency control level in concurrent object-oriented languages. OOPS Messenger 2(2): 104-108 (1991)
- [c1]Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales: Execution Environment for ELECTRE Applications. ESEC 1991: 147-165
1980 – 1989
- 1986
- [j1]J. P. Elloy, Olivier Roux: Electre: A Language for Control Structuring in Real Time. Comput. J. 29(3): 229-234 (1986)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-05 22:14 CEST by the dblp team