48 citations · 121 across the 9 of their papers we have counts for
9 papers
OpenSEA: Semi-Formal Methods for Soft Error Analysis
Patrick Klampfl, Robert Koenighofer, Roderick Bloem +3
Alpha-particles and cosmic rays cause bit flips in chips. Protection circuits ease the problem, but cost chip area and power, and so designers try hard to optimize them. This leads…
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
Swen Jacobs, Roderick Bloem
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic.…
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Romain Brenguier +13
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…
Shield Synthesis: Runtime Enforcement for Reactive Systems
Roderick Bloem, Bettina Koenighofer, Robert Koenighofer +1
Scalability issues may prevent users from verifying critical properties of a complex hardware design. In this situation, we propose to synthesize a "safety shield" that is attached…
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…