Research output per year
Research output per year
Fingerprint
Dive into the research topics where Stijn de Gouw is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Verifying OpenJDK's Sort Method for Generic Collections
Gouw, S. D., Boer, F. S. D., Bubel, R., Hähnle, R., Rot, J. & Steinhöfel, D., 31 Jan 2019, In: Journal of Automated Reasoning. 62, 1, p. 93-126 34 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access3 Citations (Web of Science) -
Verifying OpenJDK's LinkedList using KeY
Hiep, H.-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Integrating ADTs in KeY and their application to history-based reasoning about collection
Bian, J., Hiep, H. D. A., de Boer, F. S. & de Gouw, S., 9 May 2023, In: Formal Methods in System Design. 61, 1, p. 63-89Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Formal Specification and Verification of JDK's Identity Hash Map Implementation
Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 13 Sept 2023, In: Formal Aspects of Computing. 35, 3, 26 p., 18.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Analysis and formal specification of OpenJDK's BitSet: Proof files
Tatman, A. S., Hiep, H. D. A. & de Gouw, S., Apr 2025, In: Science of Computer Programming. 241, 103232.Research output: Contribution to journal › Article › Academic › peer-review
Prizes
-
Best paper award ESOCC 2017
de Gouw, S. (Recipient), 2017
Prize: Prize (including medals and awards) › Academic
-
Best paper award iFM 2022
de Gouw, S. (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
-
Google Bug Hunters
Hiep, H.-D. A. (Recipient), Maathuis, O. (Recipient), Boer, F. S. D. (Recipient), de Gouw, S. (Recipient) & Bian, J. (Recipient), 22 Jun 2023
Prize: Prize (including medals and awards) › Professional