Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pieter J. L. Cuijpers
2010 – today
- 2013
[j11]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien: Patching a patch - software updates using horizontal patching. IEEE Trans. Consumer Electronics 59(2) (2013)- [c15]Milosh Stolikj, Pieter J. L. Cuijpers, Johan J. Lukkien: Efficient reprogramming of wireless sensor networks using incremental updates. PerCom Workshops 2013: 584-589
- [i2]Pieter J. L. Cuijpers: The categorical limit of a sequence of dynamical systems. CoRR abs/1307.7445 (2013)
- 2012
- [j10]U. Khadim, Pieter J. L. Cuijpers: Repairing time-determinism in the process algebra for hybrid systems ACPhssrt. Theor. Comput. Sci. 446: 20-47 (2012)
- [c14]Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers: A new data flow analysis model for TDM. EMSOFT 2012: 237-246
- [c13]
- [c12]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
- [j9]Harsh Beohar, Pieter J. L. Cuijpers: Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comp. Sci. 21(1): 5-38 (2011)
- 2010
- [c11]Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn: The Hierarchical Compositional Interchange Format. FMCO 2010: 316-335
- [c10]Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda: Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61
- [c9]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
- [c8]Harsh Beohar, Pieter J. L. Cuijpers: A theory of desynchronisable closed loop system. ICE 2010: 99-114
2000 – 2009
- 2009
- [j8]Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg: A Basic Parallel Process as a Parallel Pushdown Automaton. Electr. Notes Theor. Comput. Sci. 242(1): 35-48 (2009)
- [c7]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 (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS 13, 2009
- [i1]Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten: Design of asynchronous supervisors. CoRR abs/0910.0868 (2009)
- 2008
- [j7]Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008)
- [j6]Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman: Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simulation 84(7): 339-358 (2008)
- [c6]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
- [c5]Pieter J. L. Cuijpers, Michel A. Reniers: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129
- 2007
- [c4]Pieter J. L. Cuijpers, Reinder J. Bril: Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113
- [c3]Pieter J. L. Cuijpers: On Bicontinuous Bisimulation and the Preservation of Stability. HSCC 2007: 676-679
- [c2]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
- [j5]Pieter J. L. Cuijpers, Michel A. Reniers: Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. Electr. Notes Theor. Comput. Sci. 162: 153-158 (2006)
- [j4]P. C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers: Linearization of hybrid processes. J. Log. Algebr. Program. 68(1-2): 54-104 (2006)
- [c1]Pieter J. L. Cuijpers, A. V. Fyukov: Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210
- 2005
- [j3]Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers: Case Studies in The Hybrid Process Algebra Hypa. International Journal of Software Engineering and Knowledge Engineering 15(2): 299-306 (2005)
- [j2]Pieter J. L. Cuijpers, Michel A. Reniers: Hybrid process algebra. J. Log. Algebr. Program. 62(2): 191-245 (2005)
- 2004
- [j1]Pieter J. L. Cuijpers, Michel A. Reniers: Topological (Bi-)Simulation. Electr. Notes Theor. Comput. Sci. 100: 49-64 (2004)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team