| Publication | Date of Publication | Type |
|---|
| Flexible computational pipelines for robust abstraction-based control synthesis | 2024-02-16 | Paper |
| Machine learning and logic: a new frontier in artificial intelligence | 2023-10-30 | Paper |
| From interface automata to hypercontracts | 2023-08-10 | Paper |
| Formal specification for deep neural networks | 2023-07-28 | Paper |
| Reactive control improvisation | 2023-05-26 | Paper |
| Understanding and extending incremental determinization for 2QBF | 2023-05-05 | Paper |
| Satisfiability and synthesis modulo oracles | 2022-07-08 | Paper |
| Logical clustering and learning for time-series data | 2022-07-01 | Paper |
| Runtime monitors for Markov decision processes | 2022-03-25 | Paper |
| Model checking finite-horizon Markov chains with probabilistic inference | 2022-03-25 | Paper |
| Enforcing almost-sure reachability in POMDPs | 2022-03-25 | Paper |
| MedleySolver: online SMT algorithm selection | 2022-03-22 | Paper |
| Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption | 2021-05-28 | Paper |
| Maximum causal entropy specification inference from demonstrations | 2021-02-09 | Paper |
| TeLEx: learning signal temporal logic from positive examples using tightness metric | 2019-11-25 | Paper |
| Compositional falsification of cyber-physical systems with machine learning components | 2019-10-25 | Paper |
| A new simulation metric to determine safe environments and controllers for systems with unknown dynamics | 2019-10-22 | Paper |
| Cloud-based Quadratic Optimization with Partially Homomorphic Encryption | 2018-09-06 | Paper |
| Modeling for Verification | 2018-07-20 | Paper |
| Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach | 2018-06-27 | Paper |
| Program synthesis for interactive-security systems | 2018-02-14 | Paper |
| Safe autonomy under perception uncertainty using chance-constrained temporal logic | 2018-02-02 | Paper |
| Synthesis of obfuscation policies to ensure privacy and utility | 2018-02-02 | Paper |
| Symbolic control design for monotone systems with directed specifications | 2017-11-08 | Paper |
| A theory of formal synthesis via inductive learning | 2017-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5364938 | 2017-09-29 | Paper |
| Robust online monitoring of signal temporal logic | 2017-09-08 | Paper |
| Control improvisation | 2017-07-13 | Paper |
| SMC: satisfiability modulo convex optimization | 2017-07-11 | Paper |
| A small gain theorem for parametric assume-guarantee contracts | 2017-07-11 | Paper |
| Reactive synthesis from signal temporal logic specifications | 2017-05-19 | Paper |
| Directed specifications and assumption mining for monotone dynamical systems | 2017-05-19 | Paper |
| Diagnosis and repair for synthesis from signal temporal logic specifications | 2017-05-19 | Paper |
| Mining requirements from closed-loop control models | 2017-05-16 | Paper |
| On the hardness of SAT with community structure | 2016-09-05 | Paper |
| Incremental determinization | 2016-09-05 | Paper |
| Synthesis with Identifiers | 2015-01-13 | Paper |
| Polynomial-time verification of PCTL properties of MDPs with convex uncertainties | 2013-11-26 | Paper |
| Automating security mediation placement | 2010-05-04 | Paper |
| Unbounded, fully symbolic model checking of timed automata using Boolean methods. | 2010-04-20 | Paper |
| Convergence testing in term-level bounded model checking | 2010-02-05 | Paper |
| Symbolic Reachability Analysis of Lazy Linear Hybrid Automata | 2008-07-03 | Paper |
| Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds | 2007-10-11 | Paper |
| On solving Boolean combinations of UTVPI constraints. | 2007-10-09 | Paper |
| Deciding Bit-Vector Arithmetic with Abstraction | 2007-09-03 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Modular verification of multithreaded programs | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427901 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804895 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804898 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804887 | 2003-05-01 | Paper |
