Jaap Boender
Jaap Boender
Senior Lecturer, University of Middlesex
Verified email at kerguelen.org
TitleCited byYear
Managing the complexity of large free and open source package-based software distributions
F Mancinelli, J Boender, R Di Cosmo, J Vouillon, B Durak, X Leroy, ...
Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International …, 2006
1502006
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender, S Zacchiroli
Proceedings of the 2009 3rd International Symposium on Empirical Software …, 2009
652009
Report on formal management of software dependencies
R Di Cosmo, F Mancinelli, J Boender, J Vouillon, B Durak, X Leroy, ...
Delivrable WP2-D2 2, 2006
232006
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
202013
Using strong conflicts to detect quality issues in component-based complex systems
R Di Cosmo, J Boender
Proceedings of the 3rd India software engineering conference, 163-172, 2010
202010
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
92015
Minimizing transitive trust threats in software management systems
J Boender, G Primiero, F Raimondi
Privacy, Security and Trust (PST), 2015 13th Annual Conference on, 191-198, 2015
82015
Modeling Human Behaviour with Higher Order Logic: Insider Threats
J Boender, MG Ivanova, F Kammuller, G Primiero
IEEE, 2014
82014
On the Correctness of a Branch Displacement Algorithm
J Boender, CS Coen
Tools and Algorithms for the Construction and Analysis of Systems, 605-619, 2014
62014
Efficient computation of dominance in component systems (short paper)
J Boender
International Conference on Software Engineering and Formal Methods, 399-406, 2011
52011
A formal study of Free Software distributions
J Boender
Université Paris-Diderot-Paris VII, 2011
52011
Improving the quality of GNU/Linux distributions
J Boender, R Di Cosmo, J Vouillon, B Durak, F Mancinelli
Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE …, 2008
52008
News from the EDOS project: improving the maintenance of free software distributions
J Boender, R Di Cosmo, B Durak, X Leroy, F Mancinelli, M Morgado, ...
Proceedings of the International Workshop on Free Software (IWFS’06), 199-207, 2006
52006
Teaching functional patterns through robotic applications
J Boender, E Currie, M Loomes, G Primiero, F Raimondi
arXiv preprint arXiv:1611.09470, 2016
42016
Formal verification of a theory of packages
J Boender
Electronic Communications of the EASST 48, 2013
42013
Managing software uninstall with negative trust
G Primiero, J Boender
IFIP International Conference on Trust Management, 79-93, 2017
22017
Small world characteristics of FLOSS distributions
J Boender, S Fernandes
International Conference on Software Engineering and Formal Methods, 417-429, 2013
22013
Étude formelle des distributions de logiciel libre
J Boender
Université Paris-Diderot-Paris VII, 2011
22011
Negative trust for conflict resolution in software management
G Primiero, J Boender
Web Intelligence 16 (4), 251-271, 2018
12018
MIRTO: an open-source robotic platform for education
K Androutsopoulos, L Aristodemou, J Boender, M Bottone, E Currie, ...
Proceedings of the 3rd European Conference of Software Engineering Education …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20