| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6124952 | 2024-04-10 | Paper |
| BOCoSy: Small but Powerful Symbolic Output-Feedback Control | 2024-02-21 | Paper |
| Verifying hyperliveness | 2024-02-16 | Paper |
| Synthesizing approximate implementations for unrealizable specifications | 2024-02-16 | Paper |
| Temporal stream logic: synthesis beyond the Bools | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187072 | 2024-02-05 | Paper |
| Temporal stream logic modulo theories | 2024-01-23 | Paper |
| HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems | 2023-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176108 | 2023-08-21 | Paper |
| Bounded synthesis of reactive programs | 2023-07-28 | Paper |
| Temporal causality in reactive systems | 2023-06-02 | Paper |
| Model checking quantitative hyperproperties | 2023-05-26 | Paper |
| Synthesizing reactive systems from hyperproperties | 2023-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875388 | 2023-02-03 | Paper |
| Model Checking Branching Properties on Petri Nets with Transits | 2022-12-22 | Paper |
| Explainable Reactive Synthesis | 2022-12-22 | Paper |
| Dependency-Based Compositional Synthesis | 2022-12-22 | Paper |
| Probabilistic Hyperproperties of Markov Decision Processes | 2022-12-22 | Paper |
| Software Verification of Hyperproperties Beyond k-Safety | 2022-12-07 | Paper |
| Explaining Hyperproperty Violations | 2022-12-07 | Paper |
| Information Flow Guided Synthesis | 2022-12-07 | Paper |
| The Density of Linear-Time Properties | 2022-08-12 | Paper |
| Live synthesis | 2022-06-22 | Paper |
| Runtime enforcement of hyperproperties | 2022-06-22 | Paper |
| Compositional synthesis of modular systems | 2022-06-22 | Paper |
| A temporal logic for asynchronous hyperproperties | 2022-03-25 | Paper |
| Causality-based game solving | 2022-03-25 | Paper |
| Model checking algorithms for hyperproperties (invited paper) | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995371 | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3388743 | 2021-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964727 | 2021-03-03 | Paper |
| Realizing \(\omega\)-regular hyperproperties | 2021-02-09 | Paper |
| \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL | 2021-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5136318 | 2020-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5136320 | 2020-11-25 | Paper |
| Encodings of Bounded Synthesis | 2020-08-05 | Paper |
| Approximate Automata for Omega-Regular Languages | 2020-07-20 | Paper |
| Program Repair for Hyperproperties | 2020-07-20 | Paper |
| Model Checking Data Flows in Concurrent Network Updates | 2020-07-20 | Paper |
| Synthesis from hyperproperties | 2020-03-06 | Paper |
| Monitoring hyperproperties | 2019-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967242 | 2019-07-03 | Paper |
| Bounded Cycle Synthesis | 2019-05-03 | Paper |
| Synthesizing skeletons for reactive systems | 2018-10-25 | Paper |
| The First-Order Logic of Hyperproperties | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608665 | 2018-03-21 | Paper |
| Algorithms for model checking HyperLTL and HyperCTL\(^*\) | 2018-03-01 | Paper |
| Is Your Software on Dope? | 2017-05-19 | Paper |
| Petri games: synthesis of distributed systems with causal memory | 2017-03-16 | Paper |
| Bounded Synthesis for Petri Games | 2015-11-04 | Paper |
| Detecting Unrealizability of Distributed Fault-tolerant Systems | 2015-10-29 | Paper |
| Monitoring Parametric Temporal Logic | 2015-01-13 | Paper |
| Fast DQBF Refutation | 2014-09-26 | Paper |
| Counting Models of Linear-Time Temporal Logic | 2014-03-31 | Paper |
| Causality-Based Verification of Multi-threaded Programs | 2013-08-12 | Paper |
| Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds | 2013-01-07 | Paper |
| Counterexample-Guided Synthesis of Observation Predicates | 2012-11-21 | Paper |
| The Complexity of Bounded Synthesis for Timed Control with Partial Observability | 2012-11-21 | Paper |
| Abstraction Refinement for Games with Incomplete Information. | 2012-10-19 | Paper |
| Template-Based Controller Synthesis for Timed Systems | 2012-06-29 | Paper |
| Model Checking Information Flow in Reactive Systems | 2012-06-15 | Paper |
| Lazy Synthesis | 2012-06-15 | Paper |
| Weak Kripke Structures and LTL | 2011-09-02 | Paper |
| Coordination Logic | 2010-09-03 | Paper |
| Synthesis of Fault-Tolerant Distributed Systems | 2009-12-01 | Paper |
| LTL Path Checking Is Efficiently Parallelizable | 2009-07-14 | Paper |
| Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus | 2009-03-12 | Paper |
| Automatic Synthesis of Assumptions for Compositional Model Checking | 2009-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601408 | 2009-02-10 | Paper |
| Subsequence Invariants | 2008-11-25 | Paper |
| Distributed Synthesis for Alternating-Time Logics | 2008-07-03 | Paper |
| Bounded Synthesis | 2008-07-03 | Paper |
| Slicing Abstractions | 2008-07-01 | Paper |
| Synthesis of Asynchronous Systems | 2007-09-10 | Paper |
| Model Checking Software | 2007-05-02 | Paper |
| SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS | 2007-03-13 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Collecting statistics over runtime executions | 2006-01-23 | Paper |
| Checking finite traces using alternating automata | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769574 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358284 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4070636 | 1973-01-01 | Paper |
| Direct algorithms in quadratic programming | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5615808 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626437 | 1969-01-01 | Paper |
