Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. - Jouke Stoel; Tijs van der Storm; Jurgen J. Vinju; Joost Bosman 001 (ITSLE@SPLASH, 2016)

Constraint-based run-time state migration for live modeling. - Ulyana Tikhonova; Jouke Stoel; Tijs van der Storm; Thomas Degueule (SLE, 2018)

AlleAlle: bounded relational model finding with unbounded data. - Jouke Stoel; Tijs van der Storm; Jurgen J. Vinju (Onward!, 2019)

Modeling with Mocking. - Jouke Stoel; Tijs van der Storm; Jurgen J. Vinju (ICST, 2021)

Transforming an Internal Textual DSL into a Blended Modelling Environment. - Aleandro Mifsud; Georgia Samaritaki; Ulyana Tikhonova; Jouke Stoel (PAINT@SPLASH, 2023)