Stijn De Gouw

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dynamic separation logic	2026-04-02	Paper
Formal specification and verification of JDK's identity hash map implementation Formal Aspects of Computing	2024-09-27	Paper
The logic of separation logic: models and proofs	2024-05-17	Paper
Integrating ADTs in KeY and their application to history-based reasoning about collection Formal Methods in System Design	2024-01-08	Paper
Integrating ADTs in KeY and Their Application to History-Based Reasoning	2023-04-21	Paper
Formal specification and verification of JDK's identity hash map implementation	2022-08-19	Paper
Statically and dynamically verifiable SLA metrics	2021-05-20	Paper
Effectively eliminating auxiliaries	2021-05-20	Paper
Verifying OpenJDK's sort method for generic collections Journal of Automated Reasoning	2019-02-15	Paper
Run-time checking multi-threaded Java programs Lecture Notes in Computer Science	2016-03-10	Paper
Being and change: reasoning about invariance Lecture Notes in Computer Science	2015-11-04	Paper
Proof pearl: The KeY to correct and stable sorting Journal of Automated Reasoning	2015-06-23	Paper
Weak arithmetic completeness of object-oriented first-order assertion networks Lecture Notes in Computer Science	2014-11-04	Paper
Verification of object-oriented programs: a transformational approach Journal of Computer and System Sciences	2012-08-17	Paper

Research outcomes over time

This page was built for person: Stijn De Gouw