| Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank J Stoel, T Storm, J Vinju, J Bosman Proceedings of the 1st Industry Track on Software Language Engineering, 13-20, 2016 | 20 | 2016 |
| Constraint-based run-time state migration for live modeling U Tikhonova, J Stoel, T Van Der Storm, T Degueule Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018 | 12 | 2018 |
| AlleAlle: bounded relational model finding with unbounded data J Stoel, T Van Der Storm, JJ Vinju Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas …, 2019 | 9 | 2019 |
| Modeling with Mocking J Stoel, T van der Storm, J Vinju 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 7 | 2021 |
| A case for rebel, a dsl for product specifications J Stoel Proceedings of Domain-specific Language Design and Implementation 2015 …, 2015 | 2 | 2015 |
| Transforming an Internal Textual DSL into a Blended Modelling Environment A Mifsud, G Samaritaki, U Tikhonova, J Stoel Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming …, 2023 | 1 | 2023 |
| Exploring the Detection of Method Naming Anomalies J Stoel University of Amsterdam, 2012 | 1 | 2012 |
| Solving the Bank: Lightweight Specification and Verification Techniques for Enterprise Software J Stoel | | 2023 |
| Solving the Bank JH STOEL | | |
| A case for Rebel J Stoel | | |
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Email confirmado em cwi.nl
