| Publication | Date of Publication | Type |
|---|
Uniformity for the decidability of hybrid automata
Static Analysis | 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
Inductive Logic Programming | 2021-02-08 | Paper |
A genetically modified Hoare logic
Theoretical Computer Science | 2019-06-18 | Paper |
Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models
Hybrid Systems Biology | 2019-05-21 | Paper |
Modeling delayed dynamics in biological regulatory networks from time series data
Algorithms | 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
Theoretical Computer Science | 2015-12-10 | Paper |
Identification of biological regulatory networks from process hitting models
Theoretical Computer Science | 2015-01-28 | Paper |
Abstract interpretation of dynamics of biological regulatory networks
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Static analysis of biological regulatory networks dynamics using abstract interpretation
MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework
Lecture Notes in Computer Science | 2011-05-27 | Paper |
A Class of Decidable Parametric Hybrid Systems
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Delays in Biological Regulatory Networks (BRN)
Computational Science – ICCS 2006 | 2008-12-09 | Paper |
State space computation and analysis of Time Petri Nets
Theory and Practice of Logic Programming | 2006-07-14 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2140431 (Why is no real title available?) | 2005-03-03 | Paper |
| scientific article; zbMATH DE number 2086244 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087623 (Why is no real title available?) | 2004-08-11 | Paper |
Application of partial-order methods to reactive programs with event memorization
Real-Time Systems | 2001-10-14 | Paper |
Hybrid verifications of reactive programs
Formal Aspects of Computing | 2000-05-07 | Paper |
Compilation of the ELECTRE reactive language into finite transition systems
Theoretical Computer Science | 1997-02-28 | Paper |
Operational semantics of a kernel of the language ELECTRE
Theoretical Computer Science | 1992-09-27 | Paper |
