If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Stijn de Gouw is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Specifications Engineering & Materials Science
Monitoring Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Assertion Mathematics
Object-oriented Mathematics
Sorting Engineering & Materials Science
Auxiliary Variables Mathematics
Specification languages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 2018

  • 14 Conference article in proceeding
  • 6 Chapter
  • 6 Article

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Sorting

Proof Pearl: The KeY to Correct and Stable Sorting

Gouw, S. D., Boer, F. S. D. & Rot, J., 2014, In : Journal of Automated Reasoning. 53, 2, p. 129-139 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Sorting

Declarative Elasticity in ABS

Gouw, S. D., Mauro, J., Nobakht, B. & Zavattaro, G., 2016, Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Aiello, M., Broch Johnsen, E., Dustdar, S. & Georgievski, I. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Elasticity
Specification languages
Software design
Specifications
Modeling languages

Human-in-the-Loop Simulation of Cloud Services

Bezirgiannis, N., Boer, F. S. D. & Gouw, S. D., 2017, Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. De Paoli, F., Schulte, S. & Broch Johnsen, E. (eds.). Springer, p. 143-158 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Specifications
Specification languages
Engineers
Monitoring

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

Boer, F. S. D., Gouw, S. D., Johnsen, E. B., Kohn, A. & Wong, P. Y. H., 2014, Transactions on Aspect-Oriented Software Development XI. S. C., E. B., É. T., S. M. & J. K. (eds.). Springer, Vol. 11. p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 8400)(Transactions on Aspect-Oriented Software Development [discontinued series]).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Specifications
Testing
Industry

Prizes

Best paper award ESOCC 2017

Stijn de Gouw (Recipient), 2017

Prize: Prize (including medals and awards)Academic