Cornelis Huizing

23 papers A* 1C 1Misc 1Journal 4Unranked 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming.
Informatics Educ.
Arjan J. F. Kok, Lex Bijlsma, Cornelis Huizing, Ruurd Kuiper, Harrie Passier
2021 — conf
A Structured (Java) Exercise Repository with Automated Feedback (SERF).
CSERC
Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos
2019 J jnl
Dependency safety for Java - Implementing and testing failboxes.
Sci. Comput. Program.
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2016 — conf
Dependency Safety for Java: Implementing Failboxes.
PPPJ
Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang
2016 C conf
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.
MODELSWARD
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs
2016 — conf
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
MODELSWARD (Revised Selected Papers)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2014 — ch.
Pandora's Box.
HOWARD-60
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2014 — conf
Towards Verified Java Code Generation from Concurrent State Machines.
AMT@MoDELS
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
2012 — conf
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.
Turing-100
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
2012 — conf
Visualization of Object-oriented (Java) Programs.
CSEDU (1)
Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon
2010 — conf
A Small Step for Mankind.
Concurrency, Compositionality, and Correctness
Cornelis Huizing, Ron Koymans, Ruurd Kuiper
2010 — conf
Halting Still Standing - Programs versus Specifications.
UTP
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
2008 J jnl
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Fundam. Informaticae
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2006 — conf
Invariants for Non-Hierarchical Object Structures.
SBMF
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2005 — conf
Cooperation-based Invariants for OO Languages.
FACS
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
2005 — conf
Looking for Stability.
DDoPS
Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
1994 Misc conf
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.
EDCC
Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
1994 — conf
Formal Semantics for Ward & Mellor's Transformation Schemas.
Refine
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
1992 — ed.
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
REX Workshop
J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg
1991 J jnl
Introduction to Design Choices in the Semantics of Statecharts.
Inf. Process. Lett.
Cornelis Huizing, Willem P. de Roever
1991 — conf
Semantics of Reactive Systems in Abstract Time.
REX Workshop
Cornelis Huizing, Rob Gerth
1988 — conf
Modeling Statecharts Behaviour in a Fully Abstract Way.
CAAP
Cornelis Huizing, Rob Gerth, Willem P. de Roever
1987 A* conf
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.
POPL
Cornelis Huizing, Rob Gerth, Willem P. de Roever