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.

  • 7 Similar Profiles

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

Research Output

  • 16 Conference article in proceeding
  • 8 Article
  • 6 Chapter

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

  • 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

  • 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

  • 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

  • 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 (LNCS subseries)).

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

  • Prizes

    Best paper award ESOCC 2017

    de Gouw, Stijn (Recipient), 2017

    Prize: Prize (including medals and awards)Academic