Jouke Stoel

Full Name

J. Stoel

Email

Phone

+31 20 592 4249

Room

L220

Department(s)

Software Analysis and Transformation

Function(s)

PhD student

Jouke Stoel

Stoel, J. (2023, November 8). Solving the bank : lightweight specification and verification techniques for enterprise software. IPA dissertation series.
Stoel, J., van der Storm, T., & Vinju, J. (2021). Modeling with mocking. In Proceedings of the International Conference on Software Testing (pp. 59–70). doi:10.1109/ICST49551.2021.00018
Stoel, J., van der Storm, T., & Vinju, J. (2019). AlleAlle: Bounded relational model finding with unbounded data. In Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 (pp. 46–61). doi:10.1145/3359591.3359726
Tikhonova, U., van der Storm, T., Stoel, J., & Degueule, T. (2018). Constraint-based run-time state migration for live modeling. In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018 (pp. 108–120). doi:10.1145/3276604.3276611
Stoel, J., van der Storm, T., Vinju, J., & Bosman, J. (2016). Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. In ITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016 (pp. 13–20). doi:10.1145/2998407.2998413
Stoel, J. (2015). A Case for Rebel, a DSL for product specifications. In Proceedings of Domain-specific Language Design and Implementation 2015 (DSLDI 0) (pp. 9–11). arXiv.

Best Software Engineering Technology Paper, ICT OPEN (2019)