| Publication | Date of Publication | Type |
|---|
| Counterfactual explanations for MITL violations | 2026-06-12 | Paper |
Symbolic execution for refuting hyperproperties
Acta Informatica | 2025-11-01 | Paper |
Explainability requirements as hyperproperties
Acta Informatica | 2025-11-01 | Paper |
Predicate abstraction for hyperliveness verification
Formal Methods in System Design | 2025-08-25 | Paper |
| Temporal behavior trees -- segmentation | 2025-04-25 | Paper |
| Temporal behavior trees: robustness and segmentation | 2025-04-25 | Paper |
| Deductive verification of modular systems | 2025-03-19 | Paper |
| Counterfactuals modulo temporal logics | 2025-02-19 | Paper |
| Model checking omega-regular hyperproperties with AutoHyperQ | 2025-02-19 | Paper |
| The hierarchy of hyperlogics | 2024-12-19 | Paper |
| Deciding hyperproperties combined with functional specifications | 2024-12-06 | Paper |
| Synthesizing dominant strategies for liveness | 2024-09-12 | Paper |
scientific article; zbMATH DE number 7830376 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-10 | Paper |
| Concurrent hyperproperties | 2024-02-28 | Paper |
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Verifying hyperliveness
Computer Aided Verification | 2024-02-16 | Paper |
Synthesizing approximate implementations for unrealizable specifications
Computer Aided Verification | 2024-02-16 | Paper |
Temporal stream logic: synthesis beyond the Bools
Computer Aided Verification | 2024-02-16 | Paper |
scientific article; zbMATH DE number 7799630 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-05 | Paper |
Temporal stream logic modulo theories
Lecture Notes in Computer Science | 2024-01-23 | Paper |
| Second-order hyperproperties | 2024-01-12 | Paper |
| Bounded model checking for asynchronous hyperproperties | 2023-12-13 | Paper |
| AutoHyper: explicit-state model checking for HyperLTL | 2023-12-13 | Paper |
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Logical Methods in Computer Science | 2023-08-26 | Paper |
scientific article; zbMATH DE number 7730626 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
Bounded synthesis of reactive programs
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Temporal causality in reactive systems
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Model checking quantitative hyperproperties
Computer Aided Verification | 2023-05-26 | Paper |
Synthesizing reactive systems from hyperproperties
Computer Aided Verification | 2023-05-26 | Paper |
scientific article; zbMATH DE number 7649934 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Probabilistic Hyperproperties of Markov Decision Processes
1517.68228 | 2022-12-22 | Paper |
Dependency-Based Compositional Synthesis
1517.68234 | 2022-12-22 | Paper |
Explainable Reactive Synthesis
1517.68223 | 2022-12-22 | Paper |
Model Checking Branching Properties on Petri Nets with Transits
1517.68233 | 2022-12-22 | Paper |
| Explaining Hyperproperty Violations | 2022-12-07 | Paper |
| Software Verification of Hyperproperties Beyond k-Safety | 2022-12-07 | Paper |
| Information Flow Guided Synthesis | 2022-12-07 | Paper |
The Density of Linear-Time Properties
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Compositional synthesis of modular systems
(available as arXiv preprint) | 2022-06-22 | Paper |
Live synthesis
(available as arXiv preprint) | 2022-06-22 | Paper |
Runtime enforcement of hyperproperties
(available as arXiv preprint) | 2022-06-22 | Paper |
A temporal logic for asynchronous hyperproperties
(available as arXiv preprint) | 2022-03-25 | Paper |
Causality-based game solving
(available as arXiv preprint) | 2022-03-25 | Paper |
Model checking algorithms for hyperproperties (invited paper)
(available as arXiv preprint) | 2021-10-18 | Paper |
| Petri games: synthesis of distributed systems with causal memory | 2021-06-24 | Paper |
| Lossy channel games under incomplete information | 2021-05-06 | Paper |
Lossy channel games under incomplete information
(available as arXiv preprint) | 2021-05-06 | Paper |
| Reactive safety | 2021-03-03 | Paper |
Reactive safety
(available as arXiv preprint) | 2021-03-03 | Paper |
Realizing \(\omega\)-regular hyperproperties
(available as arXiv preprint) | 2021-02-09 | Paper |
\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
(available as arXiv preprint) | 2021-02-09 | Paper |
scientific article; zbMATH DE number 7278100 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-25 | Paper |
Symmetric synthesis
(available as arXiv preprint) | 2020-11-25 | Paper |
Encodings of bounded synthesis
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Program Repair for Hyperproperties
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Approximate automata for omega-regular languages
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Approximate automata for omega-regular languages
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Model checking data flows in concurrent network updates
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Synthesis from hyperproperties
Acta Informatica | 2020-03-06 | Paper |
Monitoring hyperproperties
Formal Methods in System Design | 2019-11-25 | Paper |
| Temporal hyperproperties | 2019-07-03 | Paper |
Bounded Cycle Synthesis
Computer Aided Verification | 2019-05-03 | Paper |
Synthesizing skeletons for reactive systems
(available as arXiv preprint) | 2018-10-25 | Paper |
The first-order logic of hyperproperties
(available as arXiv preprint) | 2018-04-19 | Paper |
scientific article; zbMATH DE number 6851935 (Why is no real title available?)
(available as arXiv preprint) | 2018-03-21 | Paper |
| Algorithms for model checking HyperLTL and HyperCTL^* | 2018-03-01 | Paper |
Is Your Software on Dope?
Programming Languages and Systems | 2017-05-19 | Paper |
Petri games: synthesis of distributed systems with causal memory
Information and Computation | 2017-03-16 | Paper |
Bounded synthesis for Petri games
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Detecting unrealizability of distributed fault-tolerant systems
Logical Methods in Computer Science | 2015-10-29 | Paper |
Monitoring parametric temporal logic
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Fast DQBF Refutation
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Counting Models of Linear-Time Temporal Logic
Language and Automata Theory and Applications | 2014-03-31 | Paper |
Causality-based verification of multi-threaded programs
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Efficient parallel path checking for linear-time temporal logic with past and bounds
Logical Methods in Computer Science | 2013-01-07 | Paper |
Counterexample-guided synthesis of observation predicates
Lecture Notes in Computer Science | 2012-11-21 | Paper |
The Complexity of Bounded Synthesis for Timed Control with Partial Observability
Lecture Notes in Computer Science | 2012-11-21 | Paper |
| Abstraction refinement for games with incomplete information | 2012-10-19 | Paper |
Template-based controller synthesis for timed systems
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Lazy synthesis
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Model Checking Information Flow in Reactive Systems
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Weak Kripke structures and LTL
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Coordination logic
Computer Science Logic | 2010-09-03 | Paper |
Synthesis of fault-tolerant distributed systems
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
LTL Path Checking Is Efficiently Parallelizable
Automata, Languages and Programming | 2009-07-14 | Paper |
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
Computer Science Logic | 2009-03-12 | Paper |
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science | 2009-03-11 | Paper |
| scientific article; zbMATH DE number 5506101 (Why is no real title available?) | 2009-02-10 | Paper |
Subsequence Invariants
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Bounded Synthesis
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Distributed Synthesis for Alternating-Time Logics
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Slicing Abstractions
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Synthesis of Asynchronous Systems
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Collecting statistics over runtime executions
Formal Methods in System Design | 2006-01-23 | Paper |
Checking finite traces using alternating automata
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 1701748 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 4211569 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3488925 (Why is no real title available?) | 1973-01-01 | Paper |
Direct algorithms in quadratic programming
Zeitschrift für Operations Research | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3339001 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3351347 (Why is no real title available?) | 1969-01-01 | Paper |
