Stijn de Gouw

Full Name

Dr. C.P.T. de Gouw

Email

Stijn.de.Gouw@cwi.nl

Phone

+31 20 592 4015

Room

M352

Department(s)

Computer Security

Function(s)

Researcher

Stijn de Gouw

Tatman, A., Hiep, H.-D., & de Gouw, S. (2024). Analysis and formal specification of OpenJDK’s BitSet. In Integrated Formal Methods (pp. 134–152). doi:10.1007/978-3-031-47705-8_8
de Boer, F., Hiep, H.-D., & de Gouw, S. (2023). The logic of separation logic: Models and proofs. In 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Models, TABLEAUX 2023 (pp. 407–426). doi:10.1007/978-3-031-43513-3_22
Bian, J., Hiep, H.-D., de Boer, F., & de Gouw, S. (2023). Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods in System Design. doi:10.1007/s10703-023-00426-x
Bouma, J., de Gouw, S., & Jongmans, S. (2023). Multiparty session typing in Java, deductively. In 29th International Conference Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2023 (pp. 19–27). doi:10.1007/978-3-031-30820-8_3
de Boer, F., & de Gouw, S. (2022). Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software. A Tasting Menu of Formal Methods. doi:10.1007/978-3-031-08166-8_9
de Boer, F., de Gouw, S., Hiep, H.-D., & Bian, J. (2022). Footprint logic for object-oriented components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 141–160). doi:10.1007/978-3-031-20872-0_9
Bian, J., Hiep, H.-D., de Boer, F., & de Gouw, S. (2021). Integrating ADTs in KeY and their application to history-based reasoning. In Proceedings of the 24th International Symposium on Formal Methods, FM 2021 (pp. 255–272). doi:10.1007/978-3-030-90870-6_14
Hiep, H.-D., Bian, J., de Boer, F., & de Gouw, S. (2020). A Tutorial on Verifying LinkedList Using KeY. In Deductive Software Verification: Future Perspectives. doi:10.1007/978-3-030-64354-6_9
Hiep, H.-D., Bian, J., de Boer, F., & de Gouw, S. (2020). History-based specification and verification of Java Collections in KeY. In Integrated Formal Methods (pp. 199–217). doi:10.1007/978-3-030-63461-2_11
Hiep, H.-D., Maathuis, O., Bian, J., de Boer, F., van Eekelen, M., & de Gouw, S. (2020). Verifying OpenJDK's LinkedList using KeY. In TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems (pp. 217–234). doi:10.1007/978-3-030-45237-7_13

Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) (2017)