Stijn de Gouw
8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Dynamic Separation Logic
Frank S. de Boer et al. (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS)
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep et al. (2022) · International Journal on Software Tools for Technology Transfer
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian et al. (2021) · 24th International Symposium on Formal Methods (FM)
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw et al. (2016) · Software and Systems Modeling
Being and Change: Reasoning About Invariance
Frank S. de Boer et al. (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt et al. (2012) · Journal of Computer and System Sciences