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 journalArticleAcademicpeer-review

    Open Access
    3 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 proceedingConference Article in proceedingAcademicpeer-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 journalArticleAcademicpeer-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 journalArticleAcademicpeer-review

    Open Access
  • Analysis and Formal Specification of OpenJDK's BitSet

    Tatman, A. S., Hiep, H-D. A. & Gouw, S. D., 2024, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 134-152 19 p. (Lecture Notes in Computer Science, Vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review