Scholar Home



 Follow this author

 Co-authors
No co-authors
Citation indices
 AllSince 2009
Citations185159
h-index55
i10-index44
Citations to my articles
Citations to my articles
1-14
Title / AuthorCited 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 ...
1022006
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender, S Zacchiroli
Proceedings of the 2009 3rd International Symposium on Empirical Software ...
352009
Report on formal management of software dependencies
R Di Cosmo, F Mancinelli, J Boender, J Vouillon, B Durak, X Leroy, ...
Delivrable WP2-D2 2
202006
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
112010
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 ...
62008
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
42006
Efficient Computation of Dominance in Component Systems (Short Paper)
J Boender
Software Engineering and Formal Methods, 399-406
32011
On the Correctness of a Branch Displacement Algorithm
J Boender, CS Coen
Tools and Algorithms for the Construction and Analysis of Systems, 605-619
22014
Étude formelle des distributions de logiciel libre
J Boender
Université Paris-Diderot-Paris VII
22011
Formal verification of a theory of packages
J Boender
Electronic Communications of the EASST 48
2013
Sound tools for package dependency management in free and open source software distributions
F Mancinelli, R Di Cosmo, J Vouillon, J Boender, B Durak, X Leroy, ...
Springer
2007
Certified Complexity (CerCo)⋆
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
Small world characteristics of FLOSS distributions
J Boender, S Fernandes
A tactic for proving primitive recursive predicates in Coq
J Boender
1-14
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations