Olivier F. Roux

According to our database, Olivier F. Roux authored at least 50 papers between 1985 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Static Analysis and Stochastic Search for Reachability Problem.

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

2019

A genetically modified Hoare logic.

Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux

Theor. Comput. Sci., 2019

2018

Learning Dynamics with Synchronous, Asynchronous and General Semantics.

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

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

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks.

Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin

Algorithms Mol. Biol., 2017

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

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016

Computational Methods in Systems Biology.

Jérémie Bourdon, Olivier F. Roux

Biosyst., 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.

Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of the Computational Methods in Systems Biology, 2016

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

Sufficient conditions for reachability in automata networks with priorities.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Theor. Comput. Sci., 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

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.

Gilles Bernot, Jean-Paul Comet, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2015

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming.

Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin

Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

2013

Under-approximation of Reachability in Multivalued Asynchronous Networks.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

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

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Math. Struct. Comput. Sci., 2012

Concretizing the Process Hitting into Biological Regulatory Networks.

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Tuning Temporal Features within the Stochastic π-Calculus.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

IEEE Trans. Software Eng., 2011

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

2010

Invariance kernel of Biological Regulatory Networks.

Jamil Ahmad, Olivier F. Roux

Int. J. Data Min. Bioinform., 2010

Abstract Interpretation of Dynamics of Biological Regulatory Networks.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

Hybrid modeling of biological networks: mixing temporal and qualitative biological properties.

Jonathan Fromentin, Damien Eveillard, Olivier F. Roux

BMC Syst. Biol., 2010

A Formal Model for Gene Regulatory Networks with Time Delays.

Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux

Proceedings of the Computational Systems-Biology and Bioinformatics, 2010

2009

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

2008

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

2006

State space computation and analysis of Time Petri Nets.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Theory Pract. Log. Program., 2006

Delays in Biological Regulatory Networks (BRN).

Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux

Proceedings of the Computational Science, 2006

2004

Testing Real-Time Parameterized Systems.

Armelle Prigent, Olivier F. Roux

Stud. Inform. Univ., 2004

2003

Semantics of Biological Regulatory Networks.

Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Using Zone Graph Method for Computing the State Space of a Time Petri Net.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Extending the Translation from SDL to Promela.

Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux

Proceedings of the Model Checking of Software, 2002

Verification of Embedded Reactive Fiffo Systems.

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

A Class of Decidable Parametric Hybrid Systems.

Michaël Adélaïde, Olivier F. Roux

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Application of Partial-Order Methods to Reactive Programs with Event Memorization.

Frédéric Herbreteau, Franck Cassez, Olivier F. Roux

Real Time Syst., 2001

2000

Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.

Michaël Adélaïde, Olivier F. Roux

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Hybrid Verifications of Reactive Programs.

Olivier F. Roux, Vlad Rusu, Franck Cassez

Formal Aspects Comput., 1999

Splitting reachability analysis in hybrid automata.

Patrice Boisieau, Olivier F. Roux

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Effective Recognizability and Model Checking of Reactive Fiffo Automata.

Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Analysis of Slope-Parametric Hybrid Automata.

Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Uniformity for the Decidability of Hybrid Automata.

Olivier F. Roux, Vlad Rusu

Proceedings of the Static Analysis, Third International Symposium, 1996

Conjunction of Synchronous and Asynchronous Languages for Reactive Programming.

Martin Richard, Olivier F. Roux

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Compilation of the ELECTRE Reactive Language into Finite Transition Systems.

Franck Cassez, Olivier F. Roux

Theor. Comput. Sci., 1995

1994

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.

Olivier F. Roux, Vlad Rusu

Proceedings of the Hybrid Systems II, 1994

1992

Operational Semantics of a Kernel of the Language ELECTRE.

Jean Perraud, Olivier F. Roux, Marc Huou

Theor. Comput. Sci., 1992

Teaching object-oriented programming or using the object model to teach software engineering.

Jean Bézivin, Olivier F. Roux, Jean-Claude Royer

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language.

Martin Richard, Olivier F. Roux

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

Execution Environment for ELECTRE Applications.

Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales

Proceedings of the ESEC '91, 1991

1990

Another proposal for a concurrency control level in concurrent object-oriented languages.

Olivier F. Roux

Proceedings of the Workshop on Object-based Concurrent Programming, 1990

1986

Electre: A Language for Control Structuring in Real Time.

Jean-Pierre Elloy, Olivier F. Roux

Comput. J., 1986

1985

ELECTRE: A language using control structure expressions to specify synchronization.

Olivier F. Roux, Jean-Pierre Elloy

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985