Stijn de Gouw

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 32

Top Topics

Service Level Agreements

Formal Specification

Compositional Semantics

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Autom. Reason.

Publications

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. 35 (3) (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
The Logic of Separation Logic: Models and Proofs. TABLEAUX (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
Dynamic Separation Logic. CoRR (2023)
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw
Analysis and Formal Specification of OpenJDK's BitSet. iFM (2023)
Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans
Multiparty Session Typing in Java, Deductively. TACAS (2) (2023)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM (2022)
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
Footprint Logic for Object-Oriented Components. FACS (2022)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Frank S. de Boer, Stijn de Gouw
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61 (1) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM (2021)
Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
History-Based Specification and Verification of Java Collections in KeY. IFM (2020)
Erwin de Jager, Stijn de Gouw
Hybrid Analysis of BPEL Models with Grammars. SOFSEM (Doctoral Student Research Forum) (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos
Offline Oracles for Accessibility Evaluation with the TESTAR Tool. RCIS (2019)
Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. 107 (2019)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62 (1) (2019)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Frank S. de Boer, Stijn de Gouw
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development (2018)
Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw
Human-in-the-Loop Simulation of Cloud Services. ESOCC (2017)
Stijn de Gouw, Jurriaan Rot
Effectively Eliminating Auxiliaries. Theory and Practice of Formal Methods (2016)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. 15 (4) (2016)
Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Declarative Elasticity in ABS. ESOCC (2016)
Frank S. de Boer, Stijn de Gouw
Run-Time Checking Multi-threaded Java Programs. SOFSEM (2016)
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods (2016)
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
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC (2015)
Frank S. de Boer, Stijn de Gouw
Being and Change: Reasoning About Invariance. Correct System Design (2015)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) (2015)
Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC (2015)
Stijn de Gouw, Frank S. de Boer
Fixing the Sorting Algorithm for Android, Java and Python. ERCIM News 2015 (102) (2015)
Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
Monitoring method call sequences using annotations. Sci. Comput. Program. 94 (2014)
Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2014)
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. 53 (2) (2014)
Frank S. de Boer, Stijn de Gouw
Combining Monitoring with Run-Time Assertion Checking. SFM (2014)
Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC (2013)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM (2013)
Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
Run-Time Verification of Coboxes. SEFM (2013)
Frank S. de Boer, Stijn de Gouw
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. FACS (2012)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78 (3) (2012)
Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju
Prototyping a tool environment for run-time assertion checking in JML with communication histories. FTfJP@ECOOP (2010)
Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
Monitoring Method Call Sequences Using Annotations. FACS (2010)