Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benedikt Maderbacher
conf.researchr.org general profile
POPL 2025 profile
POPL 2026 profile
POPL 2027 profile
Registered user since Mon 17 Aug 2026
Name:
Benedikt Maderbacher
Country:
Germany
Affiliation:
CISPA Helmholtz Center for Information Security
Contributions
2027
VMCAI
Committee Member in Program Committee within the VMCAI 2027-track
2026
POPL
Author of Parameterized Infinite-State Reactive Synthesis within the POPL-track
2025
VMCAI
Author of Synthesis of Controllers for Continuous Blackbox Systems within the VMCAI 2025-track
Share
x
Sun 25 Oct 22:53