Pieter J. L. Cuijpers

	2010
21		Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn: The Hierarchical Compositional Interchange Format. FMCO 2010: 316-335
20		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
19		Harsh Beohar, Pieter J. L. Cuijpers: A theory of desynchronisable closed loop system ICE 2010: 99-114
18		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
	2009
17		Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications QFM 2009
16		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
15		Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten: Design of asynchronous supervisors CoRR abs/0910.0868: (2009)
14		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)
	2008
13		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
12		Pieter J. L. Cuijpers, Michel A. Reniers: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129
11		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)
10		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)
	2007
9		Pieter J. L. Cuijpers, Reinder J. Bril: Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113
8		Pieter J. L. Cuijpers: On Bicontinuous Bisimulation and the Preservation of Stability. HSCC 2007: 676-679
7		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
6		Pieter J. L. Cuijpers, A. V. Fyukov: Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210
5		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)
4		P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers: Linearization of hybrid processes. J. Log. Algebr. Program. 68(1-2): 54-104 (2006)
	2005
3		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)
2		Pieter J. L. Cuijpers, Michel A. Reniers: Hybrid process algebra. J. Log. Algebr. Program. 62(2): 191-245 (2005)
	2004
1		Pieter J. L. Cuijpers, Michel A. Reniers: Topological (Bi-)Simulation. Electr. Notes Theor. Comput. Sci. 100: 49-64 (2004)

Coauthor Index

1	D. E. Nadales Agut (Damian Nadales Agut)	[18] [20] [21]
2	Suzana Andova	[17]
3	Jos C. M. Baeten	[11] [13] [14] [15] [16]
4	Bert van Beek	[21]
5	Dirk A. van Beek (D. A. van Beek)	[11] [18] [20]
6	Harsh Beohar	[15] [18] [19] [21]
7	Reinder J. Bril	[9]
8	Jan F. Broenink	[10]
9	Pedro R. D'Argenio	[17]
10	H. M. Duringhof	[7]
11	Jasper Fonteijn	[21]
12	A. V. Fyukov	[6]
13	Bas Luttik (S. P. Luttik)	[16]
14	Ka Lok Man (Ka L. Man)	[3]
15	Jasen Markovski	[17] [20]
16	Annabelle McIver (A. K. McIver)	[17]
17	L. L. F. Merkx	[7]
18	Carroll Morgan (Carroll C. Morgan)	[17]
19	Pieter J. Mosterman	[10]
20	Manuel Núñez	[17]
21	Michel A. Reniers	[1] [2] [3] [4] [5] [11] [12]
22	J. E. Rooda (Jacobus E. Rooda)	[11] [20]
23	Ramon R. H. Schiffelers	[11]
24	Rolf J. M. Theunissen	[11]
25	P. J. A. van Tilburg (Paul van Tilburg)	[13] [14] [16]
26	P. C. W. den Brand van	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page