Pieter J. L. Cuijpers

According to our database, Pieter J. L. Cuijpers authored at least 55 papers between 2003 and 2024.

Collaborative distances:

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

2024

Safe and Infinite Resource Scheduling Using Energy Timed Automata.

Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2023

An interview study about the use of logs in embedded software engineering.

Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Empir. Softw. Eng., March, 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

Proceedings of the 19th IEEE International Conference on Factory Communication Systems, 2023

Assume-Guarantee Reasoning for Additive Hybrid Behaviour.

Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Balancing Flexible Production and Consumption of Energy using Resource Timed Automata.

Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers

Proceedings of the 11th Mediterranean Conference on Embedded Computing, 2022

2021

Single-state state machines in model-driven software engineering: an exploratory study.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Empir. Softw. Eng., 2021

Logs and models in engineering complex embedded systems.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

An Interview Study of how Developers use Execution Logs in Embedded Software Engineering.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

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

Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019

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

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

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

Predicting student performance in a blended MOOC.

Rianne Conijn, Antoine Van den Beemt, Pieter J. L. Cuijpers

J. Comput. Assist. Learn., 2018

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

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017

Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB.

Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Stakeholder Impact on the Software Architecture of Intelligent Transport Systems Implementations.

Jeroen Redegeld, Pieter J. L. Cuijpers, Johan J. Lukkien

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016

Response modeling runtime schedulers for timing analysis of self-timed dataflow graphs.

Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers, Kees van Berkel

J. Syst. Archit., 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

Proceedings of the IEEE World Conference on Factory Communication Systems, 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

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Context based service discovery in unmanaged networks using mDNS/DNS-SD.

Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien, Nina Buchina

Proceedings of the IEEE International Conference on Consumer Electronics, 2016

2015

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders.

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 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

Proceedings of the Wireless Sensor Networks - 12th European Conference, 2015

Analysis of ethernet-switch traffic shapers for in-vehicle networking applications.

Sivakumar Thangamuthu, Nicola Concer, Pieter J. L. Cuijpers, Johan J. Lukkien

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Avoiding diamonds in desynchronisation.

Harsh Beohar, Pieter J. L. Cuijpers

Sci. Comput. Program., 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

Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Cyclo-Static Data Flow Model for TDM.

Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Patching a patch - software updates using horizontal patching.

Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien

IEEE Trans. Consumer Electron., 2013

The categorical limit of a sequence of dynamical systems.

Pieter J. L. Cuijpers

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Efficient reprogramming of wireless sensor networks using incremental updates.

Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

2012

Repairing time-determinism in the process algebra for hybrid systems ACP_hs^srt.

U. Khadim, Pieter J. L. Cuijpers

Theor. Comput. Sci., 2012

Energy-aware Reprogramming of Sensor Networks Using Incremental Update and Compression.

Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Avoiding Diamonds in Desynchronization.

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

A new data flow analysis model for TDM.

Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Desynchronizability of (Partial) Synchronous Closed Loop Systems.

Harsh Beohar, Pieter J. L. Cuijpers

Sci. Ann. Comput. Sci., 2011

2010

A theory of desynchronisable closed loop system

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Hierarchical states in the Compositional Interchange Format

Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

The Hierarchical Compositional Interchange Format.

Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Design of asynchronous supervisors

Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten

CoRR, 2009

A Process-Theoretic Look at Automata.

Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg

Proceedings of the Fundamentals of Software Engineering, 2009

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 Basic Parallel Process as a Parallel Pushdown Automaton.

Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Context-Free Process as a Pushdown Automaton.

Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Algebraic software analysis and embedded simulation of a driving robot.

L. L. F. Merkx, Pieter J. L. Cuijpers, H. M. Duringhof

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

On Bicontinuous Bisimulation and the Preservation of Stability.

Pieter J. L. Cuijpers

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Towards Budgeting in Real-Time Calculus: Deferrable Servers.

Pieter J. L. Cuijpers, Reinder J. Bril

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Linearization of hybrid processes.

Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers

J. Log. Algebraic Methods Program., 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

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.

Pieter J. L. Cuijpers, A. V. Fyukov

Proceedings of the Formal Methods: Applications and Technology, 2006

Modeling an Impact control Strategy using Hypa.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Hybrid process algebra.

Pieter J. L. Cuijpers, Michel A. Reniers

J. Log. Algebraic Methods Program., 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

Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2003

Topological (Bi-)Simulation.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003