| 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 |
| https://portal.mardi4nfdi.de/entity/Q5275388 | 2017-07-13 | Paper |
| SMC | 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 |
| Computer Aided Verification | 2010-04-20 | Paper |
| Correct Hardware Design and Verification Methods | 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 |
| https://portal.mardi4nfdi.de/entity/Q5309034 | 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 |
