P.J.L. Cuijpers Prefix Orders as a General Model of Dynamics, full version. DCM 2013 
H. Beohar, P.J.L. Cuijpers. Avoiding Diamonds in Desynchronization. Science of Computer Programming, Elsevier 
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) 
M. Stolikj, P.J.L. Cuijpers, J.J. Lukkien Energyaware reprogramming of sensor networks using incremental update and compression. The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT2012)  
A. Lele, O. Moreira, P.J.L. Cuijpers. Dataflow Based Temporal Analysis for TDM. The International Conference on Embedded Software (EMSOFT2012)  
H. Beohar, P.J.L. Cuijpers. Avoiding Diamonds in Desynchronization. Formal Aspects of Computer Science (FACS'2012)  
U. Khadim, P.J.L.Cuijpers. Repairing TimeDeterminism 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.  


M.M.H.P. van den Heuvel, P.J.L. Cuijpers, J.J. Lukkien and N. Fisher, Revised budget allocations for fixedpriorityscheduled periodic resources, Computer Science Reports CSR 1203, Technische Universiteit Eindhoven (TU/e), The Netherlands, February 2012 


U.Khadim, P.J.L. Cuijpers, Proofs for the paper: Repairing TimeDeterminism in the Process Algebra for Hybrid Systems ACPhssrt, Computer Science Reports CSR 1202, Technische Universiteit Eindhoven (TU/e), The Netherlands, Januari 2012 

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  "StateoftheArt Survey" volume 6957 of "Lecture Notes in Computer Science", pages 1386, Springer, 2011.  
H. Beohar, P.J.L.Cuijpers. Desynchronizability of (partial) synchronous closed loop systems. Scientific Annals of Computer Science, Vol 21, p. 538, 2011 


P.J.L.Cuijpers. MooreSmith Theory for Uniform Spaces through Asymptotic Equivalence. Computer Science Reports CSR 1106. Department of Computer Science, TU/e, May, 2011. 

H. Beohar, P.J.L.Cuijpers. A theory of (partial) desynchronisable closed loop systems. Computer Science Reports CSR 1019. Department of Computer Science, TU/e, December, 2010. 


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. 99114. 


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) 


H. Beohar, D. Nadalez, D.A. van Beek, P.J.L.Cuijpers. Hierarchical States in the Compositional Interchange Format. Technical Report on ArXiv 


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 4761 (2010), Formal Modeling and Analysis of Timed Systems (FORMATS 2010), SpringerVerlag 
J.C.M. Baeten, P.J.L. Cuijpers, B. Luttik, P.J.A. van Tilburg. A ProcessTheoretic Look at Automata, Lecture Notes in Computer Science, Vol. 5961, pages 133 (2009), Proceedings of FSEN 2009, SpringerVerlag  
Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers, Jasen Markovski, Caroll Morgan and Manuel Núñez, 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: 20752180 


Beohar, H., Cuijpers, P.J.L., Baeten, J.C.M. (2009). Design of asynchronous supervisors. arXiv.org [cs.LO] No. 0910.0868, 26 pp. 


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 3548, 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 0902. Department of Computer Science, TU/e, March, 2009. 
P.J.L. Cuijpers, J.F. Broenink and P.J. Mosterman. Constitutive Hybrid Processes: a ProcessAlgebraic Semantics for Hybrid Bond Graphs. SIMULATION, Vol. 84, No. 7, pages 339358 (2008)  
J.C.M. Baeten, P.J.L.Cuijpers, P.J.A. van Tilburg. A Contextfree Process as a Pushdown Automaton. Lecture Notes in Computer Science, Volume 5201, pages 98113 (2008) , CONCUR 2008  Concurrency Theory 


R.J. Bril and P.J.L. Cuijpers. Towards Exploiting the Preservation Strategy of Sporadic Servers. WorkInProgress Session of the Euromicro Conference on RealTime 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. Modelbased engineering of embedded systems using the hybrid process algebra Chi. Electronic Notes in Theoretical Computer Science, Volume 209, pages 2153, 2008 , LIX Colloquium 2006  
P.J.L. Cuijpers and M.A. Reniers. Lost in Translation: HybridTime Flows vs RealTime Transitions. Lecture Notes in Computer Science, Volume 4981, pages 116129, 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 WorkInProgress Session of the 14th RealTime and Embedded Technology and Applications Symposium (RTAS '08) (pages 1316 and CD), April 2008, St. Louis.  
U. Khadim and P.J.L.Cuijpers. Basic Process Algebra with Relative Time and Nonexistence. Computer Science Reports CSR 0809. Department of Computer Science, TU/e, April, 2008. 
P.J.L. Cuijpers and L.L.F. Merkx. Faulttolerance in an Embedded Steering Robot: a hybrid approach. Bits en Chips 2007 Embedded Systemen, 17 & 18 Oktober 2007, Evoluon Eindhoven.  
P.J.L. Cuijpers and R.J. Bril. Towards Budgetting in RealTime Calculus: Deferrable Servers. Lecture Notes in Computer Science, Volume 4763, pages 98113, 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 0718, Department of Computer Science, TU/e, August, 2007.  
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 0709, Department of Computer Science, TU/e, April 2007.  
P.J.L. Cuijpers, A.V. Fyukov. Simulationbased Performance Analysis of a Medical ImageProcessing Architecture. Lecture Notes in Computer Science, Volume 4346, pages 195210 , Proceedings of FMICS2006  
P.J.L. Cuijpers. On Bicontinuous Bisimulation and the Preservation of Stability. Lecture Notes in Computer Science, Volume 4416, pages 676679, Hybrid Systems Computation and Control (HSCC 2007) . 
P.J.L. Cuijpers and R.J. Bril. Analysis of hierarchical fixedpriority preemptive scheduling revisited. Computer Science Reports CSR 0636, Department of Computer Science, TU/e, December, 2006.  
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 nonstandard analysis. Electronic Notes in Theoretical Computer Science, Volume 162, pages 153158, September 2006, Contributions from APC 2005.  
P.J.L. Cuijpers. A note on Continuous Bisimulation and Stability, Computer Science Reports CSR 0626, Department of Computer Science, TU/e, September, 2006.  
P.J.L. Cuijpers, A.V. Fyukov. Simulationbased Performance Analysis of a Medical ImageProcessing 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 RealTime Calculus. Computer Science Reports CSR 0622, Department of Computer Science, TU/e, July, 2006.  
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 79, 2006, pages 5663 


Gopal Meempat, Pieter Cuijpers. Performance Analysis of the Logging Repository Component. Nat.Lab. Technical Note PRTN 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(12):129210, JuneJuly 2006. Special issue on Process Theory for Hybrid Systems. 
P.J.L. Cuijpers and A.V. Fyukov. Latency and Throughput in LITE, Calculation and Simulation. Philips Internal Report XLXXXXXXXXX, Philips Research, December, 2005.  
P.J.L. Cuijpers and M.A. Reniers. Topological Aspects of Hybrid Processes (a treatment using nonstandard 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 15, 2005, pages 9599. BRICS Notes Series NS0503, 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):299305, 2005. Special issue with papers from International Embedded and Hybrid Systems Conference (IEHSC 2005), Singapore, May 1013, 2005.  
P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. Journal of Logic and Algebraic Programming, 62(2):191245. February 2005. 
P.J.L. Cuijpers. Hybrid Process Algebra. PhD Thesis, Technische Universiteit Eindhoven (TU/e), Eindhoven, Netherlands, December 2004.  
P.J.L. Cuijpers and M.A. Reniers. Topological (Bi)Simulation. Electronic Notes in Theoretical Computer Science, 100:4964, October 2004.  
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.  
P.C.W. van den Brand, M.A. Reniers, and P.J.L. Cuijpers. Linearization of Hybrid Processes. Computer Science Reports CSR 0429, Department of Computer Science, TU/e, October, 2004.  
P.J.L. Cuijpers, J.F. Broenink, and P.J. Mosterman. Constitutive Hybrid Processes. Computer Science Reports CSR 0412, Department of Computer Science, TU/e, 2004. 


P.J.L. Cuijpers and M.A. Reniers. Action and Predicate Safety of Hybrid Systems. Computer Science Reports CSR 0410, Department of Computer Science, TU/e, April, 2004. 

P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. Computer Science Reports CSR 0307, Department of Computer Science, TU/e, 2003. 
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 115. Volume BRICSNS031 of BRICS Notes Series. 
P.J.L. Cuijpers, M.A. Reniers and W.P.M.H. Heemels. Hybrid Transition Systems. Computer Science Reports CSR 0212, Department of Computer Science, TU/e, 2002. 


P.J.L. Cuijpers and M.A. Reniers. Topological (Bi)Simulation. Computer Science Reports CSR 0204, Department of Computer Science, TU/e, 2002. 


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 2833. STW Technology Foundation. 
P.J.L. Cuijpers, M.A. Reniers, and A.G. Engels. Beyond Zenobehaviour. Computer Science Reports CSR 0104, Department of Computer Science, TU/e, 2001. 

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