| 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 | 203 | 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 | 82 | 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 | 41 | 2014 |
| Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015 | 25 | 2015 |
| 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 | 24 | 2006 |
| 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 | 23 | 2010 |
| Modeling Human Behaviour with Higher Order Logic: Insider Threats J Boender, MG Ivanova, F Kammuller, G Primiero IEEE, 2014 | 15 | 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 | 12 | 2015 |
| Managing software uninstall with negative trust G Primiero, J Boender Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM …, 2017 | 10 | 2017 |
| Negative trust for conflict resolution in software management G Primiero, J Boender Web Intelligence 16 (4), 251-271, 2018 | 9 | 2018 |
| 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 | 8 | 2008 |
| 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 | 8 | 2008 |
| Teaching functional patterns through robotic applications J Boender, E Currie, M Loomes, G Primiero, F Raimondi arXiv preprint arXiv:1611.09470, 2016 | 7 | 2016 |
| Efficient computation of dominance in component systems (short paper) J Boender Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 6 | 2011 |
| 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 | 5 | 2014 |
| A formal study of Free Software distributions J Boender Université Paris-Diderot-Paris VII, 2011 | 5 | 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 | 5 | 2006 |
| Formal verification of a theory of packages J Boender Electronic Communications of the EASST 48, 2013 | 4 | 2013 |
| 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 | 3 | 2018 |
| Small world characteristics of FLOSS distributions J Boender, S Fernandes Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 3 | 2014 |
