Dependency Safety for Java: Implementing Failboxes. - Dragan Bosnacki; Mark van den Brand; Philippe Denissen; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs; Maciej Wilkowski; Dan Zhang 002 (PPPJ, 2016)

Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. - Anton Wijs; Maciej Wilkowski (SEFM, 2019)