We stand with Ukraine  

Cornelis Pronk

Affiliations:
  • Delft University of Technology, Netherlands


According to our database1, Cornelis Pronk authored at least 19 papers between 1990 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax.
[BibTeX]
[DOI]
Bob de Vos
,
Lennart C. L. Kats
,
Cornelis Pronk
Proceedings of the Model Checking Software, 2011

2009
RAFFS: Model Checking a Robust Abstract Flash File Store.
[BibTeX]
[DOI]
Paul Taverne
,
Cornelis Pronk
Proceedings of the Formal Methods and Software Engineering, 2009

2006
Design and implementation of a GUI for the TLC model checker.
[BibTeX]
[DOI]
Bo Wang
,
Cornelis Pronk
ACM SIGPLAN Notices, 2006

2005
Syntax error repair for a Java-based parser generator.
[BibTeX]
[DOI]
Peter J. van der Spek
,
Nico Plat
,
Cornelis Pronk
ACM SIGPLAN Notices, 2005

2003
Formal definition of programming language standards.
[BibTeX]
[DOI]
Cornelis Pronk
,
Martin Schönhacker
ACM SIGPLAN Notices, 2003

2000
Specification of Real-Time Systems in UML.
[BibTeX]
[DOI]
Ella E. Roubtsova
,
Jan van Katwijk
,
W. J. Toetenel
,
Cornelis Pronk
,
Ruud C. M. de Rooij
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1998
Constructing formal language definitions, can we manage? What can we learn from Modula-2 standardization?
[BibTeX]
[DOI]
Cornelis Pronk
,
Martin Schönhacker
Comput. Stand. Interfaces, 1998

1997
Standardized Extensions to Modula-2.
[BibTeX]
[DOI]
Cornelis Pronk
,
Martin Schönhacker
,
Richard J. Sutcliffe
,
Albert Wiedemann
ACM SIGPLAN Notices, 1997

Scalable Modules in Generic Modula-2.
[BibTeX]
[DOI]
Cornelis Pronk
,
Richard J. Sutcliffe
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Static Type Checking and Method Lookup in Plop!.
[BibTeX]
[DOI]
Peter G. Kluit
,
Cornelis Pronk
,
Rob Verver
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1996
ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions.
[BibTeX]
[DOI]
Martin Schönhacker
,
Cornelis Pronk
ACM SIGPLAN Notices, 1996

ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects.
[BibTeX]
[DOI]
Cornelis Pronk
,
Martin Schönhacker
ACM SIGPLAN Notices, 1996

Gnass: a Gnat-based allocation and scheduling system.
[BibTeX]
[DOI]
B. Noorduin
,
Jan van Katwijk
,
Cornelis Pronk
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

1995
On the Interaction between Metrics and Patterns.
[BibTeX]
[DOI]
Frans Ververs
,
Cornelis Pronk
Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995

1992
Stress Testing of Compilers for Modula-2.
[BibTeX]
[DOI]
Cornelis Pronk
Softw. Pract. Exp., 1992

1991
The Delft VDM-SL Front-End.
[BibTeX]
[DOI]
Nico Plat
,
Kees Pronk
,
Marcel Verhoef
Proceedings of the VDM '91, 1991

A Case for Structured Analysis/Formal Design.
[BibTeX]
[DOI]
Nico Plat
,
Jan van Katwijk
,
Kees Pronk
Proceedings of the VDM '91, 1991

1990
Distributed store allocation and file management for transputer networks.
[BibTeX]
[DOI]
J. C. Admiral
,
Cornelis Pronk
Microprocess. Microsystems, 1990

Type Checking BSI/VDM-SL.
[BibTeX]
[DOI]
Nico Plat
,
Ronald Huijsman
,
Jan van Katwijk
,
Gertjan van Oosten
,
Kees Pronk
,
Hans Toetenel
Proceedings of the VDM '90, 1990


  Loading...