Cornelis Pronk

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