Pieter W. M. Koopman

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman: Task-oriented programming in a pure functional language. PPDP 2012: 195-206

Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer: Generic Executable Semantics for D-Clean. Electr. Notes Theor. Comput. Sci. 279(3): 85-95 (2011)

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen: iTasks for a change: type-safe run-time change in dynamically evolving workflows. PEPM 2011: 151-160

Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán: Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation 23(4): 465-487 (2010)

John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. Haskell 2010: 49-60

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten: Embedding a web-based workflow management system in a functional language. LDTA 2010: 7

Pieter W. M. Koopman, Rinus Plasmeijer: Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149

Pieter W. M. Koopman, Rinus Plasmeijer: Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267

Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra (Eds.): Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, isbn 978-3-642-04651-3

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort: An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman: iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Executable and Testable Semantics for iTasks. IFL 2008: 212-232

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315

Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152

Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132

Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90

Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576

Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178

Pieter W. M. Koopman: Testing with Functions as Specifications. Perspectives of Model-Based Testing 2004

Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100

Markus Mohnen, Pieter W. M. Koopman (Eds.): Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Lecture Notes in Computer Science 2011, Springer 2001, isbn 3-540-41919-5

Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175

Pieter W. M. Koopman, Chris Clack (Eds.): Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers. Lecture Notes in Computer Science 1868, Springer 2000, isbn 3-540-67864-6

Pieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136

Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. Softw., Pract. Exper. 25(5): 463-499 (1995)

Pieter W. M. Koopman, Vincent Zweije: Functional Programming in a Basic Database Course. FPLE 1995: 215-229

Pieter W. M. Koopman: Interactive Programs in a Functional Language: A Functional Implementation of an Editor. Softw., Pract. Exper. 17(9): 609-622 (1987)