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
International Conference on Computer Aided Verification, 273-289, 2015
642015
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
182019
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
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
172012
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
142014
Declarative elasticity in ABS
S De Gouw, J Mauro, B Nobakht, G Zavattaro
European Conference on Service-Oriented and Cloud Computing, 118-134, 2016
132016
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
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
Combining monitoring with run-time assertion checking
FS de Boer, S de Gouw
International School on Formal Methods for the Design of Computer …, 2014
92014
Statically and dynamically verifiable SLA metrics
E Giachino, S De Gouw, C Laneve, B Nobakht
Theory and Practice of Formal Methods, 211-225, 2016
82016
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
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
72015
Monitoring method call sequences using annotations
B Nobakht, MM Bonsangue, FS de Boer, S de Gouw
International Workshop on Formal Aspects of Component Software, 53-70, 2010
72010
Verifying OpenJDK’s LinkedList using KeY
HDA Hiep, O Maathuis, J Bian, FS de Boer, M van Eekelen, S de Gouw
International Conference on Tools and Algorithms for the Construction and …, 2020
62020
Being and change: reasoning about invariance
FS de Boer, S de Gouw
Correct System Design, 191-204, 2015
62015
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
Run-time verification of coboxes
FS de Boer, S de Gouw, PYH Wong
International Conference on Software Engineering and Formal Methods, 259-273, 2013
52013
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
42017
Run-time verification of black-box components using behavioral specifications: An experience report on tool development
FS de Boer, S de Gouw
International Workshop on Formal Aspects of Component Software, 128-133, 2012
42012
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
S de Gouw, F de Boer, W Ahrendt, R Bubel
Software & Systems Modeling 15 (4), 1117-1140, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20