| 2008 |
|---|
| 11 | EE | Ronald Middelkoop,
Cornelis Huizing,
Ruurd Kuiper,
Erik J. Luit:
Invariants for Non-Hierarchical Object Structures.
Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008) |
| 10 | EE | 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 |
|---|
| 9 | EE | 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 |
|---|
| 8 | | Cornelis Huizing,
Ruurd Kuiper,
Teade Punter,
Alexander Serebrenik:
Looking for Stability.
DDoPS 2005: 31-44 |
| 2000 |
|---|
| 7 | EE | Kees Huizing,
Ruurd Kuiper:
Verification of Object Oriented Programs Using Class Invariants.
FASE 2000: 208-221 |
| 1994 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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
Springer 1992 |
| 1991 |
|---|
| 4 | | Cornelis Huizing,
Rob Gerth:
Semantics of Reactive Systems in Abstract Time.
REX Workshop 1991: 291-314 |
| 3 | | Cornelis Huizing,
Willem P. de Roever:
Introduction to Design Choices in the Semantics of Statecharts.
Inf. Process. Lett. 37(4): 205-213 (1991) |
| 1988 |
|---|
| 2 | | Cornelis Huizing,
Rob Gerth,
Willem P. de Roever:
Modeling Statecharts Behaviour in a Fully Abstract Way.
CAAP 1988: 271-294 |
| 1987 |
|---|
| 1 | | 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 |
