| 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 |
| 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 |
| 1994 | EDCC | Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska |
| 1987 | POPL | Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. | Cornelis Huizing, Rob Gerth, Willem P. de Roever |