default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPieter J. L. Cuijpers
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c42]Pieter J. L. Cuijpers
, Jonas Hansen, Kim G. Larsen:
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE 2024: 73-90- 2023
- [j13]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): 43 (2023) - [c41]Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods 2023: 297-322 - [c40]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: 1-4 - 2022
- [c39]Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers:
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO 2022: 1-6 - 2021
- [j12]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): 124 (2021) - [c38]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: 61-70 - [c37]Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik:
Logs and models in engineering complex embedded systems. ICSME 2021: 695-700 - 2020
- [c36]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: 362-373 - [c35]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: 1-4
2010 – 2019
- 2019
- [c34]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: 69-76 - 2018
- [j11]Rianne Conijn, Antoine Van den Beemt, Pieter J. L. Cuijpers:
Predicting student performance in a blended MOOC. J. Comput. Assist. Learn. 34(5): 615-628 (2018) - [j10]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): 861-911 (2018) - [c33]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: 1-10 - 2017
- [c32]Jeroen Redegeld, Pieter J. L. Cuijpers, Johan J. Lukkien:
Stakeholder Impact on the Software Architecture of Intelligent Transport Systems Implementations. ICSA Workshops 2017: 13-16 - [c31]Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao:
Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB. RTSS 2017: 378-380 - 2016
- [j9]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: 15-29 (2016) - [c30]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien, Nina Buchina:
Context based service discovery in unmanaged networks using mDNS/DNS-SD. ICCE 2016: 163-165 - [c29]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: 55-64 - [c28]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: 1-8 - 2015
- [c27]Sivakumar Thangamuthu, Nicola Concer, Pieter J. L. Cuijpers, Johan J. Lukkien:
Analysis of ethernet-switch traffic shapers for in-vehicle networking applications. DATE 2015: 55-60 - [c26]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: 186-201 - [c25]Harsh Beohar, Pieter J. L. Cuijpers:
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. MFPS 2015: 51-66 - [i2]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 abs/1509.08654 (2015) - 2014
- [j8]Harsh Beohar, Pieter J. L. Cuijpers:
Avoiding diamonds in desynchronisation. Sci. Comput. Program. 91: 45-69 (2014) - [c24]Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel:
Cyclo-Static Data Flow Model for TDM. ACSD 2014: 82-91 - [c23]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: 1-6 - 2013
- [j7]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien:
Patching a patch - software updates using horizontal patching. IEEE Trans. Consumer Electron. 59(2) (2013) - [c22]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien:
Patching a patch - Software updates using horizontal patching. ICCE 2013: 647-648 - [c21]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien:
Efficient reprogramming of wireless sensor networks using incremental updates. PerCom Workshops 2013: 584-589 - [c20]Pieter J. L. Cuijpers:
The categorical limit of a sequence of dynamical systems. EXPRESS/SOS 2013: 78-92 - 2012
- [j6]U. Khadim, Pieter J. L. Cuijpers:
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt. Theor. Comput. Sci. 446: 20-47 (2012) - [c19]Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers:
A new data flow analysis model for TDM. EMSOFT 2012: 237-246 - [c18]Harsh Beohar, Pieter J. L. Cuijpers:
Avoiding Diamonds in Desynchronization. FACS 2012: 36-54 - [c17]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien:
Energy-aware Reprogramming of Sensor Networks Using Incremental Update and Compression. ANT/MobiWIS 2012: 179-187 - 2011
- [j5]Harsh Beohar, Pieter J. L. Cuijpers:
Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comput. Sci. 21(1): 5-38 (2011) - 2010
- [c16]Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn:
The Hierarchical Compositional Interchange Format. FMCO 2010: 316-335 - [c15]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: 47-61 - [c14]Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers:
Hierarchical states in the Compositional Interchange Format. SOS 2010: 42-56 - [c13]Harsh Beohar, Pieter J. L. Cuijpers:
A theory of desynchronisable closed loop system. ICE 2010: 99-114
2000 – 2009
- 2009
- [c12]Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg:
A Process-Theoretic Look at Automata. FSEN 2009: 1-33 - [e1]Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - [i1]Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten:
Design of asynchronous supervisors. CoRR abs/0910.0868 (2009) - 2008
- [j4]Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman:
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simul. 84(7): 339-358 (2008) - [c11]Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
A Context-Free Process as a Pushdown Automaton. CONCUR 2008: 98-113 - [c10]Pieter J. L. Cuijpers, Michel A. Reniers:
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129 - [c9]Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
A Basic Parallel Process as a Parallel Pushdown Automaton. EXPRESS 2008: 35-48 - 2007
- [c8]Pieter J. L. Cuijpers, Reinder J. Bril:
Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113 - [c7]Pieter J. L. Cuijpers:
On Bicontinuous Bisimulation and the Preservation of Stability. HSCC 2007: 676-679 - [c6]L. L. F. Merkx, Pieter J. L. Cuijpers, H. M. Duringhof:
Algebraic software analysis and embedded simulation of a driving robot. SCSC 2007: 473-480 - 2006
- [j3]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): 54-104 (2006) - [c5]Pieter J. L. Cuijpers, Michel A. Reniers:
Modeling an Impact control Strategy using Hypa. ADHS 2006: 56-63 - [c4]Pieter J. L. Cuijpers, A. V. Fyukov:
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210 - [c3]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. LIX 2006: 21-53 - 2005
- [j2]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): 299-306 (2005) - [j1]Pieter J. L. Cuijpers, Michel A. Reniers:
Hybrid process algebra. J. Log. Algebraic Methods Program. 62(2): 191-245 (2005) - [c2]Pieter J. L. Cuijpers, Michel A. Reniers:
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. APC 25 2005: 153-158 - 2003
- [c1]Pieter J. L. Cuijpers, Michel A. Reniers:
Topological (Bi-)Simulation. CMCIM/GETCO@CONCUR 2003: 49-64
Coauthor Index
aka: Johan Lukkien
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
