Olaf Maathuis

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Artificial Intelligence

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)