Jaap Boender
Jaap Boender
Formal Verification Engineer, Hensoldt Cyber GmbH
Verified email at
Cited by
Cited by
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
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
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
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
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
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
Modeling Human Behaviour with Higher Order Logic: Insider Threats
J Boender, MG Ivanova, F Kammuller, G Primiero
IEEE, 2014
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
Negative trust for conflict resolution in software management
G Primiero, J Boender
Web Intelligence 16 (4), 251-271, 2018
Managing software uninstall with negative trust
G Primiero, J Boender
Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM …, 2017
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
Teaching functional patterns through robotic applications
J Boender, E Currie, M Loomes, G Primiero, F Raimondi
arXiv preprint arXiv:1611.09470, 2016
Efficient computation of dominance in component systems (short paper)
J Boender
International Conference on Software Engineering and Formal Methods, 399-406, 2011
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
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
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
A formal study of Free Software distributions
J Boender
Université Paris-Diderot-Paris VII, 2011
Formal verification of a theory of packages
J Boender
Electronic Communications of the EASST 48, 2013
Small world characteristics of FLOSS distributions
J Boender, S Fernandes
International Conference on Software Engineering and Formal Methods, 417-429, 2013
Étude formelle des distributions de logiciel libre
J Boender
Université Paris-Diderot-Paris VII, 2011
The system can't perform the operation now. Try again later.
Articles 1–20