Stijn De Gouw

Available identifiers

zbMath Open de-gouw.stijnMaRDI QIDQ439943

List of research outcomes

Publication	Date of Publication	Type
Formal specification and verification of JDK's identity hash map implementation	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	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	2019-02-15	Paper
Run-Time Checking Multi-threaded Java Programs	2016-03-10	Paper
Being and Change: Reasoning About Invariance	2015-11-04	Paper
Proof pearl: The KeY to correct and stable sorting	2015-06-23	Paper
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks	2014-11-04	Paper
Verification of object-oriented programs: a transformational approach	2012-08-17	Paper

Research outcomes over time

This page was built for person: Stijn De Gouw