Folgen
Jaap Boender
Jaap Boender
Formal Verification Engineer, Hensoldt Cyber GmbH
Bestätigte E-Mail-Adresse bei kerguelen.org
Titel
Zitiert von
Zitiert von
Jahr
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
2152006
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
482014
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
232006
Modeling Human Behaviour with Higher Order Logic: Insider Threats
J Boender, MG Ivanova, F Kammuller, G Primiero
IEEE, 2014
162014
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
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
92008
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
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
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
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
42018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20