30 citations · 38 across the 3 of their papers we have counts for
3 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 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
Swen Jacobs, Nicolas Basset, Roderick Bloem +11
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
CTL* synthesis via LTL synthesis
Roderick Bloem, Sven Schewe, Ayrat Khalimov
We reduce synthesis for CTL* properties to synthesis for LTL. In the context of model checking this is impossible - CTL* is more expressive than LTL. Yet, in synthesis we have know…