Pieter Cuijpers
Cited by
Cited by
Hybrid process algebra
PJL Cuijpers, MA Reniers
The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005
Predicting student performance in a blended MOOC
R Conijn, A Van den Beemt, P Cuijpers
Journal of Computer Assisted Learning 34 (5), 615-628, 2018
Analysis of ethernet-switch traffic shapers for in-vehicle networking applications
S Thangamuthu, N Concer, PJL Cuijpers, JJ Lukkien
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 55-60, 2015
Tight worst-case response-time analysis for ethernet AVB using eligible intervals
J Cao, PJL Cuijpers, RJ Bril, JJ Lukkien
2016 IEEE World Conference on Factory Communication Systems (WFCS), 1-8, 2016
Efficient reprogramming of wireless sensor networks using incremental updates
M Stolikj, PJL Cuijpers, JJ Lukkien
2013 IEEE International Conference on Pervasive Computing and Communications …, 2013
Independent yet tight WCRT analysis for individual priority classes in ethernet AVB
J Cao, PJL Cuijpers, RJ Bril, JJ Lukkien
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
Hybrid transition systems
PJL Cuijpers, MA Reniers, WPMH Heemels
Technische Universiteit Eindhoven, 2002
Linearization of hybrid processes
MA Reniers, PJL Cuijpers
The Journal of Logic and Algebraic Programming 68 (1-2), 54-104, 2006
Context based service discovery in unmanaged networks using mDNS/DNS-SD
M Stolikj, PJL Cuijpers, JJ Lukkien, N Buchina
2016 IEEE international conference on consumer electronics (ICCE), 163-165, 2016
Improving the performance of trickle-based data dissemination in low-power networks
M Stolikj, TMM Meyfroyt, PJL Cuijpers, JJ Lukkien
Wireless Sensor Networks: 12th European Conference, EWSN 2015, Porto …, 2015
A process-theoretic look at automata
JCM Baeten, PJL Cuijpers, B Luttik, PJA van Tilburg
Fundamentals of Software Engineering: Third IPM International Conference …, 2010
Lost in translation: Hybrid-time flows vs. real-time transitions
PJL Cuijpers, MA Reniers
International Workshop on Hybrid Systems: Computation and Control, 116-129, 2008
A new data flow analysis model for TDM
A Lele, O Moreira, PJL Cuijpers
Proceedings of the tenth ACM international conference on Embedded software …, 2012
A context-free process as a pushdown automaton
JCM Baeten, PJL Cuijpers, PJA van Tilburg
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
An independent yet efficient analysis of bandwidth reservation for credit-based shaping
J Cao, M Ashjaei, PJL Cuijpers, RJ Bril, JJ Lukkien
2018 14th IEEE International Workshop on Factory Communication Systems (WFCS …, 2018
An interview study of how developers use execution logs in embedded software engineering
N Yang, P Cuijpers, R Schiffelers, J Lukkien, A Serebrenik
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
A retargetable fault injection framework for safety validation of autonomous vehicles
Y Fu, A Terechko, T Bijlsma, PJL Cuijpers, J Redegeld, AO Örs
2019 IEEE International Conference on Software Architecture Companion (ICSA …, 2019
Proxy support for service discovery using mDNS/DNS-SD in low power networks
M Stolikj, R Verhoeven, PJL Cuijpers, JJ Lukkien
Proceeding of IEEE international symposium on a world of wireless, mobile …, 2014
Beyond zeno-behaviour
PJL Cuijpers, MA Reniers, AG Engels
Technische Universiteit Eindhoven, 2001
Topological (bi-) simulation
PJL Cuijpers, MA Reniers
Technische Universiteit Eindhoven, 2002
The system can't perform the operation now. Try again later.
Articles 1–20