| Publication | Date of Publication | Type |
|---|
Data-driven models of monotone systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Safe learning-based model predictive control using the compatible models approach
European Journal of Control | 2023-11-23 | Paper |
Proving safety properties of infinite state systems by compilation into Presburger arithmetic
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Asymptotic error in Euler's method with a constant step size
European Journal of Control | 2022-11-09 | Paper |
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Fundamenta Informaticae | 2022-02-01 | Paper |
Assume-guarantee contracts for continuous-time systems
Automatica | 2021-11-19 | Paper |
| Toward parametric timed interfaces for real-time components | 2021-06-22 | Paper |
Toward parametric timed interfaces for real-time components
(available as arXiv preprint) | 2021-06-22 | Paper |
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
A topological method for finding invariant sets of continuous systems
Information and Computation | 2021-04-13 | Paper |
| Synthesis of switching rules for ensuring reachability properties of sampled linear systems | 2021-03-10 | Paper |
Synthesis of switching rules for ensuring reachability properties of sampled linear systems
(available as arXiv preprint) | 2021-03-10 | Paper |
Randomized dining philosophers without fairness assumption
Foundations of Information Technology in the Era of Network and Mobile Computing | 2020-12-04 | Paper |
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages
Distributed Computing | 2020-12-03 | Paper |
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
(available as arXiv preprint) | 2020-01-23 | Paper |
Bottom-up evaluation of Datalog programs with arithmetic constraints
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
| Game-based Synthesis of Distributed Controllers for Sampled Switched Systems | 2019-10-24 | Paper |
| Guaranteed control of switched control systems using model order reduction and state-space bisection | 2019-10-24 | Paper |
Compositional synthesis of state-dependent switching control
Theoretical Computer Science | 2018-11-23 | Paper |
An improved algorithm for the control synthesis of nonlinear sampled switched systems
Formal Methods in System Design | 2018-11-15 | Paper |
Distributed synthesis of state-dependent switching control
(available as arXiv preprint) | 2018-03-26 | Paper |
| Compositional analysis of Boolean networks using local fixed-point iterations | 2018-03-26 | Paper |
| Distributed control synthesis using Euler's method | 2017-12-20 | Paper |
| Euler's method applied to the control of switched systems | 2017-12-01 | Paper |
A topological method for finding invariant sets of continuous systems
Lecture Notes in Computer Science | 2017-10-27 | Paper |
A topological method for finding invariant sets of switched systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
An inverse method for parametric timed automata
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Finite controlled invariants for sampled switched systems
Formal Methods in System Design | 2015-01-19 | Paper |
Merge and conquer: state merging in parametric timed automata
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Stability Controllers for Sampled Switched Systems
Lecture Notes in Computer Science | 2014-07-07 | Paper |
An extension of the inverse method to probabilistic timed automata
Formal Methods in System Design | 2014-06-30 | Paper |
Time separation of events: an inverse method
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
| Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC | 2013-09-26 | Paper |
Parametric verification and test coverage for hybrid automata using the inverse method
International Journal of Foundations of Computer Science | 2013-07-30 | Paper |
Coupling and self-stabilization
Distributed Computing | 2013-06-07 | Paper |
Parametric verification and test coverage for hybrid automata using the inverse method
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Behavioral cartography of timed automata
Lecture Notes in Computer Science | 2010-08-31 | Paper |
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
International Journal of Foundations of Computer Science | 2009-11-19 | Paper |
Timed verification of the generic architecture of a memory circuit using parametric timed automata
Formal Methods in System Design | 2009-07-06 | Paper |
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Coupling and Self-stabilization
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2102698 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2006656 (Why is no real title available?) | 2003-11-23 | Paper |
A compared study of two correctness proofs for the standardized algorithm of ABR conformance
Formal Methods in System Design | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1863180 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1615250 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1361123 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1232242 (Why is no real title available?) | 1999-01-03 | Paper |
A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters
Constraints | 1998-06-02 | Paper |
| scientific article; zbMATH DE number 826303 (Why is no real title available?) | 1995-12-17 | Paper |
| scientific article; zbMATH DE number 722056 (Why is no real title available?) | 1995-07-03 | Paper |
A strong restriction of the inductive completion procedure
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164126 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4090849 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4078853 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3956434 (Why is no real title available?) | 1986-01-01 | Paper |
A superposition oriented theorem prover
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3921956 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3870639 (Why is no real title available?) | 1984-01-01 | Paper |
Oriented equational clauses as a programming language
The Journal of Logic Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3963190 (Why is no real title available?) | 1984-01-01 | Paper |
