ELECTRE: A language using control structure expressions to specify synchronization. - Olivier F. Roux; Jean-Pierre Elloy (ACM Annual Conference, 1985)

Electre: A Language for Control Structuring in Real Time. - Jean-Pierre Elloy; Olivier F. Roux (Comput. J., 1986)

Another proposal for a concurrency control level in concurrent object-oriented languages. - Olivier F. Roux (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1990)

Execution Environment for ELECTRE Applications. - Denis Creusot; Philippe Lemoine; Olivier F. Roux; Yvon Trinquet; Antonio Kung; Olivier Marbach; Carlos Serrano-Morales (ESEC, 1991)

An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. - Martin Richard; Olivier F. Roux (FTRTFT, 1992)

Teaching object-oriented programming or using the object model to teach software engineering. - Jean Bézivin; Olivier F. Roux; Jean-Claude Royer (OOPSLA Addendum, 1992)

Operational Semantics of a Kernel of the Language ELECTRE. - Jean Perraud; Olivier F. Roux; Marc Huou (Theor. Comput. Sci., 1992)

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. - Olivier F. Roux; Vlad Rusu (Hybrid Systems, 1994)

Compilation of the ELECTRE Reactive Language into Finite Transition Systems. - Franck Cassez; Olivier F. Roux (Theor. Comput. Sci., 1995)

Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. - Martin Richard; Olivier F. Roux (RTS, 1996)

Uniformity for the Decidability of Hybrid Automata. - Olivier F. Roux; Vlad Rusu (SAS, 1996)

Analysis of Slope-Parametric Hybrid Automata. - Frédéric Boniol; Augusto Burgueño; Olivier F. Roux; Vlad Rusu (HART, 1997)

Effective Recognizability and Model Checking of Reactive Fiffo Automata. - Grégoire Sutre; Alain Finkel; Olivier F. Roux; Franck Cassez (AMAST, 1998)

Splitting reachability analysis in hybrid automata. - Patrice Boisieau; Olivier F. Roux (ECRTS, 1999)

Hybrid Verifications of Reactive Programs. - Olivier F. Roux; Vlad Rusu; Franck Cassez (Formal Aspects Comput., 1999)

Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. - Michaël Adélaïde; Olivier F. Roux (FTRTFT, 2000)

Application of Partial-Order Methods to Reactive Programs with Event Memorization. - Frédéric Herbreteau; Franck Cassez; Olivier F. Roux (Real Time Syst., 2001)

A Class of Decidable Parametric Hybrid Systems. - Michaël Adélaïde; Olivier F. Roux (AMAST, 2002)

Verification of Embedded Reactive Fiffo Systems. - Frédéric Herbreteau; Franck Cassez; Alain Finkel; Olivier F. Roux; Grégoire Sutre (LATIN, 2002)

Extending the Translation from SDL to Promela. - Armelle Prigent; Franck Cassez; Philippe Dhaussy; Olivier F. Roux (SPIN, 2002)

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

Semantics of Biological Regulatory Networks. - Gilles Bernot; Franck Cassez; Jean-Paul Comet; Franck Delaplace; Céline Müller; Olivier F. Roux (BioConcur@CONCUR, 2003)

Testing Real-Time Parameterized Systems. - Armelle Prigent; Olivier F. Roux (Stud. Inform. Univ., 2004)

Delays in Biological Regulatory Networks (BRN). - Jamil Ahmad; Adrien Richard; Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (International Conference on Computational Science (2), 2006)

State space computation and analysis of Time Petri Nets. - Guillaume Gardey; Olivier H. Roux; Olivier F. Roux (Theory Pract. Log. Program., 2006)

Analysing formal models of genetic regulatory networks with delays. - Jamil Ahmad; Olivier F. Roux; Gilles Bernot; Jean-Paul Comet; Adrien Richard (Int. J. Bioinform. Res. Appl., 2008)

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

A Formal Model for Gene Regulatory Networks with Time Delays. - Jean-Paul Comet; Jonathan Fromentin; Gilles Bernot; Olivier F. Roux (CSBio, 2010)

Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. - Jonathan Fromentin; Damien Eveillard; Olivier F. Roux (BMC Syst. Biol., 2010)

Abstract Interpretation of Dynamics of Biological Regulatory Networks. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (SASB, 2010)

Invariance kernel of Biological Regulatory Networks. - Jamil Ahmad; Olivier F. Roux (Int. J. Data Min. Bioinform., 2010)

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Trans. Comp. Sys. Biology, 2011)

Tuning Temporal Features within the Stochastic π-Calculus. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (IEEE Trans. Software Eng., 2011)

Concretizing the Process Hitting into Biological Regulatory Networks. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (CMSB, 2012)

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Math. Struct. Comput. Sci., 2012)

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. - Courtney Chancellor; Amine Ammar; Francisco Chinesta; Morgan Magnin; Olivier F. Roux (CMSB, 2013)

Under-approximation of Reachability in Multivalued Asynchronous Networks. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (CS2Bio, 2013)

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (BIBM, 2015)

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. - Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (CMSB, 2015)

Identification of biological regulatory networks from Process Hitting models. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Sufficient conditions for reachability in automata networks with priorities. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Analyses statiques de la dynamique des réseaux d'automates indéterministes. - Loïc Paulevé; Maxime Folschette; Morgan Magnin; Olivier F. Roux (Tech. Sci. Informatiques, 2015)

Inference of Delayed Biological Regulatory Networks from Time Series Data. - Emna Ben Abdallah 001; Tony Ribeiro; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (CMSB, 2016)

Computational Methods in Systems Biology. - Jérémie Bourdon; Olivier F. Roux (Biosyst., 2016)

Inductive Learning from State Transitions over Continuous Domains. - Tony Ribeiro; Sophie Tourret; Maxime Folschette; Morgan Magnin; Domenico Borzacchiello; Francisco Chinesta; Olivier F. Roux; Katsumi Inoue (ILP, 2017)

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (Algorithms Mol. Biol., 2017)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. - Louis Fippo Fitime; Olivier F. Roux; Carito Guziolowski; Loïc Paulevé (Algorithms Mol. Biol., 2017)

Learning Dynamics with Synchronous, Asynchronous and General Semantics. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (ILP, 2018)

A genetically modified Hoare logic. - Gilles Bernot; Jean-Paul Comet; Zohra Khalis; Adrien Richard; Olivier F. Roux (Theor. Comput. Sci., 2019)

Static Analysis and Stochastic Search for Reachability Problem. - Xinwei Chai; Tony Ribeiro; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (SASB, 2020)