30 citations · 152 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 20 cited
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…
cs.SE2014★ 19 cited
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…