Olivier F. Roux

54 papers B 5Misc 1Journal 23Unranked 24

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