default search action
Cornelis Pronk
Person information
- affiliation: Delft University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [c10]Bob de Vos, Lennart C. L. Kats, Cornelis Pronk:
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. SPIN 2011: 177-182
2000 – 2009
- 2009
- [c9]Paul Taverne, Cornelis Pronk:
RAFFS: Model Checking a Robust Abstract Flash File Store. ICFEM 2009: 226-245 - 2006
- [j9]Bo Wang, Cornelis Pronk:
Design and implementation of a GUI for the TLC model checker. ACM SIGPLAN Notices 41(12): 38-43 (2006) - 2005
- [j8]Peter J. van der Spek
, Nico Plat
Syntax error repair for a Java-based parser generator. ACM SIGPLAN Notices 40(4): 47-50 (2005) - 2003
- [j7]Cornelis Pronk, Martin Schönhacker:
Formal definition of programming language standards. ACM SIGPLAN Notices 38(8): 20-21 (2003) - 2000
- [c8]Ella E. Roubtsova
Specification of Real-Time Systems in UML. MTCS 2000: 293-305
1990 – 1999
- 1998
- [j6]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): 143-154 (1998) - 1997
- [j5]Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, Albert Wiedemann:
Standardized Extensions to Modula-2. ACM SIGPLAN Notices 32(11): 34-48 (1997) - [c7]Peter G. Kluit, Cornelis Pronk, Rob Verver:
Static Type Checking and Method Lookup in Plop!. JMLC 1997: 155-169 - [c6]Cornelis Pronk, Richard J. Sutcliffe:
Scalable Modules in Generic Modula-2. JMLC 1997: 310-320 - 1996
- [j4]Cornelis Pronk, Martin Schönhacker:
ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. ACM SIGPLAN Notices 31(8): 74-83 (1996) - [j3]Martin Schönhacker, Cornelis Pronk:
ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. ACM SIGPLAN Notices 31(8): 84-95 (1996) - [c5]B. Noorduin, Jan van Katwijk, Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285 - 1995
- [c4]Frans Ververs, Cornelis Pronk:
On the Interaction between Metrics and Patterns. OOIS 1995: 303-314 - 1992
- [j2]Cornelis Pronk:
Stress Testing of Compilers for Modula-2. Softw. Pract. Exp. 22(10): 885-897 (1992) - 1991
- [c3]Nico Plat
A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105 - [c2]Nico Plat
The Delft VDM-SL Front-End. VDM Europe (1) 1991: 677-680 - 1990
- [j1]J. C. Admiral, Cornelis Pronk:
Distributed store allocation and file management for transputer networks. Microprocess. Microsystems 14(1): 10-16 (1990) - [c1]Nico Plat
Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: