Skip to main navigation Skip to search Skip to main content
Stijn de Gouw

View Scopus Profile

Stijn de Gouw

Dr

 https://orcid.org/0000-0003-2964-6844
20102025

Research activity 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
View full fingerprint

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
Explore network further
  • 25 Conference Article in proceeding
  • 13 Article
  • 8 Chapter

  • 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 Access
    3   Link opens in a new tab 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-89

    Research 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

View all 46 research outputs