Pieter J. L. Cuijpers

61 papers A 5B 3C 7Misc 3Journal 17Unranked 25

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