Publications
International conference papers
- Jaap Boender
Efficient Computation of Dominance in Component Systems (short paper)
SEFM 2011, Montevideo, Uruguay [ Springer ] - Roberto Di Cosmo, Jaap Boender
Using strong conflicts to detect quality issues in component-based complex systems
ISEC 2010, Mysore, India [ ACM ] - Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli
Strong dependencies between software components
ESEM 2009, Lake Buena Vista, USA [ IEEE ] - Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerôme Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
Managing the complexity of large free and open source package-based software distributions
ASE 2006, Tokyo, Japan [ IEEE ]
International workshop papers
- Jaap Boender
Formal verification of a theory of packages (short paper)
OpenCert 2011, Montevideo, Uruguay [ pdf ] - Jaap Boender
A Formal Study of Software Component Upgrade Problems,
FACS 2010 (doctoral track), Guimarães, Portugal - Jaap Boender, Roberto Di Cosmo, Jerôme Vouillon, Berke Durak, Fabio Mancinelli
Improving the quality of GNU/Linux distributions
QACOS 2008, Turku, Finland [ IEEE ] - Jaap Boender, Roberto Di Cosmo, Berke Durak, Xavier Leroy, Fabio Mancinelli, Mario Morgado, David Pinheiro, Ralf Treinen, Paulo Trezentos, Jerôme Vouillon
News from the EDOS project: improving the maintenance of free software distributions
IWFS 2006 [ pdf ]
Technical reports
- Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
Strong Dependencies Between Software Components
MANCOOSI technical report TR002, 2009 [ pdf ]
Dissertations
- Jaap Boender
A formal study of Free Software Distributions
PhD thesis, Université Paris Diderot, 2011
Advisor: Roberto Di Cosmo
Referees: Carsten Sinz, Peter Van Roy
Jury: Ralf Treinen, Jesus Gonzalez-Barahona, Jean-Bernard Stefani, Diomidis Spinellis
[ pdf ] - Jaap Boender
A tactic for proving primitive recursive predicates in Coq
MSc thesis, Radboud University Nijmegen, 2005
Advisor: Herman Geuvers
[ pdf ]
Miscellanea
- Fabio Mancinelli, Roberto Di Cosmo, Jerôme Vouillon, Jaap Boender, Berke Durak, Xavier Leroy, Ralf Treinen
Sound tools for package dependency management in Free and Open Source Software distributions (poster)
OSS 2007, Limerick, Ireland - EDOS WP2 team
Report on formal management of software dependencies
EDOS project deliverable, 2006