Stijn de Gouw
Stijn de Gouw
Assistant Professor, Open University, The Netherlands
Verified email at
Cited by
Cited by
OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case
S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Verifying OpenJDK’s sort method for generic collections
S De Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of Automated Reasoning 62, 93-126, 2019
Proof pearl: the KeY to correct and stable sorting
S de Gouw, F de Boer, J Rot
Journal of automated reasoning 53, 129-139, 2014
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17, 107-119, 2015
Verification of object-oriented programs: A transformational approach
KR Apt, FS de Boer, ER Olderog, S de Gouw
Journal of Computer and System Sciences 78 (3), 823-852, 2012
Declarative elasticity in ABS
S De Gouw, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 118-134, 2016
Verifying OpenJDK’s LinkedList using KeY
HDA Hiep, O Maathuis, J Bian, FS de Boer, M van Eekelen, S de Gouw
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
On the integration of automatic deployment into the ABS modeling language
S De Gouw, M Lienhardt, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 49-64, 2015
Formal specification and verification of JDK’s identity hash map implementation
M De Boer, S De Gouw, J Klamroth, C Jung, M Ulbrich, A Weigl
Formal Aspects of Computing 35 (3), 1-26, 2023
Human-in-the-loop simulation of cloud services
N Bezirgiannis, F De Boer, S De Gouw
European Conference on Service-Oriented and Cloud Computing, 143-158, 2017
Combining monitoring with run-time assertion checking
FS de Boer, S de Gouw
Formal Methods for Executable Software Models: 14th International School on …, 2014
Prototyping a tool environment for run-time assertion checking in JML with communication histories
FS de Boer, S de Gouw, J Vinju
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010
Statically and dynamically verifiable SLA metrics
E Giachino, S De Gouw, C Laneve, B Nobakht
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
Monitoring method call sequences using annotations
B Nobakht, FS de Boer, MM Bonsangue, S de Gouw, MM Jaghoori
Science of Computer Programming 94, 362-378, 2014
On the modeling of optimal and automatized cloud application deployment
S de Gouw, J Mauro, G Zavattaro
Journal of Logical and Algebraic Methods in Programming 107, 108-135, 2019
Offline oracles for accessibility evaluation with the TESTAR tool
F de Gier, D Kager, S de Gouw, EJT Vos
2019 13th International Conference on Research Challenges in Information …, 2019
Formal verification of service level agreements through distributed monitoring
B Nobakht, S De Gouw, FS de Boer
European Conference on Service-Oriented and Cloud Computing, 125-140, 2015
Run-time assertion checking of data-and protocol-oriented properties of Java programs: an industrial case study
FS de Boer, S de Gouw, EB Johnsen, A Kohn, PYH Wong
Transactions on Aspect-Oriented Software Development XI, 1-26, 2014
History-based specification and verification of Java collections in KeY
HDA Hiep, J Bian, FS de Boer, S de Gouw
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
Verification of counting sort and radix sort
S de Gouw, FS de Boer, J Rot
Deductive Software Verification–The KeY Book: From Theory to Practice, 609-618, 2016
The system can't perform the operation now. Try again later.
Articles 1–20