Login / Signup
David Seekatz
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 2
Top Topics
Higher Order
Statistical Analysis
Computational Model
Metamodel
Top Venues
ICSE (Companion Volume)
SAS
</>
Publications
</>
Daniel Schoepe
,
David Seekatz
,
Ilina Stoilkovska
,
Sandro Stucki
,
Daniel Tattersall
,
Pauline Bolignano
,
Franco Raimondi
,
Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages.
SAS
(2023)
Mojtaba Bagherzadeh
,
Nicolas Hili
,
David Seekatz
,
Juergen Dingel
MDebugger: a model-level debugger for UML-RT.
ICSE (Companion Volume)
(2018)