Olivier Roux

Available identifiers

zbMath Open roux.olivier-fMaRDI QIDQ209128

List of research outcomes

Publication	Date of Publication	Type
Uniformity for the decidability of hybrid automata	2022-02-16	Paper
Static analysis and stochastic search for reachability problem	2021-02-22	Paper
Inductive learning from state transitions over continuous domains	2021-02-08	Paper
Learning Dynamics with Synchronous, Asynchronous and General Semantics	2021-02-08	Paper
A genetically modified Hoare logic	2019-06-18	Paper
Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models	2019-05-21	Paper
Modeling delayed dynamics in biological regulatory networks from time series data	2018-08-20	Paper
Inference of delayed biological regulatory networks from time series data	2018-03-22	Paper
Under-approximation of reachability in multivalued asynchronous networks	2016-04-26	Paper
Sufficient conditions for reachability in automata networks with priorities	2015-12-10	Paper
Identification of biological regulatory networks from process hitting models	2015-01-28	Paper
Abstract Interpretation of Dynamics of Biological Regulatory Networks	2014-06-27	Paper
Static analysis of biological regulatory networks dynamics using abstract interpretation	2012-09-06	Paper
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework	2011-05-27	Paper
A Class of Decidable Parametric Hybrid Systems	2011-05-06	Paper
Delays in Biological Regulatory Networks (BRN)	2008-12-09	Paper
State space computation and analysis of Time Petri Nets	2006-07-14	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4654267	2005-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q3044342	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738470	2004-08-11	Paper
Application of partial-order methods to reactive programs with event memorization	2001-10-14	Paper
Hybrid verifications of reactive programs	2000-05-07	Paper
Compilation of the ELECTRE reactive language into finite transition systems	1997-02-28	Paper
Operational semantics of a kernel of the language ELECTRE	1992-09-27	Paper

Research outcomes over time

This page was built for person: Olivier Roux