Follow
Cornelis Huizing
Title
Cited by
Cited by
Year
Squarified treemaps
M Bruls, K Huizing, JJ Van Wijk
Data Visualization 2000: Proceedings of the Joint EUROGRAPHICS and IEEE TCVG …, 2000
8972000
Modelling statecharts behaviour in a fully abstract way
C Huizing, R Gerth, WP de Roever
Colloquium on Trees in Algebra and Programming, 271-294, 1988
1101988
Semantics of reactive systems in abstract time
C Huizing, R Gerth
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992
771992
Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science
JW de Bakker, C Huizing, WP de Roever, G Rozenberg
Springer-Verlag, Berlin, 1992
721992
Introduction to design choices in the semantics of Statecharts
C Huizing, WP de Roever
Information Processing Letters 37 (4), 205-213, 1991
721991
Verification of object oriented programs using class invariants
K Huizing, R Kuiper, SOOP
Fundamental Approaches to Software Engineering: Third International …, 2000
662000
Real-Time: Theory in Practice
JW De Bakker, C Huizing, WP de Roever, G Rozenberg
Lecture Notes in Computer Science 600, 1991
661991
Semantics of reactive systems: comparison and full abstraction
C Huizing
451991
Full abstraction of a real-time denotational semantics for an OCCAM-like language
C Huizing, R Gerth, WP deRoever
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987
371987
Invariants for non-hierarchical object structures
R Middelkoop, C Huizing, R Kuiper, EJ Luit
Electronic Notes in Theoretical Computer Science 195, 211-229, 2008
242008
Formal semantics for Ward & Mellor’s transformation schemas
C Petersohn, WP de Roever, C Huizing, J Peleska
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994
241994
Visualization of dynamic program aspects
P Deelen, F van Ham, C Huizing, H van de Wetering
2007 4th IEEE International Workshop on Visualizing Software for …, 2007
192007
On the semantics of reactive systems
C Huizing, R Gerth
Semantics of Reactive Systems: Comparison and Full Abstraction p 103-120(SEE …, 1991
171991
Full abstraction of a denotational semantics for real-time concurrency
C Huizing, RT Gerth, WP De Roever
Technische Universiteit Eindhoven, 1986
141986
A separation logic proof system for a class-based language
R Middelkoop, K Huizing, R Kuiper
Proceedings of LRPP, 18, 2004
122004
Towards verified java code generation from concurrent state machines
D Zhang, D Bosnacki, MGJ van den Brand, LJP Engelen, C Huizing, ...
conference; Workshop on Analysis of Model Transformations, 64-69, 2014
112014
A comparison of Ward & Mellor's transformation schema with state & activitycharts
J Peleska, C Huizing, C Petersohn
Technische Universiteit Eindhoven, 1994
111994
Reinforcing fragile base classes
K Huizing, R Kuiper
Workshop on Formal Techniques for Java Programs, ECOOP 2001, 2001
102001
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ...
Model-Driven Engineering and Software Development: 4th International …, 2017
92017
A small step for mankind
C Huizing, R Koymans, R Kuiper
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem …, 2010
92010
The system can't perform the operation now. Try again later.
Articles 1–20