Pieter J. L. Cuijpers

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 23

Top Topics

Incremental Updates

Embedded Software

Service Discovery

Top Venues

Empir. Softw. Eng.

J. Comput. Assist. Learn.

Publications

Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods (2023)
Reinder J. Bril, Hamid Hassani, Pieter J. L. Cuijpers, Geoffrey Nelissen
Cost of Robustness of Independent WCRT Analysis for CBS of Ethernet AVB Using Eligible Intervals. WFCS (2023)
Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
An interview study about the use of logs in embedded software engineering. Empir. Softw. Eng. 28 (2) (2023)
Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO (2022)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
An Interview Study of how Developers use Execution Logs in Embedded Software Engineering. ICSE (SEIP) (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Single-state state machines in model-driven software engineering: an exploratory study. Empir. Softw. Eng. 26 (6) (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Logs and models in engineering complex embedded systems. ICSME (2021)
Hamid Hassani, Pieter J. L. Cuijpers, Reinder J. Bril
Work-in-Progress: Layering Concerns for the Analysis of Credit-Based Shaping in IEEE 802.1 TSN. WFCS (2020)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering. MSR (2020)
Yuting Fu, Andrei Sergeevich Terechko, Tjerk Bijlsma, Pieter J. L. Cuijpers, Jeroen Redegeld, Ali Osman Ors
A Retargetable Fault Injection Framework for Safety Validation of Autonomous Vehicles. ICSA Companion (2019)
Rianne Conijn, Antoine Van den Beemt, Pieter J. L. Cuijpers
Predicting student performance in a blended MOOC. J. Comput. Assist. Learn. 34 (5) (2018)
Jingyue Cao, Pieter J. L. Cuijpers, Reinder J. Bril, Johan J. Lukkien
Independent WCRT analysis for individual priority classes in Ethernet AVB. Real Time Syst. 54 (4) (2018)
Jingyue Cao, Mohammad Ashjaei, Pieter J. L. Cuijpers, Reinder J. Bril, Johan J. Lukkien
An independent yet efficient analysis of bandwidth reservation for credit-based shaping. WFCS (2018)
Jeroen Redegeld, Pieter J. L. Cuijpers, Johan J. Lukkien
Stakeholder Impact on the Software Architecture of Intelligent Transport Systems Implementations. ICSA Workshops (2017)
Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao
Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB. RTSS (2017)
Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers, Kees van Berkel
Response modeling runtime schedulers for timing analysis of self-timed dataflow graphs. J. Syst. Archit. 65 (2016)
Jingyue Cao, Pieter J. L. Cuijpers, Reinder J. Bril, Johan J. Lukkien
Independent yet Tight WCRT Analysis for Individual Priority Classes in Ethernet AVB. RTNS (2016)
Jingyue Cao, Pieter J. L. Cuijpers, Reinder J. Bril, Johan J. Lukkien
Tight worst-case response-time analysis for ethernet AVB using eligible intervals. WFCS (2016)
Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien, Nina Buchina
Context based service discovery in unmanaged networks using mDNS/DNS-SD. ICCE (2016)
Milosh Stolikj, Thomas M. M. Meyfroyt, Pieter J. L. Cuijpers, Johan J. Lukkien
Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks. EWSN (2015)
Milosh Stolikj, Thomas M. M. Meyfroyt, Pieter J. L. Cuijpers, Johan J. Lukkien
Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks. CoRR (2015)
Sivakumar Thangamuthu, Nicola Concer, Pieter J. L. Cuijpers, Johan J. Lukkien
Analysis of ethernet-switch traffic shapers for in-vehicle networking applications. DATE (2015)
Harsh Beohar, Pieter J. L. Cuijpers
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. MFPS (2015)
Harsh Beohar, Pieter J. L. Cuijpers
Avoiding diamonds in desynchronisation. Sci. Comput. Program. 91 (2014)
Milosh Stolikj, Richard Verhoeven, Pieter J. L. Cuijpers, Johan J. Lukkien
Proxy support for service discovery using mDNS/DNS-SD in low power networks. WoWMoM (2014)
Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel
Cyclo-Static Data Flow Model for TDM. ACSD (2014)
Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien
Patching a patch - Software updates using horizontal patching. ICCE (2013)
Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien
Efficient reprogramming of wireless sensor networks using incremental updates. PerCom Workshops (2013)
Pieter J. L. Cuijpers
The categorical limit of a sequence of dynamical systems. EXPRESS/SOS (2013)
Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien
Patching a patch - software updates using horizontal patching. IEEE Trans. Consumer Electron. 59 (2) (2013)
U. Khadim, Pieter J. L. Cuijpers
. Theor. Comput. Sci. 446 (2012)
Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers
A new data flow analysis model for TDM. EMSOFT (2012)
Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien
Energy-aware Reprogramming of Sensor Networks Using Incremental Update and Compression. ANT/MobiWIS (2012)
Harsh Beohar, Pieter J. L. Cuijpers
Avoiding Diamonds in Desynchronization. FACS (2012)
Harsh Beohar, Pieter J. L. Cuijpers
Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Harsh Beohar, Pieter J. L. Cuijpers
A theory of desynchronisable closed loop system ICE (2010)
Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn
The Hierarchical Compositional Interchange Format. FMCO (2010)
Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers
Hierarchical states in the Compositional Interchange Format SOS (2010)
Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS (2010)
Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten
Design of asynchronous supervisors CoRR (2009)
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg
A Process-Theoretic Look at Automata. FSEN (2009)
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simul. 84 (7) (2008)
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg
A Context-Free Process as a Pushdown Automaton. CONCUR (2008)
Pieter J. L. Cuijpers, Michel A. Reniers
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC (2008)
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
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electron. Notes Theor. Comput. Sci. 209 (2008)
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg
A Basic Parallel Process as a Parallel Pushdown Automaton. EXPRESS (2008)
Pieter J. L. Cuijpers
On Bicontinuous Bisimulation and the Preservation of Stability. HSCC (2007)
Pieter J. L. Cuijpers, Reinder J. Bril
Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS (2007)
L. L. F. Merkx, Pieter J. L. Cuijpers, H. M. Duringhof
Algebraic software analysis and embedded simulation of a driving robot. SCSC (2007)
Pieter J. L. Cuijpers, Michel A. Reniers
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. Electron. Notes Theor. Comput. Sci. 162 (2006)
Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers
Linearization of hybrid processes. J. Log. Algebraic Methods Program. 68 (1-2) (2006)
Pieter J. L. Cuijpers, A. V. Fyukov
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC (2006)
Pieter J. L. Cuijpers, Michel A. Reniers
Modeling an Impact control Strategy using Hypa. ADHS (2006)
Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
Case Studies in The Hybrid Process Algebra Hypa. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)
Pieter J. L. Cuijpers, Michel A. Reniers
Hybrid process algebra. J. Log. Algebraic Methods Program. 62 (2) (2005)
Pieter J. L. Cuijpers, Michel A. Reniers
Topological (Bi-)Simulation. Electron. Notes Theor. Comput. Sci. 100 (2004)