Scholar Home

 Follow this author

No co-authors
Citation indices
 AllSince 2009
Citations to my articles
Citations to my articles
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 ...
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender, S Zacchiroli
Proceedings of the 2009 3rd International Symposium on Empirical Software ...
Report on formal management of software dependencies
R Di Cosmo, F Mancinelli, J Boender, J Vouillon, B Durak, X Leroy, ...
Delivrable WP2-D2 2
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
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 ...
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
Efficient Computation of Dominance in Component Systems (Short Paper)
J Boender
Software Engineering and Formal Methods, 399-406
On the Correctness of a Branch Displacement Algorithm
J Boender, CS Coen
Tools and Algorithms for the Construction and Analysis of Systems, 605-619
Étude formelle des distributions de logiciel libre
J Boender
Université Paris-Diderot-Paris VII
Formal verification of a theory of packages
J Boender
Electronic Communications of the EASST 48
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, ...
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
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