| Publication | Date of Publication | Type |
|---|
Automatic WSTS-based repair and deadlock detection of parameterized systems
Formal Methods in System Design | 2025-10-21 | Paper |
| Data, scripts, and results from SYNTCOMP 2024 | 2024-06-20 | Dataset |
| Synthesis of distributed agreement-based systems with efficiently-decidable verification | 2024-04-05 | Paper |
| Data, scripts, and results from SYNTCOMP 2023 | 2023-07-04 | Dataset |
| scientific article; zbMATH DE number 7701430 (Why is no real title available?) | 2023-06-26 | Paper |
| Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings | 2022-07-21 | Paper |
| Distributed PROMPT-LTL synthesis | 2021-12-07 | Paper |
Distributed PROMPT-LTL synthesis
(available as arXiv preprint) | 2021-12-07 | Paper |
Validation of abstract side-channel models for computer architectures
(available as arXiv preprint) | 2021-02-04 | Paper |
Promptness and bounded fairness in concurrent and parameterized systems
(available as arXiv preprint) | 2020-08-05 | Paper |
Efficient Information-Flow Verification Under Speculative Execution
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Analyzing guarded protocols: better cutoffs, more systems, more expressivity
Lecture Notes in Computer Science | 2020-07-07 | Paper |
A symbolic algorithm for lazy synthesis of eager strategies
Acta Informatica | 2020-03-06 | Paper |
Parameterized synthesis of self-stabilizing protocols in symmetric networks
Acta Informatica | 2020-03-06 | 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 |
Distributed synthesis for parameterized temporal logics
Information and Computation | 2018-09-27 | Paper |
Tight cutoffs for guarded protocols with fairness
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Parameterized Model Checking of Token-Passing Systems
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Towards efficient parameterized synthesis
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Reductions for synthesis procedures
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Parameterized Synthesis
Logical Methods in Computer Science | 2014-03-24 | Paper |
Applications of hierarchical reasoning in the verification of complex systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Parameterized synthesis
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 |
Towards Complete Reasoning about Axiomatic Specifications
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Incremental Instance Generation in Local Reasoning
Computer Aided Verification | 2009-06-30 | Paper |
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
On Local Reasoning in Verification
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Comparing instance generation methods for automated reasoning
Journal of Automated Reasoning | 2007-05-04 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
