Olivier Roux
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
49 | EE | Mylène Maurin, Morgan Magnin, Olivier H. Roux: Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294 |
48 | EE | 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 | ||
47 | EE | 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 |
46 | EE | 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 |
45 | EE | Marc Boyer, Olivier H. Roux: On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Inform. 88(3): 225-249 (2008) |
44 | EE | Charlotte Seidner, Olivier H. Roux: Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Industrial Informatics 4(4): 280-291 (2008) |
43 | EE | 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) |
42 | EE | 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) |
2007 | ||
41 | EE | Marc Boyer, Olivier H. Roux: Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82 |
40 | EE | 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) |
39 | EE | 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) |
38 | EE | 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) |
2006 | ||
37 | EE | 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) |
36 | EE | 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) |
35 | EE | Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006) |
34 | EE | Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State space computation and analysis of Time Petri Nets. TPLP 6(3): 301-320 (2006) |
33 | EE | 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 | ||
32 | EE | 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 |
31 | EE | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423 |
30 | EE | 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 |
29 | EE | 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 |
28 | EE | Guillaume Gardey, Olivier H. Roux, Olivier F. Roux: State Space Computation and Analysis of Time Petri Nets CoRR abs/cs/0505023: (2005) |
27 | EE | Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005) |
2004 | ||
26 | EE | Olivier H. Roux, Didier Lime: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390 |
25 | EE | Didier Lime, Olivier H. Roux: A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196 |
24 | EE | Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004) |
23 | EE | Armelle Prigent, Olivier Roux: Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3(2): 193-253 (2004) |
2003 | ||
22 | EE | 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 | ||
21 | EE | Michaël Adélaïde, Olivier Roux: A Class of Decidable Parametric Hybrid Systems. AMAST 2002: 132-146 |
20 | EE | Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414 |
19 | EE | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94 |
2001 | ||
18 | EE | 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) |
17 | 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) | |
2000 | ||
16 | EE | Michaël Adélaïde, Olivier Roux: Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263 |
1999 | ||
15 | Olivier Roux, Cyril Fonlupt, Denis Robilliard: Co-operative Improvement for a Combinatorial Optimization Algorithm. Artificial Evolution 1999: 231-241 | |
14 | EE | Patrice Boisieau, Olivier Roux: Splitting reachability analysis in hybrid automata. ECRTS 1999: 98-105 |
13 | El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Denis Robilliard: Parallel Ant Colonies for Combinatorial Optimization Problems. IPPS/SPDP Workshops 1999: 239-247 | |
12 | EE | Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999) |
1998 | ||
11 | EE | Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123 |
1997 | ||
10 | Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80 | |
1996 | ||
9 | Olivier Roux, Vlad Rusu: Uniformity for the Decidability of Hybrid Automata. SAS 1996: 301-316 | |
1995 | ||
8 | EE | Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995) |
1994 | ||
7 | Olivier Roux, Vlad Rusu: Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416 | |
1993 | ||
6 | 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 | ||
5 | Martin Richard, Olivier Roux: An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT 1992: 429-450 | |
4 | Jean Perraud, Olivier Roux, Marc Huou: Operational Semantics of a Kernel of the Language ELECTRE. Theor. Comput. Sci. 97(1): 83-103 (1992) | |
1991 | ||
3 | Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales: Execution Environment for ELECTRE Applications. ESEC 1991: 147-165 | |
2 | Olivier Roux: Another proposal for a concurrency control level in concurrent object-oriented languages. OOPS Messenger 2(2): 104-108 (1991) | |
1986 | ||
1 | J. P. Elloy, Olivier Roux: Electre: A Language for Control Structuring in Real Time. Comput. J. 29(3): 229-234 (1986) |