Kees Huizing
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon: Visualization of Object-oriented (Java) Programs. CSEDU (1) 2012: 65-72 |
| 2010 | ||
| c8 |  | Cornelis Huizing, Ron Koymans, Ruurd Kuiper: A Small Step for Mankind. Concurrency, Compositionality, and Correctness 2010: 66-73 |
| c7 | | Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff: Halting Still Standing - Programs versus Specifications. UTP 2010: 226-233 |
| 2008 | ||
| j4 | | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Invariants for Non-Hierarchical Object Structures. Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008) |
| j3 | | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Inform. 85(1-4): 377-398 (2008) |
| 2006 | ||
| j2 | | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006) |
| 2005 | ||
| c6 | | Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik: Looking for Stability. DDoPS 2005: 31-44 |
| 2000 | ||
| c5 | | Kees Huizing, Ruurd Kuiper: Verification of Object Oriented Programs Using Class Invariants. FASE 2000: 208-221 |
| 1994 | ||
| c4 | | 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 |
| 1992 | ||
| e1 | | J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.): 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 |
| 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 |
| 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 |
| 1 | J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker) | |
| 2 | Rob Gerth | |
| 3 | Ron Koymans | |
| 4 | Ruurd Kuiper | |
| 5 | Christian Luijten | |
| 6 | Erik J. Luit | |
| 7 | Ronald Middelkoop | |
| 8 | Jan Peleska | |
| 9 | Carsta Petersohn | |
| 10 | Teade Punter | |
| 11 | Willem P. de Roever (Willem-Paul de Roever) | |
| 12 | Grzegorz Rozenberg | |
| 13 | Alexander Serebrenik | |
| 14 | Vincent Vandalon | |
| 15 | Tom Verhoeff |
Data released under the ODC-BY 1.0 license — See also our legal information page