The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Olivier F. Roux" ( http://dblp.L3S.de/Authors/Olivier_F._Roux )

URL (Homepage):  https://olivieroux.wordpress.com/  Author page on DBLP  Author page in RDF  Community of Olivier F. Roux in ASPL-2

Publication years (Num. hits)
1985-1999 (15) 2000-2010 (17) 2011-2016 (16) 2017-2019 (5)
Publication types (Num. hits)
article(27) inproceedings(25) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 11 keywords

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux A genetically modified Hoare logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue Learning Dynamics with Synchronous, Asynchronous and General Semantics. Search on Bibsonomy ILP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Search on Bibsonomy Algorithms for Molecular Biology The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Maxime Folschette, Olivier F. Roux, Morgan Magnin ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Search on Bibsonomy Algorithms for Molecular Biology The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue Inductive Learning from State Transitions over Continuous Domains. Search on Bibsonomy ILP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérémie Bourdon, Olivier F. Roux Computational Methods in Systems Biology. Search on Bibsonomy Biosystems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue Inference of Delayed Biological Regulatory Networks from Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux Analyses statiques de la dynamique des réseaux d'automates indéterministes. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux Sufficient conditions for reachability in automata networks with priorities. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux Identification of biological regulatory networks from Process Hitting models. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux A Genetically Modified Hoare Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Emna Ben Abdallah 0001, Maxime Folschette, Olivier F. Roux, Morgan Magnin Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. Search on Bibsonomy BIBM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Jérémie Bourdon (eds.) Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Jean-Paul Comet, Olivier F. Roux A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux Under-approximation of Reachability in Multivalued Asynchronous Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Courtney 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. Search on Bibsonomy CMSB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux Concretizing the Process Hitting into Biological Regulatory Networks. Search on Bibsonomy CMSB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Abstract Interpretation of Dynamics of Biological Regulatory Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Tuning Temporal Features within the Stochastic π-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jamil Ahmad, Olivier F. Roux Invariance kernel of Biological Regulatory Networks. Search on Bibsonomy IJDMB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan Fromentin, Damien Eveillard, Olivier F. Roux Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. Search on Bibsonomy BMC Systems Biology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux A Formal Model for Gene Regulatory Networks with Time Delays. Search on Bibsonomy CSBio The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jamil 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. Search on Bibsonomy Biosystems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard Analysing formal models of genetic regulatory networks with delays. Search on Bibsonomy IJBRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jamil Ahmad, Olivier F. Roux Invariance Kernel of Biological Regulatory Networks. Search on Bibsonomy BIBM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux Semantics of Biological Regulatory Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux State space computation and analysis of Time Petri Nets. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux Delays in Biological Regulatory Networks (BRN). Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux State Space Computation and Analysis of Time Petri Nets Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Armelle Prigent, Olivier F. Roux Testing Real-Time Parameterized Systems. Search on Bibsonomy Stud. Inform. Univ. The full citation details ... 2004 DBLP  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux Using Zone Graph Method for Computing the State Space of a Time Petri Net. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
1Michaël Adélaïde, Olivier F. Roux A Class of Decidable Parametric Hybrid Systems. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux Extending the Translation from SDL to Promela. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SDL formalism, save operator, model-checking, data abstraction
1Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre Verification of Embedded Reactive Fiffo Systems. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Frédéric Herbreteau, Franck Cassez, Olivier F. Roux Application of Partial-Order Methods to Reactive Programs with Event Memorization. Search on Bibsonomy Real-Time Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michaël Adélaïde, Olivier F. Roux Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Vlad Rusu, Franck Cassez Hybrid Verifications of Reactive Programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Model checking, Real time, Hybrid system, Asynchronism, Reactive system
1Patrice Boisieau, Olivier F. Roux Splitting reachability analysis in hybrid automata. Search on Bibsonomy ECRTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez Effective Recognizability and Model Checking of Reactive Fiffo Automata. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu Analysis of Slope-Parametric Hybrid Automata. Search on Bibsonomy HART The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Richard, Olivier F. Roux Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. Search on Bibsonomy RTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Vlad Rusu Uniformity for the Decidability of Hybrid Automata. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier F. Roux Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Vlad Rusu Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Search on Bibsonomy Hybrid Systems The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jean Bézivin, Olivier F. Roux, Jean-Claude Royer Teaching object-oriented programming or using the object model to teach software engineering. Search on Bibsonomy OOPS Messenger The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean Perraud, Olivier F. Roux, Marc Huou Operational Semantics of a Kernel of the Language ELECTRE. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin Richard, Olivier F. Roux An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. Search on Bibsonomy FTRTFT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux Another proposal for a concurrency control level in concurrent object-oriented languages. Search on Bibsonomy OOPS Messenger The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales Execution Environment for ELECTRE Applications. Search on Bibsonomy ESEC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Elloy, Olivier F. Roux Electre: A Language for Control Structuring in Real Time. Search on Bibsonomy Comput. J. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Jean-Pierre Elloy ELECTRE: A language using control structure expressions to specify synchronization. Search on Bibsonomy ACM Annual Conference The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license