Follow
Jaap Boender
Jaap Boender
Formal Verification Engineer, Hensoldt Cyber GmbH
Verified email at kerguelen.org
Title
Cited by
Cited by
Year
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
2202006
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
872009
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
Foundational and Practical Aspects of Resource Analysis: Third International …, 2014
492014
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
342015
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
252010
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
222006
Modeling Human Behaviour with Higher Order Logic: Insider Threats
J Boender, MG Ivanova, F Kammuller, G Primiero
IEEE, 2014
172014
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
122015
Negative trust for conflict resolution in software management
G Primiero, J Boender
Web Intelligence 16 (4), 251-271, 2018
92018
Managing software uninstall with negative trust
G Primiero, J Boender
Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM …, 2017
92017
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
92008
Teaching functional patterns through robotic applications
J Boender, E Currie, M Loomes, G Primiero, F Raimondi
arXiv preprint arXiv:1611.09470, 2016
82016
Efficient computation of dominance in component systems (short paper)
J Boender
International Conference on Software Engineering and Formal Methods, 399-406, 2011
72011
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
62006
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
52018
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
52014
A formal study of Free Software distributions
J Boender
Université Paris-Diderot-Paris VII, 2011
52011
Formal verification of a theory of packages
J Boender
Electronic Communications of the EASST 48, 2013
42013
Small world characteristics of FLOSS distributions
J Boender, S Fernandes
International Conference on Software Engineering and Formal Methods, 417-429, 2013
32013
Étude formelle des distributions de logiciel libre
J Boender
Université Paris-Diderot-Paris VII, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20