Pieter Cuijpers
Pieter Cuijpers
Verifierad e-postadress på tue.nl - Startsida
TitelCiteras avÅr
Hybrid process algebra
PJL Cuijpers, MA Reniers
The Journal of Logic and Algebraic Programming 62 (2), 191-245, 2005
1442005
Analysis of ethernet-switch traffic shapers for in-vehicle networking applications
S Thangamuthu, N Concer, PJL Cuijpers, JJ Lukkien
Proceedings of the 2015 Design, Automation & Test in Europe Conference …, 2015
422015
Hybrid transition systems
PJL Cuijpers, MA Reniers, WPMH Heemels
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2002
342002
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
262013
Linearization of hybrid processes
MA Reniers, PJL Cuijpers
The Journal of Logic and Algebraic Programming 68 (1-2), 54-104, 2006
242006
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
212008
A process-theoretic look at automata
JCM Baeten, PJL Cuijpers, B Luttik, PJA Van Tilburg
International Conference on Fundamentals of Software Engineering, 1-33, 2009
192009
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
182012
Beyond zeno-behaviour
PJL Cuijpers, MA Reniers, AG Engels
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2001
182001
A context-free process as a pushdown automaton
JCM Baeten, PJL Cuijpers, PJA van Tilburg
International Conference on Concurrency Theory, 98-113, 2008
152008
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
122018
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
122016
Improving the performance of trickle-based data dissemination in low-power networks
M Stolikj, TMM Meyfroyt, PJL Cuijpers, JJ Lukkien
European Conference on Wireless Sensor Networks, 186-201, 2015
122015
Model-based engineering of embedded systems using the hybrid process algebra Chi
JCM Baeten, DA van Beek, PJL Cuijpers, MA Reniers, JE Rooda, ...
Electronic Notes in Theoretical Computer Science 209, 21-53, 2008
122008
Topological (bi-) simulation
PJL Cuijpers, MA Reniers
Electronic Notes in Theoretical Computer Science 100, 49-64, 2004
122004
On bicontinuous bisimulation and the preservation of stability
PJL Cuijpers
International Workshop on Hybrid Systems: Computation and Control, 676-679, 2007
112007
Constitutive hybrid processes: a process-algebraic semantics for hybrid bond graphs
PJL Cuijpers, JF Broenink, PJ Mosterman
Simulation 84 (7), 339-358, 2008
102008
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
92016
Reconciling urgency and variable abstraction in a hybrid compositional setting
DA van Beek, PJL Cuijpers, J Markovski, DEN Agut, JE Rooda
International Conference on Formal Modeling and Analysis of Timed Systems, 47-61, 2010
92010
Towards budgeting in real-time calculus: Deferrable servers
PJL Cuijpers, RJ Bril
International Conference on Formal Modeling and Analysis of Timed Systems …, 2007
92007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20