| AlleAlle: bounded relational model finding with unbounded data | 0 | 0.34 | 2019 |
| Constraint-based run-time state migration for live modeling. | 0 | 0.34 | 2018 |
| Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. | 0 | 0.34 | 2016 |
