Browse by Author or creator

2023

Muijnck-Hughes, Jan de and Urlea, Cristian and Voinea, Laura and Vanderbauwhede, Wim (2023) Capable : a mechanised imperative language with native multiparty session types. In: ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, 2023-10-22 - 2023-10-27.

Muijnck-Hughes, Jan de and Vanderbauwhede, Wim (2023) Wiring circuits is easy as 0, 1, omega, or is it... (Artifact). Dagstuhl Artifacts Ser., 9 (2). 4:1-4:3.

de Muijnck-Hughes, Jan and Vanderbauwhede, Wim; Ali, Karim and Salvaneschi, Guido, eds. (2023) Wiring circuits is easy as {0,1,w}, or is it... In: 37th European Conference on Object-Oriented Programming, ECOOP 2023. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, USA. ISBN 9783959772815

2020

Muijnck-Hughes, Jan de and Brady, Edwin C. and Vanderbauwhede, Wim (2020) A framework for resource dependent EDSLs in a dependently typed language (Artifact). Dagstuhl Artifacts Ser., 6 (2). 02:1-02:3.

2019

Muijnck-Hughes, Jan de and Vanderbauwhede, Wim (2019) A typing discipline for hardware interfaces (Artifact). Dagstuhl Artifacts Ser., 5 (2). 14:1-14:3.

2016

Aßmuth, Andreas and Cockshott, Paul and Kipke, Jana and Renaud, Karen and Mackenzie, Lewis and Vanderbauwhede, Wim and Söllner, Matthias and Fischer, Tilo and Weir, George; (2016) Improving resilience by deploying permuted code onto physically unclonable unique processors. In: 2016 Cybersecurity and Cyberforensics Conference (CCC). IEEE, JOR, pp. 144-150. ISBN 9781509026579

2005

Vanderbauwhede, W. and Harle, D.A. (2005) Architecture, design and modelling of the OPSnet asynchronous pptical packet switching node. Journal of Lightwave Technology, 23 (7). pp. 2215-2228. ISSN 0733-8724

Vanderbauwhede, W. and Kolberg, F. and Harle, D.A. (2005) Providing quality of service in an IP-over optical packet switch network using GMPLS. In: 4th Workshop on G/MPLS Networks, 2005-04-22.

2004

Vanderbauwhede, W. and Harle, D.A. (2004) Performance modeling of an asynchronous optical packet switch for direct IP over WDM. In: Conference on Heterogenous Networks (HETNETs03), 2003-07-21 - 2003-07-24.

Vanderbauwhede, W. and Harle, D.A. (2004) Design and modeling of an asynchronous optical packet switch with Diffserv traffic. In: 8th IFIP Working Conference on Optical Network Design and Modeling (ONDM2004),, 2004-02-02 - 2004-02-05.

2003

Vanderbauwhede, W. and Harle, D.A. (2003) A novel design for an asynchronous optical packet switch. In: 7th IFIP Working Conference on Optical Network Design and Modeling, (ONDM2003), 2003-02-03 - 2003-02-05.

Vanderbauwhede, W. and Harle, D.A. (2003) Modelling and characterisation of an asynchronous optical packet switch for direct IP over WDM. In: International Network Optimization Conference (INOC2003), 2003-10-27 - 2003-10-29.

2002

Vanderbauwhede, W. and Harle, D.A. and Smith, D.G. (2002) GMV and restricted-structure GMV controller performance assessment - multivariable case. In: UNSPECIFIED.