Olivier H. Roux

Olivier Roux

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)

Coauthor Index

1	Michaël Adélaïde	[16] [21]
2	Jamil Ahmad	[43]
3	Béatrice Bérard	[29] [30] [32] [42]
4	Gilles Bernot	[38] [43]
5	Bernard Berthomieu	[40]
6	Jean Bézivin	[6]
7	Patrice Boisieau	[14]
8	Frédéric Boniol	[10]
9	Marc Boyer	[41] [45]
10	Augusto Burgueño	[10]
11	Franck Cassez	[8] [11] [12] [17] [19] [20] [24] [27] [29] [30] [32] [35] [38] [42]
12	Jean-Paul Comet	[38] [43]
13	Denis Creusot	[3]
14	Franck Delaplace	[38]
15	Philippe Dhaussy	[19]
16	J. P. Elloy	[1]
17	Alain Finkel	[11] [20]
18	Cyril Fonlupt	[13] [15] [18]
19	Guillaume Gardey	[22] [28] [31] [34] [39]
20	Serge Haddad	[29] [30] [32] [42]
21	Frédéric Herbreteau	[17] [20]
22	Marc Huou	[4]
23	Antonio Kung	[3]
24	Philippe Lemoine	[3]
25	Didier Lime	[25] [26] [29] [30] [31] [32] [33] [36] [37] [40] [42] [46] [47] [48]
26	Morgan Magnin	[31] [36] [46] [49]
27	Olivier Marbach	[3]
28	Mylène Maurin	[49]
29	Céline Müller	[38]
30	John Mullins	[39]
31	Claire Pagetti	[24]
32	Jean Perraud	[4]
33	Armelle Prigent	[19] [23]
34	Adrien Richard	[43]
35	Martin Richard	[5]
36	D. Robillard	[18]
37	Denis Robilliard	[13] [15]
38	Olivier F. Roux	[22] [28] [34]
39	Jean-Claude Royer	[6]
40	Vlad Rusu	[7] [9] [10] [12]
41	Charlotte Seidner	[44] [48]
42	Carlos Serrano-Morales	[3]
43	Grégoire Sutre	[11] [20]
44	El-Ghazali Talbi	[13] [18]
45	Louis-Marie Traonouez	[47] [48]
46	Yvon Trinquet	[3]
47	François Vernadat	[40]

Colors in the list of coauthors