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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Olivier Roux