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 Gouw, J Rot, FS Boer, R Bubel, R Hähnle
International Conference on Computer Aided Verification, 273-289, 2015
762015
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 (1), 93-126, 2019
212019
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
202012
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 (1), 107-119, 2015
172015
Proof pearl: the KeY to correct and stable sorting
S de Gouw, F de Boer, J Rot
Journal of automated reasoning 53 (2), 129-139, 2014
172014
Declarative elasticity in ABS
S Gouw, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 118-134, 2016
142016
On the integration of automatic deployment into the ABS modeling language
S Gouw, M Lienhardt, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 49-64, 2015
132015
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
132010
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
Combining monitoring with run-time assertion checking
FS Boer, S Gouw
International School on Formal Methods for the Design of Computer …, 2014
102014
Verifying OpenJDK’s LinkedList using KeY
HDA Hiep, O Maathuis, J Bian, FS Boer, M Eekelen, S Gouw
International Conference on Tools and Algorithms for the Construction and …, 2020
92020
Statically and dynamically verifiable SLA metrics
E Giachino, S Gouw, C Laneve, B Nobakht
Theory and Practice of Formal Methods, 211-225, 2016
92016
Run-time assertion checking of data-and protocol-oriented properties of java programs: an industrial case study
FS Boer, S Gouw, EB Johnsen, A Kohn, PYH Wong
Transactions on Aspect-Oriented Software Development XI, 1-26, 2014
92014
Human-in-the-loop simulation of cloud services
N Bezirgiannis, F Boer, S Gouw
European Conference on Service-Oriented and Cloud Computing, 143-158, 2017
72017
Formal verification of service level agreements through distributed monitoring
B Nobakht, S Gouw, FS Boer
European Conference on Service-Oriented and Cloud Computing, 125-140, 2015
72015
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
62019
Being and change: reasoning about invariance
FS Boer, S Gouw
Correct System Design, 191-204, 2015
62015
Run-time verification of coboxes
FS Boer, S Gouw, PYH Wong
International Conference on Software Engineering and Formal Methods, 259-273, 2013
62013
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
62013
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
52019
The system can't perform the operation now. Try again later.
Articles 1–20