| 2016 | MODELSWARD | Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs |
| 2016 | MODELSWARD | Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs |
| 2015 | ECOOP | Modular Termination Verification. | Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper |
| 2014 | MODELS | Towards Verified Java Code Generation from Concurrent State Machines. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs |
| 2012 | CSEDU | Visualization of Object-oriented (Java) Programs. | Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon |
| 2000 | FASE | Verification of Object Oriented Programs Using Class Invariants. | Kees Huizing, Ruurd Kuiper |
| 1993 | CONCUR | Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). | Shengzong Zhou, Rob Gerth, Ruurd Kuiper |
| 1992 | CONCUR | Interface Refinement in Reactive Systems (Extended Abstract). | Rob Gerth, Ruurd Kuiper, John Segers |
| 1992 | CONCUR | Propositional Temporal Logics and Equivalences. | Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
| 1986 | POPL | A Really Abstract Concurrent Model and its Temporal Logic. | Howard Barringer, Ruurd Kuiper, Amir Pnueli |
| 1984 | CONCUR | Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. | Howard Barringer, Ruurd Kuiper |
| 1984 | STOC | Now You May Compose Temporal Logic Specifications | Howard Barringer, Ruurd Kuiper, Amir Pnueli |