Topological (Bi-)Simulation. - Pieter J. L. Cuijpers; Michel A. Reniers (CMCIM/GETCO@CONCUR, 2003)

Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. - Pieter J. L. Cuijpers; Michel A. Reniers (APC 25, 2005)

Case Studies in The Hybrid Process Algebra Hypa. - Ka L. Man; Michel A. Reniers; Pieter J. L. Cuijpers (Int. J. Softw. Eng. Knowl. Eng., 2005)

Hybrid process algebra. - Pieter J. L. Cuijpers; Michel A. Reniers (J. Log. Algebraic Methods Program., 2005)

Modeling an Impact control Strategy using Hypa. - Pieter J. L. Cuijpers; Michel A. Reniers (ADHS, 2006)

Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. - Pieter J. L. Cuijpers; A. V. Fyukov (FMICS/PDMC, 2006)

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. - Jos C. M. Baeten; Dirk A. van Beek; Pieter J. L. Cuijpers; Michel A. Reniers; Jacobus E. Rooda; Ramon R. H. Schiffelers; Rolf J. M. Theunissen (LIX, 2006)

Linearization of hybrid processes. - Peter C. W. van den Brand; Michel A. Reniers; Pieter J. L. Cuijpers (J. Log. Algebraic Methods Program., 2006)

Towards Budgeting in Real-Time Calculus: Deferrable Servers. - Pieter J. L. Cuijpers; Reinder J. Bril (FORMATS, 2007)

On Bicontinuous Bisimulation and the Preservation of Stability. - Pieter J. L. Cuijpers (HSCC, 2007)

Algebraic software analysis and embedded simulation of a driving robot. - L. L. F. Merkx; Pieter J. L. Cuijpers; H. M. Duringhof (SCSC, 2007)

A Context-Free Process as a Pushdown Automaton. - Jos C. M. Baeten; Pieter J. L. Cuijpers; P. J. A. van Tilburg (CONCUR, 2008)

Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. - Pieter J. L. Cuijpers; Michel A. Reniers (HSCC, 2008)

A Basic Parallel Process as a Parallel Pushdown Automaton. - Jos C. M. Baeten; Pieter J. L. Cuijpers; P. J. A. van Tilburg (EXPRESS, 2008)

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. - Pieter J. L. Cuijpers; Jan F. Broenink; Pieter J. Mosterman (Simul., 2008)

A Process-Theoretic Look at Automata. - Jos C. M. Baeten; Pieter J. L. Cuijpers; Bas Luttik; P. J. A. van Tilburg (FSEN, 2009)

Design of asynchronous supervisors - Harsh Beohar; Pieter J. L. Cuijpers; Jos C. M. Baeten (CoRR, 2009)

The Hierarchical Compositional Interchange Format. - Damian Nadales Agut; Bert van Beek; Harsh Beohar; Pieter J. L. Cuijpers; Jasper Fonteijn (FMCO, 2010)

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. - Dirk A. van Beek; Pieter J. L. Cuijpers; Jasen Markovski; D. E. Nadales Agut; Jacobus E. Rooda (FORMATS, 2010)

Hierarchical states in the Compositional Interchange Format - Harsh Beohar; D. E. Nadales Agut; Dirk A. van Beek; Pieter J. L. Cuijpers (SOS, 2010)

A theory of desynchronisable closed loop system - Harsh Beohar; Pieter J. L. Cuijpers (ICE, 2010)

Desynchronizability of (Partial) Synchronous Closed Loop Systems. - Harsh Beohar; Pieter J. L. Cuijpers (Sci. Ann. Comput. Sci., 2011)

A new data flow analysis model for TDM. - Alok Lele; Orlando Moreira; Pieter J. L. Cuijpers (EMSOFT, 2012)

Avoiding Diamonds in Desynchronization. - Harsh Beohar; Pieter J. L. Cuijpers (FACS, 2012)

Energy-aware Reprogramming of Sensor Networks Using Incremental Update and Compression. - Milosh Stolikj; Pieter J. L. Cuijpers; Johan J. Lukkien (ANT/MobiWIS, 2012)

Repairing time-determinism in the process algebra for hybrid systems ACPhssrt. - U. Khadim; Pieter J. L. Cuijpers (Theor. Comput. Sci., 2012)

Efficient reprogramming of wireless sensor networks using incremental updates. - Milosh Stolikj; Pieter J. L. Cuijpers; Johan J. Lukkien (PerCom Workshops, 2013)

The categorical limit of a sequence of dynamical systems. - Pieter J. L. Cuijpers (EXPRESS/SOS, 2013)

Patching a patch - software updates using horizontal patching. - Milosh Stolikj; Pieter J. L. Cuijpers; Johan J. Lukkien (IEEE Trans. Consumer Electron., 2013)

Cyclo-Static Data Flow Model for TDM. - Alok Lele; Orlando Moreira; Kaushal Butala; Pieter J. L. Cuijpers; Kees van Berkel 001 (ACSD, 2014)

Proxy support for service discovery using mDNS/DNS-SD in low power networks. - Milosh Stolikj; Richard Verhoeven; Pieter J. L. Cuijpers; Johan J. Lukkien (WoWMoM, 2014)

Avoiding diamonds in desynchronisation. - Harsh Beohar; Pieter J. L. Cuijpers (Sci. Comput. Program., 2014)

Analysis of ethernet-switch traffic shapers for in-vehicle networking applications. - Sivakumar Thangamuthu; Nicola Concer; Pieter J. L. Cuijpers; Johan J. Lukkien (DATE, 2015)

Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks. - Milosh Stolikj; Thomas M. M. Meyfroyt; Pieter J. L. Cuijpers; Johan J. Lukkien (EWSN, 2015)

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. - Harsh Beohar; Pieter J. L. Cuijpers (MFPS, 2015)

Context based service discovery in unmanaged networks using mDNS/DNS-SD. - Milosh Stolikj; Pieter J. L. Cuijpers; Johan J. Lukkien; Nina Buchina (ICCE, 2016)

Independent yet Tight WCRT Analysis for Individual Priority Classes in Ethernet AVB. - Jingyue Cao; Pieter J. L. Cuijpers; Reinder J. Bril; Johan J. Lukkien (RTNS, 2016)

Tight worst-case response-time analysis for ethernet AVB using eligible intervals. - Jingyue Cao; Pieter J. L. Cuijpers; Reinder J. Bril; Johan J. Lukkien (WFCS, 2016)

Response modeling runtime schedulers for timing analysis of self-timed dataflow graphs. - Alok Lele; Orlando Moreira; Pieter J. L. Cuijpers; Kees van Berkel 001 (J. Syst. Archit., 2016)

Stakeholder Impact on the Software Architecture of Intelligent Transport Systems Implementations. - Jeroen Redegeld; Pieter J. L. Cuijpers; Johan J. Lukkien (ICSA Workshops, 2017)

Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB. - Hector Joao Rivera-Verduzco; Pieter J. L. Cuijpers; Jingyue Cao (RTSS, 2017)

An independent yet efficient analysis of bandwidth reservation for credit-based shaping. - Jingyue Cao; Mohammad Ashjaei; Pieter J. L. Cuijpers; Reinder J. Bril; Johan J. Lukkien (WFCS, 2018)

Predicting student performance in a blended MOOC. - Rianne Conijn; Antoine Van den Beemt; Pieter J. L. Cuijpers (J. Comput. Assist. Learn., 2018)

Independent WCRT analysis for individual priority classes in Ethernet AVB. - Jingyue Cao; Pieter J. L. Cuijpers; Reinder J. Bril; Johan J. Lukkien (Real Time Syst., 2018)

A Retargetable Fault Injection Framework for Safety Validation of Autonomous Vehicles. - Yuting Fu; Andrei Sergeevich Terechko; Tjerk Bijlsma; Pieter J. L. Cuijpers; Jeroen Redegeld; Ali Osman Ors (ICSA Companion, 2019)

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (MSR, 2020)

Work-in-Progress: Layering Concerns for the Analysis of Credit-Based Shaping in IEEE 802.1 TSN. - Hamid Hassani; Pieter J. L. Cuijpers; Reinder J. Bril (WFCS, 2020)

An Interview Study of how Developers use Execution Logs in Embedded Software Engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (ICSE (SEIP), 2021)

Logs and models in engineering complex embedded systems. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (ICSME, 2021)

Single-state state machines in model-driven software engineering: an exploratory study. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (Empir. Softw. Eng., 2021)

Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. - Jonas Hansen; Kim Guldstrand Larsen; Pieter J. L. Cuijpers (MECO, 2022)

Assume-Guarantee Reasoning for Additive Hybrid Behaviour. - Pieter J. L. Cuijpers; Jonas Hansen; Kim G. Larsen (Theories of Programming and Formal Methods, 2023)

Cost of Robustness of Independent WCRT Analysis for CBS of Ethernet AVB Using Eligible Intervals. - Reinder J. Bril; Hamid Hassani; Pieter J. L. Cuijpers; Geoffrey Nelissen (WFCS, 2023)

An interview study about the use of logs in embedded software engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Dennis Hendriks; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (Empir. Softw. Eng., 2023)

Safe and infinite resource scheduling using energy timed automata. - Pieter J. L. Cuijpers; Jonas Hansen; Kim G. Larsen (Sci. Comput. Program., 2026)