| 2023 | IFM | Analysis and Formal Specification of OpenJDK's BitSet. | Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | TABLEAUX | The Logic of Separation Logic: Models and Proofs. | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | TACAS | Multiparty Session Typing in Java, Deductively. | Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans |
| 2022 | IFM | Formal Specification and Verification of JDK's Identity Hash Map Implementation. | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl |
| 2021 | FM | Integrating ADTs in KeY and Their Application to History-Based Reasoning. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw |
| 2020 | IFM | History-Based Specification and Verification of Java Collections in KeY. | Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
| 2020 | SOFSEM | Hybrid Analysis of BPEL Models with Grammars. | Erwin de Jager, Stijn de Gouw |
| 2020 | TACAS | Verifying OpenJDK's LinkedList using KeY. | Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw |
| 2019 | RCIS | Offline Oracles for Accessibility Evaluation with the TESTAR Tool. | Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos |
| 2016 | SOFSEM | Run-Time Checking Multi-threaded Java Programs. | Frank S. de Boer, Stijn de Gouw |
| 2015 | CAV | OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. | Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hhnle |
| 2013 | SAC | Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. | Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong |
| 2013 | SEFM | Run-Time Verification of Coboxes. | Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
| 2013 | SOFSEM | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2010 | ECOOP | Prototyping a tool environment for run-time assertion checking in JML with communication histories. | Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju |