Cornelis Huizing

Kees Huizing

2008
10	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)
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

Coauthor Index

1	J. W. de Bakker (Jaco de Bakker)	[5]
2	Rob Gerth	[1] [2] [4]
3	Ruurd Kuiper	[7] [8] [9] [10]
4	Erik J. Luit	[9] [10]
5	Ronald Middelkoop	[9] [10]
6	Jan Peleska	[6]
7	Carsta Petersohn	[6]
8	Teade Punter	[8]
9	Willem P. de Roever	[1] [2] [3] [5] [6]
10	Grzegorz Rozenberg	[5]
11	Alexander Serebrenik	[8]