EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Welch, P.H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 15.

2014

Bezemer, M.M. and Broenink, J.F. (2014) Hardware Ports - Getting Rid of Sandboxed Modelled Software. In: Communicating Process Architectures 2014, 24-27 Aug 2014, Oxford, UK. pp. 107-118. Concurrent System Engineering Series (WoTUG-36). Open Channel Publishing Ltd.. ISBN 978-0-9565409-8-0
Broenink, J.F. (2014) Communicating process architectures - by example. In: Communicating Process Architectures 2014, 24-27 Aug 2014, Oxford, UK. pp. 233-234. Open Channel Publishing Ltd. ISBN 978-0-9565409-8-0

2012

Oguz, O. and Broenink, J.F. and Mader, A.H. (2012) Schedulability analysis of timed CSP models using the PAT model checker. In: Communicating Process Architectures 2012, 26-29 Aug 2012, Dundee, Scotland. pp. 65-88. Open Channel Publishing Ltd. ISBN 978-0-9565409-5-9
Bezemer, M.M. and Wilterdink, R.J.W. and Broenink, J.F. (2012) Design and Use of CSP Meta-Model for Embedded Control Software Development. In: Communicating Process Architectures 2012, 26-29 Aug 2012, Dundee, United Kingdom. pp. 185-199. Concurrent System Engineering Series 69 (WoTUG-34). Open Channel Publishing Ltd.. ISBN 978-0-9565409-5-9

2011

Bezemer, M.M. and Wilterdink, R.J.W. and Broenink, J.F. (2011) LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. In: Communicating Process Architectures 2011, 19-22 June 2011, Limerick, Ireland. pp. 157-175. Concurrent System Engineering Series 68 (WoTUG-33). IOS Press BV. ISSN 1383-7575 ISBN 978-1-60750-773-4

2009

Groothuis, M.A. and Broenink, J.F. (2009) HW/SW Design Space Exploration on the Production Cell Setup. In: Communication Process Architectures 2009, 1-4 Nov 2009, Eindhoven, The Netherlands. pp. 387-402. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0
Bezemer, M.M. and Groothuis, M.A. and Broenink, J.F. (2009) Analysing gCSP Models Using Runtime and Model Analysis Algorithms. In: Communicating Process Architectures 2009, 01-04 Nov 2009, Eindhoven. pp. 67-88. Concurrent System Engineering Series 67 (WoTUG-32). IOS Press BV. ISSN 1383-7575 ISBN 978-1-60750-065-0
Welch, P.H. and Roebbers, H.W. and Broenink, J.F. and Barnes, F.R.M. and Ritson, C.G. and Sampson, A.T. and Stiles, G.S. and Vinter, B. (2009) Preface. In: Communicating Process Architectures 2009, 1-4 Nov 2009, Eindhoven. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0

2008

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3

2006

Orlic, B. and Broenink, J.F. (2006) SystemCSP - Visual Notation. (Invited) In: Communicationg Process Architectures 2006, 17-20 sep 2006, Edinburg. pp. 151-177. Concurrent Systems Engineering Series 64. IOS Press. ISBN 1-58603-671-8
Orlic, B. and Broenink, J.F. (2006) Interacting Components. (Invited) In: Communicating Process Architectures 2006, 17-20 Sep 2006, Edinburgh. pp. 179-202. Concurrent Systems Engineering Series 64. IOS Press. ISBN 1-58603-671-8

2005

Schoute, A.L. and Seesink, R.A. and Dierssen, W. and Kooij, N. (2005) Fast data sharing within a distributed, multithreaded control framework for robot teams. In: Communicating Process Architectures 2005 (WoTUG-28), 18-21 Sep 2005, Eindhoven, The Netherlands. pp. 147-154. IOS Press Concurrent Systems Engineering Series 63. IOS Press. ISBN 1-58603-561-4
Wiggers, M.H. and Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2005) Architecture Design Space Exploration for Streaming Applications Through Timing Analysis. In: Communicating Process Architectures 2005 (WoTUG-28), Eindhoven, The Netherlands. pp. 219-233. IOS Press. ISBN 1-58603-561-4
Broenink, J.F. and Roebbers, H.W. and Sunters, J.P.E. and Welch, P.H. and Wood, D.C., ed. (2005) Communicating Process Achitectures 2005. Concurrent Systems Engineering Series 63. IOS Press, Amsterdam, Netherlands. ISBN 978-1-58603-561-7

2000

Volkerink, H.J. and Hilderink, G.H. and Broenink, J.F. and Vervoort, W.A. and Bakkers, A.W.P. (2000) CSP Design Model and Tool Support. In: Communicating Process Architectures, 10-13 Sep 2000, Canterbury, UK. pp. 33-48. IOS Press. ISSN 1383-7575

This list was generated on Mon May 22 06:30:45 CEST 2017.