default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCornelis Huizing
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c20]Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos:
A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC 2021: 68-69
2010 – 2019
- 2019
- [j3]Dan Zhang, Dragan Bosnacki, Mark van den Brand
, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019) - [c19]Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers:
Evaluation of a Structured Design Methodology for Concurrent Programming. CSERC 2019: 58-65 - 2016
- [c18]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273 - [c17]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs:
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c16]Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang:
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - 2014
- [c15]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs:
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS 2014: 64-69 - [p1]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Pandora's Box. HOWARD-60 2014: 258-270 - 2012
- [c14]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 2012: 168-180 - [c13]Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon:
Visualization of Object-oriented (Java) Programs. CSEDU (1) 2012: 65-72 - 2010
- [c12]Cornelis Huizing, Ron Koymans, Ruurd Kuiper:
A Small Step for Mankind. Concurrency, Compositionality, and Correctness 2010: 66-73 - [c11]Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Halting Still Standing - Programs versus Specifications. UTP 2010: 226-233
2000 – 2009
- 2008
- [j2]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Informaticae 85(1-4): 377-398 (2008) - 2006
- [c10]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Invariants for Non-Hierarchical Object Structures. SBMF 2006: 211-229 - 2005
- [c9]Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik:
Looking for Stability. DDoPS 2005: 31-44 - [c8]Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Cooperation-based Invariants for OO Languages. FACS 2005: 225-237 - 2000
- [c7]Kees Huizing, Ruurd Kuiper:
Verification of Object Oriented Programs Using Class Invariants. FASE 2000: 208-221 - [c6]Mark Bruls, Kees Huizing, Jarke J. van Wijk:
Squarified Treemaps. VisSym 2000: 33-42
1990 – 1999
- 1994
- [c5]Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC 1994: 59-76 - [c4]Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine 1994: 14-41 - 1992
- [e1]J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg:
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Lecture Notes in Computer Science 600, Springer 1992, ISBN 3-540-55564-1 [contents] - 1991
- [j1]Cornelis Huizing, Willem P. de Roever:
Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett. 37(4): 205-213 (1991) - [c3]Cornelis Huizing, Rob Gerth:
Semantics of Reactive Systems in Abstract Time. REX Workshop 1991: 291-314
1980 – 1989
- 1988
- [c2]Cornelis Huizing, Rob Gerth, Willem P. de Roever:
Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP 1988: 271-294 - 1987
- [c1]Cornelis Huizing, Rob Gerth, Willem P. de Roever:
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL 1987: 223-237
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
