Olivier F. Roux

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Learning Dynamics with Synchronous, Asynchronous and General Semantics.
Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

2017
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.
Algorithms for Molecular Biology, 2017

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks.
Algorithms for Molecular Biology, 2017

Inductive Learning from State Transitions over Continuous Domains.
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016
Computational Methods in Systems Biology.
Biosystems, 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2016

2015
Analyses statiques de la dynamique des réseaux d'automates indéterministes.
Technique et Science Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.
Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci., 2015

A Genetically Modified Hoare Logic.
CoRR, 2015

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.
Proceedings of the Computational Methods in Systems Biology, 2015

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming.
Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

2013
Under-approximation of Reachability in Multivalued Asynchronous Networks.
Electr. Notes Theor. Comput. Sci., 2013

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Mathematical Structures in Computer Science, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Tuning Temporal Features within the Stochastic π-Calculus.
IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.
Trans. Computational Systems Biology, 2011

Abstract Interpretation of Dynamics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2011

2010
Invariance kernel of Biological Regulatory Networks.
IJDMB, 2010

Hybrid modeling of biological networks: mixing temporal and qualitative biological properties.
BMC Systems Biology, 2010

2009
Temporal constraints of a gene regulatory network: Refining a qualitative simulation.
Biosystems, 2009

2008
Analysing formal models of genetic regulatory networks with delays.
IJBRA, 2008

Invariance Kernel of Biological Regulatory Networks.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

2007
Semantics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2007

2006
State space computation and analysis of Time Petri Nets.
TPLP, 2006

Delays in Biological Regulatory Networks (BRN).
Proceedings of the Computational Science, 2006

2005
State Space Computation and Analysis of Time Petri Nets
CoRR, 2005

2004
Testing Real-Time Parameterized Systems.
Stud. Inform. Univ., 2004

2003
Using Zone Graph Method for Computing the State Space of a Time Petri Net.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Extending the Translation from SDL to Promela.
Proceedings of the Model Checking of Software, 2002

Verification of Embedded Reactive Fiffo Systems.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

A Class of Decidable Parametric Hybrid Systems.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Application of Partial-Order Methods to Reactive Programs with Event Memorization.
Real-Time Systems, 2001

2000
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Hybrid Verifications of Reactive Programs.
Formal Asp. Comput., 1999

Splitting reachability analysis in hybrid automata.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Analysis of Slope-Parametric Hybrid Automata.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Uniformity for the Decidability of Hybrid Automata.
Proceedings of the Static Analysis, Third International Symposium, 1996

Conjunction of Synchronous and Asynchronous Languages for Reactive Programming.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Compilation of the ELECTRE Reactive Language into Finite Transition Systems.
Theor. Comput. Sci., 1995

1994
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.
Proceedings of the Hybrid Systems II, 1994

1993
Teaching object-oriented programming or using the object model to teach software engineering.
OOPS Messenger, 1993

1992
Operational Semantics of a Kernel of the Language ELECTRE.
Theor. Comput. Sci., 1992

An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991
Another proposal for a concurrency control level in concurrent object-oriented languages.
OOPS Messenger, 1991

Execution Environment for ELECTRE Applications.
Proceedings of the ESEC '91, 1991

1986
Electre: A Language for Control Structuring in Real Time.
Comput. J., 1986

1985
ELECTRE: A language using control structure expressions to specify synchronization.
Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985


  Loading...