Cornelis Pronk

Publication Activity (10 Years)

Years Active: 1990-2011
Publications (10 Years): 0

Publications

Bob de Vos, Lennart C. L. Kats, Cornelis Pronk
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. SPIN (2011)
Paul Taverne, Cornelis Pronk
RAFFS: Model Checking a Robust Abstract Flash File Store. ICFEM (2009)
Bo Wang, Cornelis Pronk
Design and implementation of a GUI for the TLC model checker. ACM SIGPLAN Notices 41 (12) (2006)
Peter van der Spek, Nico Plat, Cornelis Pronk
Syntax error repair for a Java-based parser generator. ACM SIGPLAN Notices 40 (4) (2005)
Cornelis Pronk, Martin Schönhacker
Formal definition of programming language standards. ACM SIGPLAN Notices 38 (8) (2003)
Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
Specification of Real-Time Systems in UML. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Cornelis Pronk, Martin Schönhacker
Constructing formal language definitions, can we manage? What can we learn from Modula-2 standardization? Comput. Stand. Interfaces 19 (2) (1998)
Cornelis Pronk, Richard J. Sutcliffe
Scalable Modules in Generic Modula-2. JMLC (1997)
Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, A. Wiedemann
Standardized Extensions to Modula-2. ACM SIGPLAN Notices 32 (11) (1997)
Peter G. Kluit, Cornelis Pronk, Rob Verver
Static Type Checking and Method Lookup in Plop!. JMLC (1997)
B. Noorduin, Jan van Katwijk, Cornelis Pronk
Gnass: a Gnat-based allocation and scheduling system. RTCSA (1996)
Cornelis Pronk, Martin Schönhacker
ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. ACM SIGPLAN Notices 31 (8) (1996)
Martin Schönhacker, Cornelis Pronk
ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. ACM SIGPLAN Notices 31 (8) (1996)
Frans Ververs, Cornelis Pronk
On the Interaction between Metrics and Patterns. OOIS (1995)
Cornelis Pronk
Stress Testing of Compilers for Modula-2. Softw. Pract. Exp. 22 (10) (1992)
J. C. Admiral, Cornelis Pronk
Distributed store allocation and file management for transputer networks. Microprocess. Microsystems 14 (1) (1990)