Follow
Stijn de Gouw
Stijn de Gouw
Assistant Professor, Open University, The Netherlands
Verified email at ou.nl
Title
Cited by
Cited by
Year
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
1012015
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
402019
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
232014
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
192015
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
192012
Declarative elasticity in ABS
S De Gouw, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 118-134, 2016
172016
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
132020
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
132015
Combining monitoring with run-time assertion checking
FS de Boer, S de Gouw
Formal Methods for Executable Software Models: 14th International School on …, 2014
122014
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
122010
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
112016
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
112014
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
102017
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
92023
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
92019
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
92019
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
82015
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
82014
Run-time checking of data-and protocol-oriented properties of Java programs: an industrial case study
S de Gouw, FS de Boer, EB Johnsen, PYH Wong
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1573-1578, 2013
72013
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
62020
The system can't perform the operation now. Try again later.
Articles 1–20