Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. - Fabio Mancinelli; Jaap Boender; Roberto Di Cosmo; Jerome Vouillon; Berke Durak; Xavier Leroy; Ralf Treinen (ASE, 2006)

Improving the Quality of GNU/Linux Distributions. - Jaap Boender; Roberto Di Cosmo; Jérôme Vouillon; Berke Durak; Fabio Mancinelli (COMPSAC, 2008)

Strong dependencies between software components. - Pietro Abate; Roberto Di Cosmo; Jaap Boender; Stefano Zacchiroli (ESEM, 2009)

Using strong conflicts to detect quality issues in component-based complex systems. - Roberto Di Cosmo; Jaap Boender (ISEC, 2010)

Efficient Computation of Dominance in Component Systems (Short Paper). - Jaap Boender (SEFM, 2011)

Formal verification of a theory of packages. - Jaap Boender (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A formal study of Free Software distributions. (Etude formelle des distributions de logiciel libre). - Jaap Boender (2011)

Certified Complexity (CerCo). - Roberto M. Amadio; Nicholas Ayache; François Bobot; Jaap Boender; Brian Campbell 001; Ilias Garnier; Antoine Madet; James McKinna; Dominic P. Mulligan; Mauro Piccolo; Randy Pollack; Yann Régis-Gianas; et al. (FOPARA, 2013)

Small World Characteristics of FLOSS Distributions. - Jaap Boender; Sara Fernandes (SEFM Workshops, 2013)

Modeling Human Behaviour with Higher Order Logic: Insider Threats. - Jaap Boender; Marieta Georgieva Ivanova; Florian Kammüller; Giuseppe Primiero (STAST, 2014)

On the Correctness of a Branch Displacement Algorithm. - Jaap Boender; Claudio Sacerdoti Coen (TACAS, 2014)

Minimizing transitive trust threats in software management systems. - Jaap Boender; Giuseppe Primiero; Franco Raimondi (PST, 2015)

Formalization of Quantum Protocols using Coq. - Jaap Boender; Florian Kammüller; Rajagopal Nagarajan (QPL, 2015)

Teaching Functional Patterns through Robotic Applications. - Jaap Boender; Edward Currie; Martin J. Loomes; Giuseppe Primiero; Franco Raimondi (TFPIE, 2016)

Managing Software Uninstall with Negative Trust. - Giuseppe Primiero; Jaap Boender (IFIPTM, 2017)

MIRTO: an Open-Source Robotic Platform for Education. - Kelly Androutsopoulos; L. Aristodemou; Jaap Boender; Michele Bottone; Edward Currie; I. El-Aroussi; Bob Fields; L. Gheri; Nikos Gorogiannis; Miltos Heeney; Michael Micheletti; Martin J. Loomes; et al. (ECSEE, 2018)

Negative trust for conflict resolution in software management. - Giuseppe Primiero; Jaap Boender (Web Intell., 2018)

Describing and Simulating Concurrent Quantum Systems. - Richard Bornat; Jaap Boender; Florian Kammueller; Guillaume Poly; Rajagopal Nagarajan (TACAS (2), 2020)

Formal Verification of a Keystore. - Jaap Boender; Goran Badevic (TASE, 2022)