logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
B

Benedikt Maderbacher

graz university of technology

5H-index
16Paper Count
57Citation Count
Published Papers 2
Publication Date
logo
Parameterized Infinite-State Reactive Synthesis
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errMaderbacher, Benedikt; Bloem, Roderick
errShare
errSave
Adaptive testing for specification coverage and refinement in CPS models
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-11-01
err2
errOAAI
errBartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Nickovic, Dejan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Roderick Bloem
H-index: 44 · Papers: 241
E
Ezio Bartocci
H-index: 37 · Papers: 266
D
Dejan Ničković
H-index: 28 · Papers: 157
N
Niveditha Manjunath
H-index: 8 · Papers: 32
All loaded