Login / Signup
Joost Gabriels
Publication Activity (10 Years)
Years Active: 2009-2015
Publications (10 Years): 0
Top Topics
Neural Network
Statistical Model
Parameter Estimation
Control Flow
Top Venues
FACS
</>
Publications
</>
Dragan Bosnacki
,
Mark van den Brand
,
Joost Gabriels
,
Bart Jacobs
,
Ruurd Kuiper
,
Sybren Roede
,
Anton Wijs
,
Dan Zhang
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
FACS
(2015)
Melike Bozkaya
,
Joost Gabriels
,
Jan Martijn E. M. van der Werf
Process Diagnostics: A Method Based on Process Mining.
eKNOW
(2009)