Cornelis Huizing
Cited by
Cited by
Squarified treemaps
M Bruls, K Huizing, JJ Van Wijk
Data visualization 2000, 33-42, 2000
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
Semantics of reactive systems in abstract time
C Huizing, R Gerth
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
Introduction to design choices in the semantics of Statecharts
C Huizing, WP de Roever
Information Processing Letters 37 (4), 205-213, 1991
Real-Time: Theory in Practice
JW De Bakker, C Huizing, WP De Roever, G Rozenberg
Lecture Notes in Computer Science 600, 1992
Verification of object oriented programs using class invariants
K Huizing, R Kuiper
International Conference on Fundamental Approaches to Software Engineering …, 2000
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
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
Semantics of reactive systems: comparison and full abstraction
C Huizing
Technische Universiteit Eindhoven, 1991
Invariants for non-hierarchical object structures
R Middelkoop, C Huizing, R Kuiper, EJ Luit
Electronic Notes in Theoretical Computer Science 195, 211-229, 2008
Formal semantics for Ward & Mellor’s transformation schemas
C Petersohn, WP de Roever, C Huizing, J Peleska
6th Refinement Workshop, 14-41, 1994
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
On the semantics of reactive systems
C Huizing, R Gerth
Semantics of Reactive Systems: Comparison and Full Abstraction p 103-120(SEE …, 1991
Squarified treemaps. Data Visualization 2000: Proc. Joint Eurographics and IEEE TCVG Symp. on Visualization
M Bruls, K Huizing, JJ Van Wijk
Springer-Verlag, 2000
A separation logic proof system for a class-based language
R Middelkoop, K Huizing, R Kuiper
Proceedings of LRPP, 18, 2004
Full abstraction of a denotational semantics for real-time concurrency
C Huizing, RT Gerth, WP De Roever
Computing science notes 8609, 1986
A comparison of Ward & Mellor's transformation schema with state & activitycharts
J Peleska, C Huizing, C Petersohn
Computing science notes 9411, 1994
Towards Verified Java Code Generation from Concurrent State Machines.
D Zhang, D Bosnacki, M van den Brand, L Engelen, C Huizing, R Kuiper, ...
AMT@ MoDELS, 64-69, 2014
Visualization of Object-oriented (Java) Programs.
C Huizing, R Kuiper, C Luijten, V Vandalon
CSEDU (1), 65-72, 2012
Reinforcing fragile base classes
K Huizing, R Kuiper
Workshop on Formal Techniques for Java Programs, ECOOP 2001, 2001
The system can't perform the operation now. Try again later.
Articles 1–20