48 citations · 362 across the 28 of their papers we have counts for
6 papers · 1 filter
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs +1
Synthesis of program parts is very useful for concurrent systems. However, most synthesis approaches do not support common design tasks, like modifying a single process without hav…
Parameterized Synthesis Case Study: AMBA AHB
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
We revisit the AMBA AHB case study that has been used as a benchmark for several reactive synthesis tools. Synthesizing AMBA AHB implementations that can serve a large number of ma…
How to Handle Assumptions in Synthesis
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs +1
The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how t…
Parameterized Synthesis Case Study: AMBA AHB (extended version)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
We revisit the AMBA AHB case study that has been used as a benchmark for several reactive syn- thesis tools. Synthesizing AMBA AHB implementations that can serve a large number of…
Extended AIGER Format for Synthesis
Swen Jacobs
We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one form…
Parameterized Synthesis
Swen Jacobs, Roderick Bloem
We study the synthesis problem for distributed architectures with a parametric number of finite-state components. Parameterized specifications arise naturally in a synthesis settin…