| Publication | Date of Publication | Type |
|---|
Run-time optimization for learned controllers through quantitative games
Computer Aided Verification | 2024-02-16 | Paper |
Learning Mealy machines with one timer
Information and Computation | 2024-02-02 | Paper |
Bounded synthesis of register transducers
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
A counting semantics for monitoring LTL specifications over finite traces
Computer Aided Verification | 2023-05-26 | Paper |
Specifiable robustness in reactive synthesis
Formal Methods in System Design | 2023-05-08 | Paper |
Adaptive testing for specification coverage and refinement in CPS models
Nonlinear Analysis. Hybrid Systems | 2022-10-14 | Paper |
| Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) | 2022-08-12 | Paper |
scientific article; zbMATH DE number 7559459 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
Proving SIFA protection of masked redundant circuits
(available as arXiv preprint) | 2022-06-22 | Paper |
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Formal Methods in System Design | 2021-12-08 | Paper |
Vacuity in synthesis
Formal Methods in System Design | 2021-12-08 | Paper |
| Learning Mealy machines with one timer | 2021-10-04 | Paper |
Efficient Information-Flow Verification Under Speculative Execution
Automated Technology for Verification and Analysis | 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
Formal Methods in System Design | 2019-12-18 | Paper |
Shield synthesis: runtime enforcement for reactive systems
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Assume-guarantee synthesis for concurrent reactive programs with partial information
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Synthesis of self-stabilising and Byzantine-resilient distributed systems
Computer Aided Verification | 2019-05-03 | Paper |
Graph Games and Reactive Synthesis
Handbook of Model Checking | 2018-07-20 | Paper |
| Formal verification of masked hardware implementations in the presence of glitches | 2018-07-09 | Paper |
Shield synthesis
Formal Methods in System Design | 2018-02-14 | Paper |
Synthesizing non-vacuous systems
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Cooperative reactive synthesis
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
SAT-Based Synthesis Methods for Safety Specs
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Towards efficient parameterized synthesis
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Synthesizing robust systems
Acta Informatica | 2014-07-03 | Paper |
Parameterized Synthesis
Logical Methods in Computer Science | 2014-03-24 | Paper |
Synthesis of Reactive(1) designs
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Parameterized synthesis
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Finding and fixing faults
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Debugging Unrealizable Specifications with Model-Based Diagnosis
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Better Quality in Synthesis through Quantitative Objectives
Computer Aided Verification | 2009-06-30 | Paper |
Fault Localization and Correction with QBF
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
| Debugging design errors by using unsatisfiable cores | 2008-10-17 | Paper |
Open Implication
Automata, Languages and Programming | 2008-08-19 | Paper |
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
International Journal of Foundations of Computer Science | 2008-05-20 | Paper |
Symbolic Implementation of Alternating Automata
Implementation and Application of Automata | 2007-09-06 | Paper |
Repair of Boolean Programs with an Application to C
Computer Aided Verification | 2007-09-05 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
Formal Methods in System Design | 2006-09-28 | Paper |
Compositional SCC analysis for language emptiness
Formal Methods in System Design | 2006-09-28 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2102708 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 1979545 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1903384 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863179 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1670781 (Why is no real title available?) | 2001-11-11 | Paper |
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
Journal of Computer and System Sciences | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1086493 (Why is no real title available?) | 1997-11-13 | Paper |
