Pieter W. M. Koopman

68 papers A* 1A 1B 1C 7Misc 1Journal 6Unranked 44
YearRankTypeTitle / Venue / Authors
2025 — conf
Communication for Task-Oriented Systems with Edge Devices.
TFP
Niek Janssen, Mart Lubbers, Pieter W. M. Koopman
2025 C conf
Shallowly Embedded Functions.
PPDP
Benedikt M. Rips, Niek Janssen, Mart Lubbers, Pieter W. M. Koopman
2024 — conf
Compositional Views in Compositional Images - Category: Research -.
TFP
Peter Achten, Pieter W. M. Koopman
2023 J jnl
Could Tierless Languages Reduce IoT Development Grief?
ACM Trans. Internet Things
Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder
2023 C conf
Strongly-Typed Multi-View Stack-Based Computations.
PPDP
Pieter W. M. Koopman, Mart Lubbers
2022 — conf
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2022 — conf
Reducing the Power Consumption of IoT with Task-Oriented Programming.
TFP
Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman
2022 J jnl
SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes.
CoRR
Pieter W. M. Koopman, Mart Lubbers, João Paulo Fernandes
2022 J jnl
Writing Internet of Things Applicatations with Task-Oriented Programming.
CoRR
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2021 — conf
Dynamic Editors for Well-Typed Expressions.
TFP
Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer
2021 — conf
Personal Prof: Automatic Code Review for Java Assignments.
CSERC
Markus Klinik, Pieter W. M. Koopman, Rick van der Wal
2020 — conf
Tiered versus tierless IoT stacks: comparing smart campus software architectures.
IOT
Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder
2019 — conf
A new view on parser combinators.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Interpreting task oriented programs on tiny computers.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Multitasking on Microcontrollers using Task Oriented Programming.
MIPRO
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Writing Internet of Things Applications with Task Oriented Programming.
CEFP
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2018 — conf
A Task-Based DSL for Microcomputers.
RWDSL@CGO
Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer
2018 — conf
Task Oriented Programming and the Internet of Things.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2015 — conf
A Shallow Embedded Type Safe Extendable DSL for the Arduino.
TFP
Pieter W. M. Koopman, Rinus Plasmeijer
2015 — conf
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer
2014 — conf
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen
2013 — conf
An Introduction to Task Oriented Programming.
CEFP
Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
2013 — conf
Functional Semantics.
The Beauty of Functional Code
Pieter W. M. Koopman
2013 A* conf
Inference for a New Probabilistic Constraint Logic.
IJCAI
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman
2013 — conf
Model-Based Shrinking for State-Based Testing.
Trends in Functional Programming
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2013 — ed.
The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
The Beauty of Functional Code
Peter Achten, Pieter W. M. Koopman
2012 C conf
Task-oriented programming in a pure functional language.
PPDP
Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman
2011 — ch.
Applying Bayesian Networks for Intelligent Adaptable Printing Systems.
Solutions on Embedded Systems
Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman
2011 — conf
Generic Executable Semantics for D-Clean.
WGT
Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer
2011 — conf
Model Based Testing with Logical Properties versus State Machines.
IFL
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2011 C conf
iTasks for a change: type-safe run-time change in dynamically evolving workflows.
PEPM
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen
2010 — conf
Embedding a web-based workflow management system in a functional language.
LDTA
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten
2010 C conf
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.
Haskell
John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
2010 — conf
Testing with Functional Reference Implementations.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2010 J jnl
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
High. Order Symb. Comput.
Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán
2009 — ed.
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Advanced Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra
2009 — conf
An Effective Methodology for Defining Consistent Semantics of Complex Systems.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2009 — conf
Applying Bayesian networks for intelligent adaptable printing systems.
WISES
Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman
2009 — ed.
Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009.
Trends in Functional Programming
Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman
2009 — conf
Synthesis of Functions Using Generic Programming.
AAIP
Pieter W. M. Koopman, Rinus Plasmeijer
2008 — conf
An Executable and Testable Semantics for iTasks.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2008 — conf
An iTask Case Study: A Conference Management System.
Advanced Functional Programming
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort
2008 C conf
Declarative Ajax and client side evaluation of workflows using iTasks.
PPDP
Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten
2008 C conf
Model-Based Testing of Thin-Client Web Applications and Navigation Input.
PADL
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — ed.
Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008.
Trends in Functional Programming
Peter Achten, Pieter W. M. Koopman, Marco T. Morazán
2008 — conf
Testing and Validating the Quality of Specifications.
ICST Workshops
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — conf
Validating Specifications for Model-Based Testing.
Software Engineering Research and Practice
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — conf
iEditors: Extending iTask with Interactive Plug-ins.
IFL
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman
2007 — conf
An Introduction to iTasks: Defining Interactive Work Flows for the Web.
CEFP
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
2007 — conf
From Interpretation to Compilation.
CEFP
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
2007 A conf
iTasks: executable specifications of interactive work flow systems for the web.
ICFP
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
2006 B conf
Automatic Testing of Higher Order Functions.
APLAS
Pieter W. M. Koopman, Rinus Plasmeijer
2006 — conf
Efficient interpretation by transforming data types and patterns to functions.
Trends in Functional Programming
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
2006 — conf
Model-Based Testing of Thin-Client Web Applications.
FATES/RV
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2006 — conf
Systematic synthesis of functions.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2005 — conf
Fully Automatic Testing with Functions as Specifications.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer
2005 — conf
Generic generation of the elements of data types.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2005 Misc conf
On-the-Fly Formal Testing of a Smart Card Applet.
SEC
Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
2004 — conf
Testing with Functions as Specifications.
Perspectives of Model-Based Testing
Pieter W. M. Koopman
2003 — conf
Testing reactive systems with GAST.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2002 — conf
Gast: Generic Automated Software Testing.
IFL
Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
2001 — ed.
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers
IFL
Markus Mohnen, Pieter W. M. Koopman
2000 — ed.
Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers
IFL
Pieter W. M. Koopman, Chris Clack
2000 — conf
Polygonizing Implicit Surfaces in a Purely Functional Way.
IFL
Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
1998 — conf
Efficient Combinator Parsers.
IFL
Pieter W. M. Koopman, Marinus J. Plasmeijer
1995 — conf
Functional Programming in a Basic Database Course.
FPLE
Pieter W. M. Koopman, Vincent Zweije
1995 J jnl
Operational Machine Specification in a Functional Programming Language.
Softw. Pract. Exp.
Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
1987 J jnl
Interactive Programs in a Functional Language: A Functional Implementation of an Editor.
Softw. Pract. Exp.
Pieter W. M. Koopman