Pieter W. M. Koopman

According to our database, Pieter W. M. Koopman authored at least 60 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compositional Views in Compositional Images - Category: Research -.

Peter Achten, Pieter W. M. Koopman

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2023

Could Tierless Languages Reduce IoT Development Grief?

Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder

ACM Trans. Internet Things, February, 2023

Strongly-Typed Multi-View Stack-Based Computations.

Pieter W. M. Koopman, Mart Lubbers

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

Writing Internet of Things Applicatations with Task-Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

CoRR, 2022

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes.

Pieter W. M. Koopman, Mart Lubbers, João Paulo Fernandes

CoRR, 2022

Reducing the Power Consumption of IoT with Task-Oriented Programming.

Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Dynamic Editors for Well-Typed Expressions.

Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Personal Prof: Automatic Code Review for Java Assignments.

Markus Klinik, Pieter W. M. Koopman, Rick van der Wal

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2020

Tiered versus tierless IoT stacks: comparing smart campus software architectures.

Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder

Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

2019

Multitasking on Microcontrollers using Task Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Interpreting task oriented programs on tiny computers.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

A new view on parser combinators.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Writing Internet of Things Applications with Task Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

2018

Task Oriented Programming and the Internet of Things.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Task-Based DSL for Microcomputers.

Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2015

A Shallow Embedded Type Safe Extendable DSL for the Arduino.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.

Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

2013

Model-Based Shrinking for State-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Inference for a New Probabilistic Constraint Logic.

Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman

Proceedings of the IJCAI 2013, 2013

An Introduction to Task Oriented Programming.

Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Functional Semantics.

Pieter W. M. Koopman

Proceedings of the Beauty of Functional Code, 2013

2012

Task-oriented programming in a pure functional language.

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Applying Bayesian Networks for Intelligent Adaptable Printing Systems.

Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman

Proceedings of the Solutions on Embedded Systems, 2011

Generic Executable Semantics for D-Clean.

Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Third Workshop on Generative Technologies, 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Model Based Testing with Logical Properties versus State Machines.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.

Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán

High. Order Symb. Comput., 2010

Testing with Functional Reference Implementations.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Embedding a web-based workflow management system in a functional language.

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.

John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

Applying Bayesian networks for intelligent adaptable printing systems.

Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman

Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

Synthesis of Functions Using Generic Programming.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Validating Specifications for Model-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.

Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 2008

An Executable and Testable Semantics for iTasks.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2008

iEditors: Extending iTask with Interactive Plug-ins.

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman

Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An iTask Case Study: A Conference Management System.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

iTasks: executable specifications of interactive work flow systems for the web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

From Interpretation to Compilation.

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006

Systematic synthesis of functions.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Efficient interpretation by transforming data types and patterns to functions.

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Model-Based Testing of Thin-Client Web Applications.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Automatic Testing of Higher Order Functions.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Generic generation of the elements of data types.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Fully Automatic Testing with Functions as Specifications.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004

Testing with Functions as Specifications.

Pieter W. M. Koopman

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003

Testing reactive systems with GAST.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

2002

Gast: Generic Automated Software Testing.

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000

Polygonizing Implicit Surfaces in a Purely Functional Way.

Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1998

Efficient Combinator Parsers.

Pieter W. M. Koopman, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1995

Operational Machine Specification in a Functional Programming Language.

Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Softw. Pract. Exp., 1995

Functional Programming in a Basic Database Course.

Pieter W. M. Koopman, Vincent Zweije

Proceedings of the Functional Programming Languages in Education, 1995

1987

Interactive Programs in a Functional Language: A Functional Implementation of an Editor.

Pieter W. M. Koopman

Softw. Pract. Exp., 1987