List of Publications

My list of publications is maintained on the TU/e employee pages. If you are not automatically redirected, please click here.

List of publications


Under review

P.J.L. Cuijpers Prefix Orders as a General Model of Dynamics, full version. DCM 2013

Accepted for publication

H. Beohar, P.J.L. Cuijpers. Avoiding Diamonds in Desynchronization. Science of Computer Programming, Elsevier

2013

P.J.L. Cuijpers Prefix Orders as a General Model of Dynamics, extended abstract. DCM 2013
P.J.L. Cuijpers The categorical limit of a sequence of dynamical systems. EXPRESS/SOS 2013
M. Stolikj, P.J.L. Cuijpers, J.J. Lukkien Patching A Patch - Software Updates Using Horizontal Patching. International Conference on Consumer Electronics (ICCE 2013)

2012

M. Stolikj, P.J.L. Cuijpers, J.J. Lukkien Energy-aware reprogramming of sensor networks using incremental update and compression. The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
A. Lele, O. Moreira, P.J.L. Cuijpers. Dataflow Based Temporal Analysis for TDM. The International Conference on Embedded Software (EMSOFT-2012)
H. Beohar, P.J.L. Cuijpers. Avoiding Diamonds in Desynchronization. Formal Aspects of Computer Science (FACS'2012)
U. Khadim, P.J.L.Cuijpers. Repairing Time-Determinism in the Process Algebra for Hybrid Systems ACPhssrt. Theoretical Computer Science For appendix containing the handwritten proofs of theorems 11/14, see the technical report below.
My personal view on the scientific reviewing process, and the role of editors therein.
M.M.H.P. van den Heuvel, P.J.L. Cuijpers, J.J. Lukkien and N. Fisher, Revised budget allocations for fixed-priority-scheduled periodic resources, Computer Science Reports CSR 12-03, Technische Universiteit Eindhoven (TU/e), The Netherlands, February 2012
PDF
U.Khadim, P.J.L. Cuijpers, Proofs for the paper: Repairing Time-Determinism in the Process Algebra for Hybrid Systems ACPhssrt, Computer Science Reports CSR 12-02, Technische Universiteit Eindhoven (TU/e), The Netherlands, Januari 2012
PDF

2011

D.E. Nadales Agut, D.A. van Beek, H. Beohar, PJ.L. Cuijpers and J. Fonteijn. The Hierarchical Compositional Interchange Format. In: B.K. Aichernig, F.S. de Boer, M.M. Bonsangue, (eds.), "Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey" volume 6957 of "Lecture Notes in Computer Science", pages 1--386, Springer, 2011.
H. Beohar, P.J.L.Cuijpers. Desynchronizability of (partial) synchronous closed loop systems. Scientific Annals of Computer Science, Vol 21, p. 5-38, 2011
Proofs
P.J.L.Cuijpers. Moore-Smith Theory for Uniform Spaces through Asymptotic Equivalence. Computer Science Reports CSR 11-06. Department of Computer Science, TU/e, May, 2011.
PDF

2010

H. Beohar, P.J.L.Cuijpers. A theory of (partial) desynchronisable closed loop systems. Computer Science Reports CSR 10-19. Department of Computer Science, TU/e, December, 2010.
PDF
H. Beohar, P.J.L.Cuijpers. A theory of desynchronisable closed loop systems. EPTCS 38 Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction (ICE 2010), Amsterdam, pp. 99-114.
Link
H. Beohar, D. Nadalez, D.A. van Beek, P.J.L.Cuijpers. Hierarchy in the Compositional Interchange Format. EPTCS 32 Proceedings Seventh Workshop on Structural Operational Semantics (SOS2010)
Link
H. Beohar, D. Nadalez, D.A. van Beek, P.J.L.Cuijpers. Hierarchical States in the Compositional Interchange Format. Technical Report on ArXiv
Link
Bert van Beek, Pieter Cuijpers, Jasen Markovski, Damian Nadalez, Koos Rooda. Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. Lecture Notes in Computer Science, Vol. 6246, pages 47-61 (2010), Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Springer-Verlag

2009

J.C.M. Baeten, P.J.L. Cuijpers, B. Luttik, P.J.A. van Tilburg. A Process-Theoretic Look at Automata, Lecture Notes in Computer Science, Vol. 5961, pages 1-33 (2009), Proceedings of FSEN 2009, Springer-Verlag
Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers, Jasen Markovski, Caroll Morgan and Manuel Nez, editors: Proceedings of the First Workshop on Quantitative Formal Methods: Theory and Applications, Electronic Proceedings in Theoretical Computer Science (EPTCS), December 2009, DOI: 10.4204/EPTCS.13, ISSN: 2075-2180
Link
Beohar, H., Cuijpers, P.J.L., Baeten, J.C.M. (2009). Design of asynchronous supervisors. arXiv.org [cs.LO] No. 0910.0868, 26 pp.
Link
J.C.M. Baeten, P.J.L.Cuijpers, P.J.A. van Tilburg. A Basic Parallel Process as a Parallel Pushdown Automaton. Electronic Notes in Theoretical Computer Science, Volume 242, pages 35-48, 2009 , EXPRESS 2008
P.J.L. Cuijpers, F.A.J. Koenders, M.G.P. Pustjens, B.A.G. Senders, P.J.A. van Tilburg, P. Verduin, Queue Merge: a Binary Operator for Modeling Queueing Behavior. Computer Science Reports CSR 09-02. Department of Computer Science, TU/e, March, 2009.

2008

P.J.L. Cuijpers, J.F. Broenink and P.J. Mosterman. Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. SIMULATION, Vol. 84, No. 7, pages 339-358 (2008)
J.C.M. Baeten, P.J.L.Cuijpers, P.J.A. van Tilburg. A Context-free Process as a Pushdown Automaton. Lecture Notes in Computer Science, Volume 5201, pages 98-113 (2008) , CONCUR 2008 - Concurrency Theory
Link
R.J. Bril and P.J.L. Cuijpers. Towards Exploiting the Preservation Strategy of Sporadic Servers. Work-In-Progress Session of the Euromicro Conference on Real-Time Systems '08 July 2008
J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers J.E. Rooda, R.R.H. Schiffelers, R.J.M. Theunissen. Model-based engineering of embedded systems using the hybrid process algebra Chi. Electronic Notes in Theoretical Computer Science, Volume 209, pages 21-53, 2008 , LIX Colloquium 2006
P.J.L. Cuijpers and M.A. Reniers. Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions. Lecture Notes in Computer Science, Volume 4981, pages 116-129, 2008, Hybrid Systems Computation and Control (HSCC'08)
R.J. Bril and P.J.L. Cuijpers. Towards Exploiting the Preservation Strategy of Deferrable Servers. Proceedings Work-In-Progress Session of the 14th Real-Time and Embedded Technology and Applications Symposium (RTAS '08) (pages 13-16 and CD), April 2008, St. Louis.
U. Khadim and P.J.L.Cuijpers. Basic Process Algebra with Relative Time and Non-existence. Computer Science Reports CSR 08-09. Department of Computer Science, TU/e, April, 2008.

2007

P.J.L. Cuijpers and L.L.F. Merkx. Fault-tolerance in an Embedded Steering Robot: a hybrid approach. Bits en Chips 2007 Embedded Systemen, 17 & 18 Oktober 2007, Evoluon Eindhoven.
PDF
P.J.L. Cuijpers and R.J. Bril. Towards Budgetting in Real-Time Calculus: Deferrable Servers. Lecture Notes in Computer Science, Volume 4763, pages 98-113, 2007 , Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007.
U. Khadim, D.A. van Beek and P.J.L. Cuijpers. Linearization of Hybrid Chi using Program Counters, Computer Science Reports CSR 07-18, Department of Computer Science, TU/e, August, 2007.
PDF
L.L.F. Merkx, P.J.L. Cuijpers and H.M. Duringhof. Algebraic Software Analysis and Embedded Simulation of a Driving Robot. Proceedings of the Summer Simulation Conference (SCSC 2007), San Diego (CA), July 2007
L.L.F. Merkx, H.M. Duringhof and P.J.L. Cuijpers. Algebraic Software Analysis and Embedded Simulation of a Driving Robot. Computer Science Reports CSR 07-09, Department of Computer Science, TU/e, April 2007.
PDF
P.J.L. Cuijpers, A.V. Fyukov. Simulation-based Performance Analysis of a Medical Image-Processing Architecture. Lecture Notes in Computer Science, Volume 4346, pages 195-210 , Proceedings of FMICS2006
P.J.L. Cuijpers. On Bicontinuous Bisimulation and the Preservation of Stability. Lecture Notes in Computer Science, Volume 4416, pages 676-679, Hybrid Systems Computation and Control (HSCC 2007) .

2006

P.J.L. Cuijpers and R.J. Bril. Analysis of hierarchical fixed-priority pre-emptive scheduling revisited. Computer Science Reports CSR 06-36, Department of Computer Science, TU/e, December, 2006.
PDF
B. Babu, R. Gopalakrishnan, P. Cuijpers, G. Meempat. A pipelined architecture for throughput enhancement in remote database logging applications. The 10th IASTED Conference on Software Engineering and Applications (SEA2006), Dallas, Texas, USA, November 2006.
P.J.L. Cuijpers and M.A. Reniers. Topological Aspects of Hybrid Processes: a proposed treatment using non-standard analysis. Electronic Notes in Theoretical Computer Science, Volume 162, pages 153-158, September 2006, Contributions from APC 2005.
P.J.L. Cuijpers. A note on Continuous Bisimulation and Stability, Computer Science Reports CSR 06-26, Department of Computer Science, TU/e, September, 2006.
PDF
P.J.L. Cuijpers, A.V. Fyukov. Simulation-based Performance Analysis of a Medical Image-Processing Architecture. In: Lubos Brim and Martin Leucker, editors, Formal Methods for Industrial Critical Systems, 11th International Workshop (FMICS2006), Bonn, Germany, August 2006, Preliminary Proceedings
P.J.L. Cuijpers and R.J. Bril. Towards Periodic Budgetting in Real-Time Calculus. Computer Science Reports CSR 06-22, Department of Computer Science, TU/e, July, 2006.
PDF PS
P.J.L. Cuijpers and M.A. Reniers. Modelling an Impact control Strategy using HyPA, In: C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, editors, 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS2006), Alghero, Italy, June 7-9, 2006, pages 56-63
Link
Gopal Meempat, Pieter Cuijpers. Performance Analysis of the Logging Repository Component. Nat.Lab. Technical Note PR-TN 2006/0054, Philips Research Bangalore, May 2006.
P.C.W. van den Brand, M.A. Reniers and P.J.L. Cuijpers. Linearization of Hybrid Processes. Journal of Logic and Algebraic Programming, 68(1-2):129-210, June-July 2006. Special issue on Process Theory for Hybrid Systems.

2005

P.J.L. Cuijpers and A.V. Fyukov. Latency and Throughput in LITE, Calculation and Simulation. Philips Internal Report XL-XXX-XX-XXXX, Philips Research, December, 2005.
P.J.L. Cuijpers and M.A. Reniers. Topological Aspects of Hybrid Processes (a treatment using non-standard analysis). In L. Aceto and A.D. Gordon, editors, Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond PA'05, Bertinoro, Forlì, Italy, August 1-5, 2005, pages 95-99. BRICS Notes Series NS-05-03, June 2005.
K.L. Man, M.A. Reniers and P.J.L. Cuijpers. Case Studies in the Hybrid Process Algebra HyPA. International Journal of Software Engineering & Knowledge Engineering, 15(2):299-305, 2005. Special issue with papers from International Embedded and Hybrid Systems Conference (IEHSC 2005), Singapore, May 10-13, 2005.
P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. Journal of Logic and Algebraic Programming, 62(2):191-245. February 2005.
PDF PS

2004

P.J.L. Cuijpers. Hybrid Process Algebra. PhD Thesis, Technische Universiteit Eindhoven (TU/e), Eindhoven, Netherlands, December 2004.
PDF PS
P.J.L. Cuijpers and M.A. Reniers. Topological (Bi-)Simulation. Electronic Notes in Theoretical Computer Science, 100:49-64, October 2004.
BRICS CSR
P.J.L. Cuijpers, J.F. Broenink and P.J. Mosterman. Constitutive Hybrid Processes. In Proceedings of the Conference on Conceptual Modeling and Simulation, Genua, Italy, October 2004.
CSR
P.C.W. van den Brand, M.A. Reniers, and P.J.L. Cuijpers. Linearization of Hybrid Processes. Computer Science Reports CSR 04-29, Department of Computer Science, TU/e, October, 2004.
PDF PS
P.J.L. Cuijpers, J.F. Broenink, and P.J. Mosterman. Constitutive Hybrid Processes. Computer Science Reports CSR 04-12, Department of Computer Science, TU/e, 2004.
PDF
P.J.L. Cuijpers and M.A. Reniers. Action and Predicate Safety of Hybrid Systems. Computer Science Reports CSR 04-10, Department of Computer Science, TU/e, April, 2004.
PDF

2003

P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. Computer Science Reports CSR 03-07, Department of Computer Science, TU/e, 2003.
PDF
PS
P.J.L. Cuijpers and M.A. Reniers. Topological (Bi-)Simulation. Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory (GETCO 2003), Marseilles, France, September 6, 2003, pages 1-15. Volume BRICS-NS-03-1 of BRICS Notes Series.
PDF

2002

P.J.L. Cuijpers, M.A. Reniers and W.P.M.H. Heemels. Hybrid Transition Systems. Computer Science Reports CSR 02-12, Department of Computer Science, TU/e, 2002.
PS
P.J.L. Cuijpers and M.A. Reniers. Topological (Bi-)Simulation. Computer Science Reports CSR 02-04, Department of Computer Science, TU/e, 2002.
PDF
P.J.L. Cuijpers, A. Juloski, , M.A. Reniers, W.P.M.H. Heemels, J.F. Groote, and P. van den Bosch. Analysis and Synthesis of Systems with Discrete and Continuous Control, Third Progress Workshop on Embedded Systems, Networked Embedded Systems Everywhere, Utrecht, The Netherlands, October 24, 2002, pages 28-33. STW Technology Foundation.
PDF

2001

P.J.L. Cuijpers, M.A. Reniers, and A.G. Engels. Beyond Zeno-behaviour. Computer Science Reports CSR 01-04, Department of Computer Science, TU/e, 2001.
PDF

2000

P.J.L. Cuijpers. A Comparison of Tableaux Algorithms. Masters Thesis. Department of Electrical Engineering, TU/e, August 2000.
PS