| Publication | Date of Publication | Type |
|---|
| Run-time optimization for learned controllers through quantitative games | 2024-02-16 | Paper |
| Learning Mealy machines with one timer | 2024-02-02 | Paper |
| Bounded synthesis of register transducers | 2023-07-28 | Paper |
| A counting semantics for monitoring LTL specifications over finite traces | 2023-05-26 | Paper |
| Specifiable robustness in reactive synthesis | 2023-05-08 | Paper |
| Adaptive testing for specification coverage and refinement in CPS models | 2022-10-14 | Paper |
| Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089265 | 2022-07-18 | Paper |
| Proving SIFA protection of masked redundant circuits | 2022-06-22 | Paper |
| Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations | 2021-12-08 | Paper |
| Vacuity in synthesis | 2021-12-08 | Paper |
| Learning Mealy machines with one timer | 2021-10-04 | Paper |
| Efficient Information-Flow Verification Under Speculative Execution | 2020-07-20 | Paper |
| Small faults grow up -- verification of error masking robustness in arithmetically encoded programs | 2020-01-23 | Paper |
| Synthesizing adaptive test strategies from temporal logic specifications | 2019-12-18 | Paper |
| Shield Synthesis: | 2019-09-17 | Paper |
| Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information | 2019-09-17 | Paper |
| Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems | 2019-05-03 | Paper |
| Graph Games and Reactive Synthesis | 2018-07-20 | Paper |
| Formal verification of masked hardware implementations in the presence of glitches | 2018-07-09 | Paper |
| Shield synthesis | 2018-02-14 | Paper |
| Synthesizing Non-Vacuous Systems | 2017-02-21 | Paper |
| Cooperative Reactive Synthesis | 2016-01-08 | Paper |
| SAT-Based Synthesis Methods for Safety Specs | 2015-01-13 | Paper |
| Towards Efficient Parameterized Synthesis | 2014-11-03 | Paper |
| Synthesizing robust systems | 2014-07-03 | Paper |
| Parameterized Synthesis | 2014-03-24 | Paper |
| Synthesis of Reactive(1) designs | 2012-08-17 | Paper |
| Parameterized Synthesis | 2012-06-29 | Paper |
| Finding and fixing faults | 2012-05-11 | Paper |
| Debugging Unrealizable Specifications with Model-Based Diagnosis | 2011-04-06 | Paper |
| Better Quality in Synthesis through Quantitative Objectives | 2009-06-30 | Paper |
| Fault Localization and Correction with QBF | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3528927 | 2008-10-17 | Paper |
| Open Implication | 2008-08-19 | Paper |
| SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA | 2008-05-20 | Paper |
| Symbolic Implementation of Alternating Automata | 2007-09-06 | Paper |
| Repair of Boolean Programs with an Application to C | 2007-09-05 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps | 2006-09-28 | Paper |
| Compositional SCC analysis for language emptiness | 2006-09-28 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817546 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427897 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804928 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791850 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754087 | 2001-11-11 | Paper |
| A comparison of tree transductions defined by monadic second order logic and by attribute grammars | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362731 | 1997-11-13 | Paper |
