| 2008 |
|---|
| 23 | EE | Pieter W. M. Koopman,
Peter Achten,
Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input.
PADL 2008: 299-315 |
| 22 | EE | 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 |
| 21 | | Pieter W. M. Koopman,
Peter Achten,
Rinus Plasmeijer:
Validating Specifications for Model-Based Testing.
Software Engineering Research and Practice 2008: 225-231 |
| 2007 |
|---|
| 20 | EE | Rinus Plasmeijer,
Peter Achten,
Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web.
CEFP 2007: 1-40 |
| 19 | EE | Jan Martin Jansen,
Pieter W. M. Koopman,
Rinus Plasmeijer:
From Interpretation to Compilation.
CEFP 2007: 286-301 |
| 18 | EE | Rinus Plasmeijer,
Peter Achten,
Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web.
ICFP 2007: 141-152 |
| 2006 |
|---|
| 17 | EE | Pieter W. M. Koopman,
Rinus Plasmeijer:
Automatic Testing of Higher Order Functions.
APLAS 2006: 148-164 |
| 16 | EE | Pieter W. M. Koopman,
Rinus Plasmeijer,
Peter Achten:
Model-Based Testing of Thin-Client Web Applications.
FATES/RV 2006: 115-132 |
| 15 | | Pieter W. M. Koopman,
Rinus Plasmeijer:
Systematic synthesis of functions.
Trends in Functional Programming 2006: 35-54 |
| 14 | | 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 |
| 2005 |
|---|
| 13 | EE | Pieter W. M. Koopman,
Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications.
CEFP 2005: 35-61 |
| 12 | | 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 |
| 11 | | Pieter W. M. Koopman,
Rinus Plasmeijer:
Generic generation of the elements of data types.
Trends in Functional Programming 2005: 163-178 |
| 2004 |
|---|
| 10 | EE | Pieter W. M. Koopman:
Testing with Functions as Specifications.
Perspectives of Model-Based Testing 2004 |
| 2003 |
|---|
| 9 | | Pieter W. M. Koopman,
Rinus Plasmeijer:
Testing reactive systems with GAST.
Trends in Functional Programming 2003: 111-129 |
| 2002 |
|---|
| 8 | EE | Pieter W. M. Koopman,
Artem Alimarine,
Jan Tretmans,
Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing.
IFL 2002: 84-100 |
| 2001 |
|---|
| 7 | | Markus Mohnen,
Pieter W. M. Koopman:
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers
Springer 2001 |
| 2000 |
|---|
| 6 | | Pieter W. M. Koopman,
Chris Clack:
Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers
Springer 2000 |
| 5 | EE | 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 |
| 1998 |
|---|
| 4 | EE | Pieter W. M. Koopman,
Marinus J. Plasmeijer:
Efficient Combinator Parsers.
IFL 1998: 120-136 |
| 1995 |
|---|
| 3 | | Pieter W. M. Koopman,
Vincent Zweije:
Functional Programming in a Basic Database Course.
FPLE 1995: 215-229 |
| 2 | | 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) |
| 1987 |
|---|
| 1 | | Pieter W. M. Koopman:
Interactive Programs in a Functional Language: A Functional Implementation of an Editor.
Softw., Pract. Exper. 17(9): 609-622 (1987) |
