Search the dblp DataBase

Publications of Author

1. Cornelis Huizing, Rob Gerth, Willem P. de Roever
   Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP]
   CAAP, 1988, pp:271-294 [Conf]
   
2. Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
   Looking for Stability. [Citation Graph (0, 0)][DBLP]
   DDoPS, 2005, pp:31-44 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   EDCC, 1994, pp:59-76 [Conf]
   
4. Cornelis Huizing, Rob Gerth, Willem P. de Roever
   Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
   POPL, 1987, pp:223-237 [Conf]
   
5. Cornelis Huizing, Rob Gerth
   Semantics of Reactive Systems in Abstract Time. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1991, pp:291-314 [Conf]
   
6. Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik Luit
   Cooperation-based Invariants for OO Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:225-237 [Journal]
   
7. Cornelis Huizing, Willem P. de Roever
   Introduction to Design Choices in the Semantics of Statecharts. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1991, v:37, n:4, pp:205-213 [Journal]
   
8. 
   A Small Step for Mankind. [Citation Graph (, )][DBLP]
   
   
9. 
   Invariants for Non-Hierarchical Object Structures. [Citation Graph (, )][DBLP]