Stijn de Gouw - RankMe

48 papers B 10Misc 1Journal 15Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Analysis and formal specification of OpenJDK's BitSet: Proof files. Sci. Comput. Program. Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw
2025	J	`jnl`	Footprint Logic for Object-Oriented Components (extended paper). Formal Aspects Comput. Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
2023	B	`conf`	Analysis and Formal Specification of OpenJDK's BitSet. iFM Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw
2023	B	`conf`	Dynamic Separation Logic. MFPS Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
2023	J	`jnl`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2023	—	`conf`	Multiparty Session Typing in Java, Deductively. TACAS (2) Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans
2023	B	`conf`	The Logic of Separation Logic: Models and Proofs. TABLEAUX Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
2022	—	`conf`	Footprint Logic for Object-Oriented Components. FACS Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
2022	B	`conf`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2022	J	`jnl`	Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
2022	—	`conf`	Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods Frank S. de Boer, Stijn de Gouw
2022	J	`jnl`	Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2021	B	`conf`	Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
2020	—	`ch.`	A Tutorial on Verifying LinkedList Using KeY. 20 Years of KeY Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2020	B	`conf`	History-Based Specification and Verification of Java Collections in KeY. IFM Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2020	—	`conf`	Hybrid Analysis of BPEL Models with Grammars. SOFSEM (Doctoral Student Research Forum) Erwin de Jager, Stijn de Gouw
2020	—	`conf`	Verifying OpenJDK's LinkedList using KeY. TACAS (2) Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
2019	B	`conf`	Offline Oracles for Accessibility Evaluation with the TESTAR Tool. RCIS Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos
2019	J	`jnl`	On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
2019	J	`jnl`	Verifying OpenJDK's LinkedList using KeY. CoRR Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
2019	J	`jnl`	Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2018	—	`conf`	Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development Frank S. de Boer, Stijn de Gouw
2017	—	`conf`	Human-in-the-Loop Simulation of Cloud Services. ESOCC Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw
2017	—	`ch.`	Run-Time Deadlock Detection. Provably Correct Systems Frank S. de Boer, Stijn de Gouw
2016	—	`conf`	Declarative Elasticity in ABS. ESOCC Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2016	—	`conf`	Effectively Eliminating Auxiliaries. Theory and Practice of Formal Methods Stijn de Gouw, Jurriaan Rot
2016	J	`jnl`	Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2016	B	`conf`	Run-Time Checking Multi-threaded Java Programs. SOFSEM Frank S. de Boer, Stijn de Gouw
2016	—	`conf`	Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
2016	—	`ch.`	Verification of Counting Sort and Radix Sort. Deductive Software Verification Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2015	—	`conf`	Being and Change: Reasoning About Invariance. Correct System Design Frank S. de Boer, Stijn de Gouw
2015	J	`jnl`	Fixing the Sorting Algorithm for Android, Java and Python. ERCIM News Stijn de Gouw, Frank S. de Boer
2015	—	`conf`	Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer
2015	—	`conf`	On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2015	—	`conf`	OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
2015	J	`jnl`	Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu
2014	—	`conf`	Combining Monitoring with Run-Time Assertion Checking. SFM Frank S. de Boer, Stijn de Gouw
2014	J	`jnl`	Monitoring method call sequences using annotations. Sci. Comput. Program. Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
2014	J	`jnl`	Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2014	J	`jnl`	Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
2013	B	`conf`	Run-Time Verification of Coboxes. SEFM Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
2013	Misc	`conf`	Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
2013	B	`conf`	Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2012	—	`conf`	Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. FACS Frank S. de Boer, Stijn de Gouw
2012	J	`jnl`	Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
2010	—	`conf`	Monitoring Method Call Sequences Using Annotations. FACS Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
2010	—	`conf`	Prototyping a tool environment for run-time assertion checking in JML with communication histories. FTfJP@ECOOP Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju