Stijn de Gouw

View Scopus Profile

Stijn de Gouw

Dr

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

Research activity per year

  • 25 Conference Article in proceeding
  • 11 Article
  • 8 Chapter

Search results

  • 2024

    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 proceeding › Conference Article in proceeding › Academic › peer-review

  • 2023

    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

  • 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

  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Logic of Separation Logic: Models and Proofs

    de Boer, F. S., Hiep, H. D. A. & de Gouw, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 407-426 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14278 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2022

    Footprint Logic for Object-Oriented Components

    Boer, F. S. D., Gouw, S. D., Hiep, H.-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 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., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

    Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Verifying OpenJDK's LinkedList using KeY (extended paper)

    Hiep, H.-D. A., Maathuis, O., Bian, J., Boer, F. S. D. & Gouw, S. D., Oct 2022, In: International Journal on Software Tools for Technology Transfer. 24, 5, p. 783-802 20 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
  • 2021

    Integrating ADTs in KeY and Their Application to History-Based Reasoning

    Bian, J., Hiep, H.-D. A., Boer, F. S. D. & Gouw, S. D., Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). 1 ed. Cham: Springer, p. 255-272 18 p. (Lecture Notes in Computer Science, Vol. 13047). (Programming and Software Engineering LNPSE, Vol. 13047).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2020

    A Tutorial on Verifying LinkedList Using KeY

    Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • History-Based Specification and Verification of Java Collections in KeY

    Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings: 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Hybrid Analysis of BPEL Models with Grammars

    Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • 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
  • 2019

    Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., May 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • On the modeling of optimal and automatized cloud application deployment

    Gouw, S. D., Mauro, J. & Zavattaro, G., Oct 2019, In: Journal of Logical and Algebraic Methods in Programming. 107, p. 108-135 28 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    1 Citation (Web of Science)

  • 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 Citations (Web of Science)
  • 2018

    Compositional Semantics for Concurrent Object Groups in ABS

    Boer, F. S. D. & Gouw, S. D., 1 Jan 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2017

    Human-in-the-Loop Simulation of Cloud Services

    Bezirgiannis, N., Boer, F. S. D. & Gouw, S. D., 2017, Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. De Paoli, F., Schulte, S. & Broch Johnsen, E. (eds.). Springer, p. 143-158 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Run-Time Deadlock Detection

    Boer, F. S. D. & Gouw, S. D., 2017, Provably Correct Systems. Hinchey, M., P. Bowen, J. & Olderog, E.-R. (eds.). Springer, p. 245-264 20 p. (NASA Monographs in Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2016

    Declarative Elasticity in ABS

    Gouw, S. D., Mauro, J., Nobakht, B. & Zavattaro, G., 2016, Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Aiello, M., Broch Johnsen, E., Dustdar, S. & Georgievski, I. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Effectively Eliminating Auxiliaries

    Gouw, S. D. & Rot, J., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Broch Johnsen, E. (eds.). Springer, p. 226-241 16 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

    Gouw, S. D., Boer, F. S. D., Ahrendt, W. & Bubel, R., 2016, In: Software and System Modeling. 15, 4, p. 1117-1140 24 p.

    Research output: Contribution to journal › Article › Academic › peer-review

  • Run-Time Checking Multi-threaded Java Programs

    Boer, F. S. D. & Gouw, S. D., 2016, SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer, p. 217-228 12 p. (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Statically and Dynamically Verifiable SLA Metrics

    Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. E. Á., M. B. & E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Verification of Counting Sort and Radix Sort

    Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice. W. A., B. B., R. B., R. H., P. H. S. & M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2015

    Being and Change: Reasoning About Invariance

    Boer, F. S. D. & Gouw, S. D., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. R. M., A. P. & H. W. (eds.). 1 ed. Cham: Springer, p. 191-204 14 p. (Lecture Notes in Computer Science, Vol. 9360).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Fixing the Sorting Algorithm for Android, Java and Python

    Gouw, S. D. & Boer, F. S. D., 2015, In: ERCIM News. 2015, 102, p. 45-45 1 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    308 Downloads (Pure)

  • Formal Verification of Service Level Agreements Through Distributed Monitoring

    Nobakht, B., Gouw, S. D. & Boer, F. S. D., 2015, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. S. D., F. L. & M. V. (eds.). Springer, p. 125-140 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • On the Integration of Automatic Deployment into the ABS Modeling Language

    Gouw, S. D., Lienhardt, M., Mauro, J., Nobakht, B. & Zavattaro, G., 2015, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. S. D., F. L. & M. V. (eds.). Springer, p. 49-64 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Testing abstract behavioral specifications

    Wong, P. Y. H., Bubel, R., Boer, F. S. D., Gómez-Zamalloa, M., Gouw, S. D., Hähnle, R., Meinke, K. & Sindhu, M. A., 2015, In: International Journal on Software Tools for Technology Transfer. 17, 1, p. 107-119 13 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    3 Citations (Web of Science)
  • 2014

    Combining Monitoring with Run-Time Assertion Checking

    Boer, F. S. D. & Gouw, S. D., 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. M. B., F. D., R. H., E. B. J. & I. S. (eds.). Springer, p. 217-262 46 p. (Lecture Notes in Computer Science, Vol. 8483).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Monitoring method call sequences using annotations

    Nobakht, B., Boer, F. S. D., Bonsangue, M. M., Gouw, S. D. & Jaghoori, M. M., 2014, In: Science of computer programming. 94, pt.3, p. 362-378 17 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • Proof Pearl: The KeY to Correct and Stable Sorting

    Gouw, S. D., Boer, F. S. D. & Rot, J., 2014, In: Journal of Automated Reasoning. 53, 2, p. 129-139 11 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    2 Citations (Web of Science)

  • Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

    Boer, F. S. D., Gouw, S. D., Johnsen, E. B., Kohn, A. & Wong, P. Y. H., 2014, Transactions on Aspect-Oriented Software Development XI. S. C., E. B., É. T., S. M. & J. K. (eds.). Springer, Vol. 11. p. 1-26 26 p. (Lecture Notes in Computer Science, Vol. 8400). (Transactions on Aspect-Oriented Software Development (LNCS subseries)).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2013

    Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study

    Gouw, S. D., Boer, F. S. D., Johnsen, E. B. & Wong, P. Y. H., 2013, Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. New York, NY: ACM Digital Library, p. 1573-1578 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Run-Time Verification of Coboxes

    Boer, F. S. D., Gouw, S. D. & Wong, P. Y. H., 2013, Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. R. M. H., M. G. M. & M. B. (eds.). Springer, p. 259-273 15 p. (Lecture Notes in Computer Science, Vol. 8137).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

    Gouw, S. D., Boer, F. S. D., Ahrendt, W. & Bubel, R., 2013, SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 26-31, 2013. Proceedings. P. V. E. B., F. C. A. G., G. F. I., J. N. & H. S. (eds.). Springer, p. 207-219 13 p. (Lecture Notes in Computer Science, Vol. 7741).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2012

    Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

    Boer, F. S. D. & Gouw, S. D., 2012, Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. C. S. P. & G. S. (eds.). Springer, p. 128-133 6 p. (Lecture Notes in Computer Science, Vol. 7684).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Verification of object-oriented programs: A transformational approach

    Apt, K. R., Boer, F. S. D., Olderog, E.-R. & Gouw, S. D., May 2012, In: Journal of Computer and System Sciences. 78, 3, p. 823-852 30 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    9 Citations (Web of Science)
  • 2010

    Monitoring Method Call Sequences Using Annotations

    Nobakht, B., Bonsangue, M. M., Boer, F. S. D. & Gouw, S. D., 2010, Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. L. S. B. & M. L. (eds.). Springer, p. 53-70 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Prototyping a tool environment for run-time assertion checking in JML with communication histories

    Boer, F. S. D., Gouw, S. D. & Vinju, J. J., 2010, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. New York, NY: ACM Digital Library, p. 6:1-6:7 6

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review