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
1062015
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
442019
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
242014
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
202015
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
182016
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
162020
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
142015
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
132023
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
122017
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
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
102019
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
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
72020
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
72016
The system can't perform the operation now. Try again later.
Articles 1–20