conf.researchr.org / Jouke Stoel

Registered user since Fri 8 May 2015

Name: Jouke Stoel

Affiliation: CWI

Contributions

SPLASH 2019Author of AlleAlle: Bounded Relational Model Finding with Unbounded Data within the Onward! Papers-track
SLE 2018Author of Constraint-based Run-time State Migration for Live Modeling within the SLE 2018-track
ITSLE 2016Author of Solving the Bank with Rebel within the ITSLE-track
DSLDI 2015Author of A case for Rebel, a DSL for product specifications within the DSLDI-track