Olivier F. Roux

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 8

Top Topics

State Transitions

Static Analysis

Systems Biology

Top Venues

Theor. Comput. Sci.

Algorithms Mol. Biol.

Publications

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Static Analysis and Stochastic Search for Reachability Problem. SASB (2020)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A genetically modified Hoare logic. Theor. Comput. Sci. 765 (2019)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP (2018)
Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. 12 (1) (2017)
Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Algorithms Mol. Biol. 12 (1) (2017)
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
Inductive Learning from State Transitions over Continuous Domains. ILP (2017)
Jérémie Bourdon, Olivier F. Roux
Computational Methods in Systems Biology. Biosyst. 149 (2016)
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB (2016)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A Genetically Modified Hoare Logic. CoRR (2015)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608 (2015)
Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. CMSB (2015)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. 568 (2015)
Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. BIBM (2015)
Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux
Analyses statiques de la dynamique des réseaux d'automates indéterministes. Tech. Sci. Informatiques 34 (4) (2015)
Courtney Chancellor, Amine Ammar, Francisco Chinesta, Morgan Magnin, Olivier F. Roux
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. CMSB (2013)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Under-approximation of Reachability in Multivalued Asynchronous Networks. Electron. Notes Theor. Comput. Sci. 299 (2013)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22 (4) (2012)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB (2012)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 272 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Trans. Comp. Sys. Biology 13 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37 (6) (2011)
Jamil Ahmad, Olivier F. Roux
Invariance kernel of Biological Regulatory Networks. Int. J. Data Min. Bioinform. 4 (5) (2010)
Jonathan Fromentin, Damien Eveillard, Olivier F. Roux
Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Syst. Biol. 4 (2010)
Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux
A Formal Model for Gene Regulatory Networks with Time Delays. CSBio (2010)
Jamil Ahmad, Jérémie Bourdon, Damien Eveillard, Jonathan Fromentin, Olivier F. Roux, Christine Sinoquet
Temporal constraints of a gene regulatory network: Refining a qualitative simulation. Biosyst. 98 (3) (2009)
Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
Analysing formal models of genetic regulatory networks with delays. Int. J. Bioinform. Res. Appl. 4 (3) (2008)
Jamil Ahmad, Olivier F. Roux
Invariance Kernel of Biological Regulatory Networks. BIBM (2008)
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
Semantics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
Delays in Biological Regulatory Networks (BRN). International Conference on Computational Science (2) (2006)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. 6 (3) (2006)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State Space Computation and Analysis of Time Petri Nets CoRR (2005)
Armelle Prigent, Olivier F. Roux
Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3 (2) (2004)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS (2003)
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
Verification of Embedded Reactive Fiffo Systems. LATIN (2002)
Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux
Extending the Translation from SDL to Promela. SPIN (2002)
Michaël Adélaïde, Olivier F. Roux
A Class of Decidable Parametric Hybrid Systems. AMAST (2002)
Frédéric Herbreteau, Franck Cassez, Olivier F. Roux
Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real Time Syst. 20 (3) (2001)
Michaël Adélaïde, Olivier F. Roux
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT (2000)
Patrice Boisieau, Olivier F. Roux
Splitting reachability analysis in hybrid automata. ECRTS (1999)
Olivier F. Roux, Vlad Rusu, Franck Cassez
Hybrid Verifications of Reactive Programs. Formal Aspects Comput. 11 (4) (1999)
Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez
Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST (1998)
Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu
Analysis of Slope-Parametric Hybrid Automata. HART (1997)
Olivier F. Roux, Vlad Rusu
Uniformity for the Decidability of Hybrid Automata. SAS (1996)
Martin Richard, Olivier F. Roux
Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. RTS (1996)
Franck Cassez, Olivier F. Roux
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146 (1&2) (1995)
Olivier F. Roux, Vlad Rusu
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems (1994)
Jean Bézivin, Olivier F. Roux, Jean-Claude Royer
Teaching object-oriented programming or using the object model to teach software engineering. OOPS Messenger 4 (2) (1993)
Martin Richard, Olivier F. Roux
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT (1992)
Jean Perraud, Olivier F. Roux, Marc Huou
Operational Semantics of a Kernel of the Language ELECTRE. Theor. Comput. Sci. 97 (1) (1992)
Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales
Execution Environment for ELECTRE Applications. ESEC (1991)
Olivier F. Roux
Another proposal for a concurrency control level in concurrent object-oriented languages. OOPS Messenger 2 (2) (1991)
Jean-Pierre Elloy, Olivier F. Roux
Electre: A Language for Control Structuring in Real Time. Comput. J. 29 (3) (1986)
Olivier F. Roux, Jean-Pierre Elloy
ELECTRE: A language using control structure expressions to specify synchronization. ACM Annual Conference (1985)