No photo of Stijn Gouw de

View Scopus Profile

Stijn de Gouw

dr.

 https://orcid.org/0000-0003-2964-6844
20102023

Research activity per year

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.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 23 Conference Article in proceeding
  • 10 Article
  • 8 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 proceeding › Conference Article in proceeding › Academic › peer-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 journal › Article › Academic › peer-review

    2 Citations (Web of Science)

  • 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Chapter › Academic › peer-review

View all 41 research outputs