Stijn de Gouw

According to our database, Stijn de Gouw authored at least 45 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Analysis and formal specification of OpenJDK's BitSet: Proof files.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Sci. Comput. Program., 2025

2023

Formal Specification and Verification of JDK's Identity Hash Map Implementation.

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl

Formal Aspects Comput., September, 2023

Dynamic Separation Logic.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Multiparty Session Typing in Java, Deductively.

Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

The Logic of Separation Logic: Models and Proofs.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Analysis and Formal Specification of OpenJDK's BitSet.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Integrating ADTs in KeY and their application to history-based reasoning about collection.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Formal Methods Syst. Des., August, 2022

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

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Int. J. Softw. Tools Technol. Transf., 2022

Footprint Logic for Object-Oriented Components.

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

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

Frank S. de Boer, Stijn de Gouw

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

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

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

A Tutorial on Verifying LinkedList Using KeY.

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Verifying OpenJDK's LinkedList using KeY.

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Hybrid Analysis of BPEL Models with Grammars.

Erwin de Jager, Stijn de Gouw

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 2020), 2020

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

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

On the modeling of optimal and automatized cloud application deployment.

Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro

J. Log. Algebraic Methods Program., 2019

Verifying OpenJDK's Sort Method for Generic Collections.

Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel

J. Autom. Reason., 2019

Offline Oracles for Accessibility Evaluation with the TESTAR Tool.

Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

2018

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

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Compositional Semantics for Concurrent Object Groups in ABS.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Principled Software Development, 2018

2017

Human-in-the-Loop Simulation of Cloud Services.

Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw

Proceedings of the Service-Oriented and Cloud Computing, 2017

Run-Time Deadlock Detection.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Provably Correct Systems, 2017

2016

Verification of Counting Sort and Radix Sort.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

Proceedings of the Deductive Software Verification - The KeY Book, 2016

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

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Softw. Syst. Model., 2016

Run-Time Checking Multi-threaded Java Programs.

Frank S. de Boer, Stijn de Gouw

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Declarative Elasticity in ABS.

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro

Proceedings of the Service-Oriented and Cloud Computing, 2016

Effectively Eliminating Auxiliaries.

Stijn de Gouw, Jurriaan Rot

Proceedings of the Theory and Practice of Formal Methods, 2016

Statically and Dynamically Verifiable SLA Metrics.

Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Testing abstract behavioral specifications.

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Int. J. Softw. Tools Technol. Transf., 2015

Fixing the Sorting Algorithm for Android, Java and Python.

Stijn de Gouw, Frank S. de Boer

ERCIM News, 2015

Formal Verification of Service Level Agreements Through Distributed Monitoring.

Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

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

Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

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

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Being and Change: Reasoning About Invariance.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Correct System Design, 2015

2014

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

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

LNCS Trans. Aspect Oriented Softw. Dev., 2014

Monitoring method call sequences using annotations.

Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori

Sci. Comput. Program., 2014

Proof Pearl: The KeY to Correct and Stable Sorting.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

J. Autom. Reason., 2014

Combining Monitoring with Run-Time Assertion Checking.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Methods for Executable Software Models, 2014

2013

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

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Run-Time Verification of Coboxes.

Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012

Verification of object-oriented programs: A transformational approach.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw

J. Comput. Syst. Sci., 2012

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

Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010

Monitoring Method Call Sequences Using Annotations.

Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

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

Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010