8
Publications
212
Citations
8
H-Index
2003
Active since
Affiliations
Pieter Koopman is an author at Radboud University Nijmegen specializing in engineering, computer science, and system software.
Top concepts
EngineeringComputer ScienceSystem SoftwareSoftware DesignProgram AnalysisSoftware EngineeringFormal MethodsSoftware AnalysisSystems EngineeringComputer Engineering
Publications per year
2003–2018
8
8
Rinus Plasmeijer, Peter Achten, Pieter Koopman · 2007 · 56 citations
Task-oriented programming in a pure functional language
Rinus Plasmeijer, Bas Lijnse, Steffen Michels et al. · 2012 · 44 citations
Engineering, Distributed Programming, Concurrency (Computer Science) +20
GAST: Generic Automated Software Testing
Pieter Koopman, Artem Alimarine, Jan Tretmans et al. · 2003 · 42 citations
A Task-Based DSL for Microcomputers
Pieter Koopman, Mart Lubbers, Rinus Plasmeijer · 2018 · 17 citations
Severe Memory Restrictions, Engineering, Iot Communication +19
Rinus Plasmeijer, Peter Achten, Pieter Koopman et al. · 2011 · 15 citations · Full text
Rows per page
1–5 of 8