| Publication | Date of Publication | Type |
|---|
| Switching controller synthesis for delay hybrid systems under perturbations | 2024-02-21 | Paper |
| Formal verification of quantum algorithms using quantum Hoare logic | 2024-02-16 | Paper |
| Taming delays in dynamical systems. Unbounded verification of delay differential equations | 2024-02-16 | Paper |
| Decidability of the initial-state opacity of real-time automata | 2023-08-02 | Paper |
| What's to come is still unsure. Synthesizing controllers resilient to delayed interaction | 2023-07-28 | Paper |
| Learning deterministic one-clock timed automata via mutation testing | 2023-06-02 | Paper |
| Monitoring CTMCs by multi-clock timed automata | 2023-05-26 | Paper |
| Robust non-termination analysis of numerical software | 2023-05-26 | Paper |
| Lower Bounds for Possibly Divergent Probabilistic Programs | 2023-02-12 | Paper |
| Synthesizing SystemC Code from Delay Hybrid CSP | 2022-12-09 | Paper |
| Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming | 2022-12-08 | Paper |
| A denotational semantics of simulink with higher-order UTP | 2022-11-16 | Paper |
| Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus | 2022-11-04 | Paper |
| Learning One-Clock Timed Automata | 2022-10-13 | Paper |
| Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming | 2022-09-20 | Paper |
| Probably approximately correct interpolants generation | 2022-09-01 | Paper |
| Finding Polynomial Loop Invariants for Probabilistic Programs | 2022-08-12 | Paper |
| Synthesizing invariant barrier certificates via difference-of-convex programming | 2022-03-25 | Paper |
| Switching controller synthesis for time-delayed hybrid systems | 2022-03-21 | Paper |
| Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems | 2022-02-24 | Paper |
| Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow | 2022-02-01 | Paper |
| Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control | 2021-09-30 | Paper |
| Inferring switched nonlinear dynamical systems | 2021-08-30 | Paper |
| Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems | 2021-04-09 | Paper |
| Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations | 2021-03-12 | Paper |
| Unbounded-time safety verification of stochastic differential dynamics | 2021-02-09 | Paper |
| Nonlinear Craig interpolant generation | 2021-02-04 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties | 2020-10-07 | Paper |
| NIL: learning nonlinear interpolants | 2020-03-10 | Paper |
| Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow | 2020-02-18 | Paper |
| Validated simulation-based verification of delayed differential dynamics | 2020-01-03 | Paper |
| Approximate bisimulation and discretization of hybrid CSP | 2020-01-03 | Paper |
| Robust invariant sets generation for state-constrained perturbed polynomial systems | 2019-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196885 | 2019-09-20 | Paper |
| Under-Approximating Reach Sets for Polynomial Continuous Systems | 2018-12-06 | Paper |
| Model Checking Bounded Continuous-time Extended Linear Duration Invariants | 2018-12-06 | Paper |
| Reach-Avoid Differential Games Based on Invariant Generation | 2018-11-07 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties | 2018-11-02 | Paper |
| Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems | 2018-10-28 | Paper |
| Reachability Analysis for Solvable Dynamical Systems | 2018-09-18 | Paper |
| Automatic verification of stability and safety for delay differential equations | 2018-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132075 | 2018-01-29 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2018-01-08 | Paper |
| Safe over- and under-approximation of reachable sets for delay differential equations | 2017-12-01 | Paper |
| A compositional modelling and verification framework for stochastic hybrid systems | 2017-09-08 | Paper |
| Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems | 2017-09-06 | Paper |
| Extending Hybrid CSP with Probability and Stochasticity | 2017-08-31 | Paper |
| Bounded model-checking of discrete duration calculus | 2017-05-16 | Paper |
| A Two-Way Path Between Formal and Informal Design of Embedded Systems | 2017-04-04 | Paper |
| Barrier certificates revisited | 2017-02-06 | Paper |
| Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF | 2016-09-05 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2016-01-08 | Paper |
| Decidability of the Reachability for a Family of Linear Vector Fields | 2016-01-08 | Paper |
| Formal Modelling, Analysis and Verification of Hybrid Systems | 2015-09-30 | Paper |
| Discovering non-terminating inputs for multi-path polynomial programs | 2015-04-27 | Paper |
| CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains | 2014-07-08 | Paper |
| Generating Non-linear Interpolants by Semidefinite Programming | 2013-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849554 | 2013-09-20 | Paper |
| Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants | 2013-08-16 | Paper |
| Recent advances in program verification through computer algebra | 2013-07-04 | Paper |
| Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems | 2013-04-25 | Paper |
| Model checking conditional CSL for continuous-time Markov chains | 2013-03-21 | Paper |
| A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example | 2012-11-08 | Paper |
| An Assume/Guarantee Based Compositional Calculus for Hybrid CSP | 2012-07-16 | Paper |
| Symbolic decision procedure for termination of linear programs | 2011-05-27 | Paper |
| Connection between logical and algebraic approaches to concurrent systems | 2010-12-01 | Paper |
| On hierarchically developing reactive systems | 2010-10-07 | Paper |
| Rate monotonic scheduling re-analysed | 2010-09-07 | Paper |
| Component Publications and Compositions | 2010-08-31 | Paper |
| Model Checking Linear Duration Invariants of Networks of Automata | 2010-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3181698 | 2009-10-12 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Refinement and verification in component-based model-driven design | 2009-03-02 | Paper |
| Generating Polynomial Invariants with DISCOVERER and QEPCAD | 2008-09-25 | Paper |
| Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems | 2008-09-17 | Paper |
| A Model of Component-Based Programming | 2008-07-01 | Paper |
| A higher-order duration calculus and its completeness | 2007-02-20 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414393 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753691 | 2001-11-11 | Paper |
| An intuitive formal proof for deadline driven scheduler | 2001-10-14 | Paper |
