Cornelis Huizing

Kees Huizing

	2012
14		Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon: Visualization of Object-oriented (Java) Programs. CSEDU (1) 2012: 65-72
	2010
13		Cornelis Huizing, Ron Koymans, Ruurd Kuiper: A Small Step for Mankind. Concurrency, Compositionality, and Correctness 2010: 66-73
12		Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff: Halting Still Standing - Programs versus Specifications. UTP 2010: 226-233
	2008
11		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		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		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		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, Jacobus W. de Bakker)	[5]
2	Rob Gerth	[1] [2] [4]
3	Ron Koymans	[13]
4	Ruurd Kuiper	[7] [8] [9] [10] [11] [12] [13] [14]
5	Christian Luijten	[14]
6	Erik J. Luit	[9] [10] [11]
7	Ronald Middelkoop	[9] [10] [11]
8	Jan Peleska	[6]
9	Carsta Petersohn	[6]
10	Teade Punter	[8]
11	Willem P. de Roever (Willem-Paul de Roever)	[1] [2] [3] [5] [6]
12	Grzegorz Rozenberg	[5]
13	Alexander Serebrenik	[8]
14	Vincent Vandalon	[14]
15	Tom Verhoeff	[12]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page