48 citations · 165 across the 14 of their papers we have counts for
4 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…
Automatic Error Localization for Software using Deductive Verification
Robert Koenighofer, Ronald Toegl, Roderick Bloem
Even competent programmers make mistakes. Automatic verification can detect errors, but leaves the frustrating task of finding the erroneous line of code to the user. This paper pr…
SAT-Based Methods for Circuit Synthesis
Roderick Bloem, Uwe Egly, Patrick Klampfl +2
Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then cons…
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…