CP

C. Pronk

View Pure Profile

Authored

15 records found

The Esiac-10 Algebraic Computer

A theoretical decomposition by the Historic Collection

Journal article - C. Pronk, P.J. Trimp
A description of the working pricciples of the Esiac-10 Algebraic Computer@en

Displaying Decimal Numbers
Journal article - C. Pronk
Over the years engineers have dearched for means to display decimal numbers on measuring equipment. This paper presents an overview.@en

Extentions to the modula-2 language

Middleware for weal-time distributed simulation systems
Conference paper - M.M. van Paassen, C. Pronk, J Delatour

RAFFS: Model Checking a Robust Abstract Flash File Store
Conference paper - P Taverne, C. Pronk

RAFFS: Model Checking a Robust Abstract Flash File Store
Conference paper - P Taverne, C. Pronk

Syntax error repair for a Java-based parser generator
Journal article - P van der Spek, N Plat, C. Pronk

Model Checking, the Technology and the Tools
Conference paper - C. Pronk

Design and Implementation of a GUI for the TLC model checker
Journal article - B Wang, C. Pronk

Formal definition of programming language standards
Journal article - C. Pronk, M Schonhacker

Simona, real-time software in de praktijk
Journal article - C. Pronk, M.M. van Paassen

Specification of real-time systems in UML

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax
Conference paper - B Vos de, L.C.L. Kats, C. Pronk

Verifying FreeRTOS; a feasibility study
Report - C. Pronk

Measurements on (standard) Capacitors
Journal article - C. Pronk, P.J. Trimp