J
Jaap Boender
Researcher at Middlesex University
Publications - 25
Citations - 461
Jaap Boender is an academic researcher from Middlesex University. The author has contributed to research in topics: Context (language use) & Software. The author has an hindex of 9, co-authored 24 publications receiving 425 citations. Previous affiliations of Jaap Boender include University of Paris & Pierre-and-Marie-Curie University.
Papers
More filters
Proceedings ArticleDOI
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
Fabio Mancinelli,Jaap Boender,Roberto Di Cosmo,Jérôme Vouillon,Berke Durak,Xavier Leroy,Ralf Treinen +6 more
TL;DR: This research presents the approach, the tools developed and their application with experimental results, and provides an effective and automatic way to support distribution editors in handling those issues that were, until now, mostly addressed using ad-hoc tools and manual techniques.
Posted Content
Strong Dependencies between Software Components
TL;DR: An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.
Proceedings ArticleDOI
Strong dependencies between software components
TL;DR: An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.
Book ChapterDOI
Certified Complexity (CerCo)
Roberto M. Amadio,Nicolas Ayache,Nicolas Ayache,François Bobot,François Bobot,Jaap Boender,Brian Campbell,Ilias Garnier,Antoine Madet,James McKinna,Dominic P. Mulligan,Mauro Piccolo,Randy Pollack,Yann Régis-Gianas,Yann Régis-Gianas,Claudio Sacerdoti Coen,Ian Stark,Paolo Tranquilli +17 more
TL;DR: The main achievement is the development of a technique for analysing non-functional properties of programs at the source level with little or no loss of accuracy and a small trusted code base.
Formalization of quantum protocols using Coq
TL;DR: A novel framework for modelling and verifying quantum protocols and their implementations using the proof assistant Coq is presented, and a Coq library for quantum bits (qubits), quantum gates, and quantum measurement is provided.