Person:439943

Available identifiers

zbMath Open de-gouw.stijnMaRDI QIDQ439943

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stijn De Gouw