Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. - Cornelis Huizing; Rob Gerth; Willem P. de Roever (POPL, 1987)

Modeling Statecharts Behaviour in a Fully Abstract Way. - Cornelis Huizing; Rob Gerth; Willem P. de Roever (CAAP, 1988)

Semantics of Reactive Systems in Abstract Time. - Cornelis Huizing; Rob Gerth (REX Workshop, 1991)

Introduction to Design Choices in the Semantics of Statecharts. - Cornelis Huizing; Willem P. de Roever (Inf. Process. Lett., 1991)

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 001 (EDCC, 1994)

Formal Semantics for Ward & Mellor's Transformation Schemas. - Carsta Petersohn; Willem-Paul de Roever; Cornelis Huizing; Jan Peleska 001 (Refine, 1994)

Verification of Object Oriented Programs Using Class Invariants. - Kees Huizing; Ruurd Kuiper 001 (FASE, 2000)

Squarified Treemaps. - Mark Bruls; Kees Huizing; Jarke J. van Wijk (VisSym, 2000)

Looking for Stability. - Cornelis Huizing; Ruurd Kuiper 001; Teade Punter; Alexander Serebrenik (DDoPS, 2005)

Cooperation-based Invariants for OO Languages. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (FACS, 2005)

Invariants for Non-Hierarchical Object Structures. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (SBMF, 2006)

Specification and Verification of Invariants by Exploiting Layers in OO Designs. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (Fundam. Informaticae, 2008)

A Small Step for Mankind. - Cornelis Huizing; Ron Koymans; Ruurd Kuiper 001 (Concurrency, Compositionality, and Correctness, 2010)

Halting Still Standing - Programs versus Specifications. - Cornelis Huizing; Ruurd Kuiper 001; Tom Verhoeff (UTP, 2010)

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. - Cornelis Huizing; Ruurd Kuiper 001; Tom Verhoeff (Turing-100, 2012)

Visualization of Object-oriented (Java) Programs. - Cornelis Huizing; Ruurd Kuiper 001; Christian Luijten; Vincent Vandalon (CSEDU (1), 2012)

Pandora's Box. - Ronald Middelkoop; Cornelis Huizing; Ruurd Kuiper 001; Erik J. Luit (HOWARD-60, 2014)

Towards Verified Java Code Generation from Concurrent State Machines. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Luc Engelen; Cornelis Huizing; Ruurd Kuiper 001; Anton Wijs (AMT@MoDELS, 2014)

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (MODELSWARD (Revised Selected Papers), 2016)

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Ruurd Kuiper 001; Bart Jacobs 002; Anton Wijs (MODELSWARD, 2016)

Dependency Safety for Java: Implementing Failboxes. - Dragan Bosnacki; Mark van den Brand; Philippe Denissen; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs; Maciej Wilkowski; Dan Zhang 002 (PPPJ, 2016)

Evaluation of a Structured Design Methodology for Concurrent Programming. - Lex Bijlsma 001; Kees Huizing; Ruurd Kuiper 001; Harrie Passier; Harold Pootjes; Sjaak Smetsers (CSERC, 2019)

Dependency safety for Java - Implementing and testing failboxes. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (Sci. Comput. Program., 2019)

A Structured (Java) Exercise Repository with Automated Feedback (SERF). - Harrie Passier; Cornelis Huizing; Arjan J. F. Kok; Ruurd Kuiper 001; Lex Bijlsma 001; Erik Scheffers; Stefano Schivo; Tanja E. J. Vos (CSERC, 2021)

Guided Object-Oriented Development. - Harrie Passier; Lex Bijlsma 001; Ruurd Kuiper 001; Kees Huizing (CoRR, 2024)

Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming. - Arjan J. F. Kok; Lex Bijlsma 001; Cornelis Huizing; Ruurd Kuiper 001; Harrie Passier (Informatics Educ., 2024)