Fully Generalized Reactivity(1) Synthesis
TACAS’24, with R.Ehlers
pdf
slides
bibtex
A Generic Solution to Register-Bounded Synthesis with Application to Discrete Orders
ICALP’22, with L.Exibard and E.Filiot
pdf
slides
bibtex
Church Synthesis on Register Automata over Linearly Ordered Data Domains
STACS’21, with L.Exibard and E.Filiot
pdf
video
bibtex
Register-Bounded Synthesis
CONCUR’19, with O. Kupferman
pdf
slides
bibtex
Bounded Synthesis of Register Transducers
ATVA’18, with B. Maderbacher and R. Bloem
pdf
slides
bibtex
poem_abstract
Reactive synthesis: branching logic & parameterized systems
PhD thesis’18
pdf
slides
bibtex
OpenSEA: Semi-Formal Methods for Soft Error Analysis
arxiv’17, with P. Klampfl, R. Koenighofer, R. Bloem, A. Abu-Yonis, S. Moran
pdf
tool
bibtex
Note: the paper was rejected from FMCAD’17 (it is not very well written, I must admit),
and we did not have energy to re-submit it.
Patrick Klampfl defended his MS thesis on this topic.
CTL* Synthesis via LTL Synthesis
SYNT’17, with Roderick Bloem and Sven Schewe
pdf
slides
poster
bibtex
Note: this workshop version has an incorrect note on page 13 right before theorem 1.
Bounded Synthesis for Streett, Rabin, and CTL*
CAV’17, with Roderick Bloem
pdf
slides
bibtex
video
Note: the conference version contains errors in proofs, the fixed version is in my thesis.
Decidability in Parameterized Verification
SIGACT News’16, with Roderick Bloem, Swen Jacobs, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
pdf
bibtex
Note: this is the journal version of our book with the same name.
Tight Cutoffs for Guarded Protocols with Fairness
VMCAI’16, with Simon Ausserlechner and Swen Jacobs
pdf
bibtex
Note: see also a better formated version in my thesis.
Decidability of Parameterized Verification
book, with Roderick Bloem, Swen Jacobs, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
link
bibtex
Specification Format for Reactive Synthesis Problems
SYNT’15
pdf
slides
bibtex
Parameterized Model Checking of Token-Passing Systems
VMCAI’14, with Benjamin Aminof, Swen Jacobs, Sasha Rubin
pdf
bibtex
Parameterized Synthesis Case Study: AMBA AHB
SYNT’14, with Swen Jacobs and Roderick Bloem
pdf
slides
bibtex
Note: the version contains bugs in the theory part,
please read the version in my thesis.
PARTY: Parameterized Synthesis of Token Rings
CAV’13, with Swen Jacobs and Roderick Bloem
pdf
slides
poster
tool
bibtex
Towards Efficient Parameterized Synthesis
VMCAI’13, with Swen Jacobs and Roderick Bloem
pdf
slides
bibtex
Note: the conference version contains several errors, please either read this version,
or, even better, my thesis.