Cornelis Huizing

According to our database, Cornelis Huizing authored at least 27 papers between 1987 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formal Verification of Minimax Algorithms.

Wieger Wesselink, Kees Huizing, Huub van de Wetering

CoRR, September, 2025

2024

Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming.

Arjan J. F. Kok, Lex Bijlsma, Cornelis Huizing, Ruurd Kuiper, Harrie Passier

Informatics Educ., 2024

Guided Object-Oriented Development.

Harrie Passier, Lex Bijlsma, Ruurd Kuiper, Kees Huizing

CoRR, 2024

2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF).

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2019

Dependency safety for Java - Implementing and testing failboxes.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Sci. Comput. Program., 2019

Evaluation of a Structured Design Methodology for Concurrent Programming.

Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2016

Dependency Safety for Java: Implementing Failboxes.

Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

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

Proceedings of the MODELSWARD 2016, 2016

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

Proceedings of the Model-Driven Engineering and Software Development, 2016

2014

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

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Pandora's Box.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2012

Visualization of Object-oriented (Java) Programs.

Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon

Proceedings of the CSEDU 2012, 2012

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Turing-100, 2012

2010

Halting Still Standing - Programs versus Specifications.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Small Step for Mankind.

Cornelis Huizing, Ron Koymans, Ruurd Kuiper

Proceedings of the Concurrency, 2010

2008

Specification and Verification of Invariants by Exploiting Layers in OO Designs.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Fundam. Informaticae, 2008

2006

Invariants for Non-Hierarchical Object Structures.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Cooperation-based Invariants for OO Languages.

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Looking for Stability.

Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik

Proceedings of the Development and Deployment of Product Software, 2005

2000

Squarified Treemaps.

Mark Bruls, Kees Huizing, Jarke J. van Wijk

Proceedings of the 2nd Joint Eurographics - IEEE TCVG Symposium on Visualization, 2000

Verification of Object Oriented Programs Using Class Invariants.

Kees Huizing, Ruurd Kuiper

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1994

Formal Semantics for Ward & Mellor's Transformation Schemas.

Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska

Proceedings of the 6th Refinement Workshop, 1994

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

Proceedings of the Dependable Computing, 1994

1991

Introduction to Design Choices in the Semantics of Statecharts.

Cornelis Huizing, Willem P. de Roever

Inf. Process. Lett., 1991

Semantics of Reactive Systems in Abstract Time.

Cornelis Huizing, Rob Gerth

Proceedings of the Real-Time: Theory in Practice, 1991

1988

Modeling Statecharts Behaviour in a Fully Abstract Way.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the CAAP '88, 1988

1987

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987