BM
Benedikt Maderbacher
cs.LOcs.FLcs.GTcs.SEcs.SYeess.SY
On Valency
published · living versionsW_wdqhkpst·v1 · currentpublished
Formal Specifications with Data-Driven Signal Analysis
with Roderick Bloem, Cristinel Mateis, Dejan Ničković, Sergii Tkachov +1
1 version
Preprints & journals
4 papers in the corpus · 2018–2025Parameterized Infinite-State Reactive Synthesis2508.00613v1 · Benedikt Maderbacher, Roderick Bloem2025 · 1 citationarXiv
Reactive Synthesis Modulo Theories Using Abstraction Refinement2108.00090v1 · Benedikt Maderbacher, Roderick Bloem2021 · 13 citationsarXiv
Adaptive Testing for Specification Coverage2010.06674v2 · Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher et al.2020 · 0 citationsarXiv
Bounded Synthesis of Register Transducers1809.05017v1 · Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem2018 · 23 citationsarXiv
Career total: 18 works. 4 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.