default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOlivier F. Roux
Person information
- affiliation: IRCCyN, École Centrale de Nantes, Nantes, France
- not to be confused with: Olivier H. Roux
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c30]Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Static Analysis and Stochastic Search for Reachability Problem. SASB 2020: 139-158
2010 – 2019
- 2019
- [j21]Gilles Bernot, Jean-Paul Comet
, Zohra Khalis, Adrien Richard, Olivier F. Roux:
A genetically modified Hoare logic. Theor. Comput. Sci. 765: 145-157 (2019) - 2018
- [c29]Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP 2018: 118-140 - 2017
- [j20]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): 19:1-19:14 (2017) - [j19]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): 20:1-20:23 (2017) - [c28]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: 124-139 - 2016
- [j18]Jérémie Bourdon, Olivier F. Roux:
Computational Methods in Systems Biology. Biosyst. 149: 1-2 (2016) - [c27]Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB 2016: 30-48 - 2015
- [j17]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: 49-71 (2015) - [j16]Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608: 66-83 (2015) - [j15]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): 463-484 (2015) - [c26]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: 281-285 - [c25]Gilles Bernot, Jean-Paul Comet, Olivier F. Roux:
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. CMSB 2015: 8-12 - [e1]Olivier F. Roux, Jérémie Bourdon:
Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Lecture Notes in Computer Science 9308, Springer 2015, ISBN 978-3-319-23400-7 [contents] - [i2]Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux:
A Genetically Modified Hoare Logic. CoRR abs/1506.05887 (2015) - 2013
- [c24]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: 50-63 - [c23]Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Under-approximation of Reachability in Multivalued Asynchronous Networks. CS2Bio 2013: 33-51 - 2012
- [j14]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22(4): 651-685 (2012) - [c22]Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux:
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186 - 2011
- [j13]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: 171-191 (2011) - [j12]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37(6): 858-871 (2011) - 2010
- [j11]Jonathan Fromentin, Damien Eveillard, Olivier F. Roux:
Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Syst. Biol. 4: 79 (2010) - [j10]Jamil Ahmad, Olivier F. Roux:
Invariance kernel of Biological Regulatory Networks. Int. J. Data Min. Bioinform. 4(5): 553-570 (2010) - [c21]Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux:
A Formal Model for Gene Regulatory Networks with Time Delays. CSBio 2010: 1-13 - [c20]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Abstract Interpretation of Dynamics of Biological Regulatory Networks. SASB 2010: 43-56
2000 – 2009
- 2009
- [j9]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): 149-159 (2009) - 2008
- [j8]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): 240-262 (2008) - [c19]Jamil Ahmad, Olivier F. Roux:
Invariance Kernel of Biological Regulatory Networks. BIBM 2008: 135-140 - 2006
- [j7]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. 6(3): 301-320 (2006) - [c18]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: 887-894 - 2005
- [i1]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets. CoRR abs/cs/0505023 (2005) - 2004
- [j6]Armelle Prigent, Olivier F. Roux:
Testing Real-Time Parameterized Systems. Stud. Inform. Univ. 3(2): 193-253 (2004) - 2003
- [c17]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 - [c16]Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux:
Semantics of Biological Regulatory Networks. BioConcur@CONCUR 2003: 3-14 - 2002
- [c15]Michaël Adélaïde, Olivier F. Roux:
A Class of Decidable Parametric Hybrid Systems. AMAST 2002: 132-146 - [c14]Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre:
Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414 - [c13]Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux:
Extending the Translation from SDL to Promela. SPIN 2002: 79-94 - 2001
- [j5]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): 287-316 (2001) - 2000
- [c12]Michaël Adélaïde, Olivier F. Roux:
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263
1990 – 1999
- 1999
- [j4]Olivier F. Roux, Vlad Rusu, Franck Cassez:
Hybrid Verifications of Reactive Programs. Formal Aspects Comput. 11(4): 448-471 (1999) - [c11]Patrice Boisieau, Olivier F. Roux:
Splitting reachability analysis in hybrid automata. ECRTS 1999: 98-105 - 1998
- [c10]Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez:
Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123 - 1997
- [c9]Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu:
Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80 - 1996
- [c8]Martin Richard, Olivier F. Roux:
Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. RTS 1996: 295-300 - [c7]Olivier F. Roux, Vlad Rusu:
Uniformity for the Decidability of Hybrid Automata. SAS 1996: 301-316 - 1995
- [j3]Franck Cassez, Olivier F. Roux:
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995) - 1994
- [c6]Olivier F. Roux, Vlad Rusu:
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416 - 1992
- [j2]Jean Perraud, Olivier F. Roux, Marc Huou:
Operational Semantics of a Kernel of the Language ELECTRE. Theor. Comput. Sci. 97(1): 83-103 (1992) - [c5]Martin Richard, Olivier F. Roux:
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT 1992: 429-450 - [c4]Jean Bézivin, Olivier F. Roux, Jean-Claude Royer:
Teaching object-oriented programming or using the object model to teach software engineering. OOPSLA Addendum 1992: 269-276 - 1991
- [c3]Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales:
Execution Environment for ELECTRE Applications. ESEC 1991: 147-165 - 1990
- [c2]Olivier F. Roux:
Another proposal for a concurrency control level in concurrent object-oriented languages. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990: 104-108
1980 – 1989
- 1986
- [j1]Jean-Pierre Elloy, Olivier F. Roux:
Electre: A Language for Control Structuring in Real Time. Comput. J. 29(3): 229-234 (1986) - 1985
- [c1]Olivier F. Roux, Jean-Pierre Elloy:
ELECTRE: A language using control structure expressions to specify synchronization. ACM Annual Conference 1985: 240-245
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
