Here you can find pointers to papers and presentations delivered about Mancoosi.

Papers

2011

  1. [ pdf ] Abstraction-Based Algorithm for 2QBF, 14th International Conference on Theory and Applications of Satisfiability Testing. By Mikolas Janota, and Joao Marques-Silva.

  2. [ pdf ] Boolean lexicographic optimization: algorithms & applications, Annals of Mathematics and Artificial Intelligence. By Joao Marques-Silva, Josep Argelich, Ana Graça, and Inês Lynce

  3. [ pdf ] On Improving MUS Extraction Algorithms 14th International Conference on Theory and Applications of Satisfiability Testing. By Joao Marques-Silva, and Ines Lynce.

  4. [ pdf ] Predicting Upgrade Failures Using Dependency Analysis, 3rd Workshop on Hot Topics in Software Upgrades (HotSWUp'11), 16/04/2011 Hannover, Germany. By Pietro Abate, Roberto Di Cosmo, Ralf Treinen.

  5. [ pdf ] MPM : a modular package manager, CBSE 2011, June 21-23, 2011, Boulder, CO, USA. By Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli.

  6. [ pdf ] DiRec: Diversified Recommendations for Semantic-less Collaborative Filtering, ICDE 2011, April 11-16, 2011, Hannover, Germany. By Ruby Boim, Tova Milo, and Slava Novgorodov.

  7. [ pdf ] Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators, 11th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'11), Reykjavik, Iceland, June 2011. By John Ardelius and Boris Mejías.

2010

  1. [ pdf ] The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining, In proceedings of MSR 2010: 7th IEEE Working Conference on Mining Software Repositories, co-located with ICSE 2010, IEEE, pp. 52-61. By Lucas Nussbaum and Stefano Zacchiroli.

  2. [ pdf ] Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage, International Journal of Adaptive, Resilient, and Autonomic Systems, vol. 1/3, pages 1-24,

    1. By Boris Mejías and Peter Van Roy.
  3. [ pdf ] Lock-Free Decentralized Storage for Transactional Upgrade Rollback, 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, Larissa, Greece. Boris Mejias, Gustavo Gutierrez, Peter Van Roy, John Thomson and Paulo Trezentos.

  4. [ pdf ] Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription, Proceeding of the 12th European Conference on Logics in Artificial Intelligence JELIA 10. By Mikolás Janota, Radu Grigore, and Joao Marques-Silva.

  5. [ pdf ] New Insights into Encodings from MaxCSP into Partial MaxSAT, ISMVL, page 46-52. IEEE Computer Society. By Josep Argelich, Alba Cabiscol, Ines Lynce, and Felip Manyà

  6. [ pdf ] Boolean Lexicographic Optimization, 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. By Joao Marques-Silva, Josep Argelich, Ana Graça, and Inês Lynce.

  7. [ pdf ] Supporting Software Evolution in Component-Based FOSS Systems, Science of Computer Programming (2010). By Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli.

  8. [ pdf ] A Model Driven Approach to Upgrade Package Based Software Systems, Chapter of the book Evaluation of Novel Approaches to Software Engineering, pages 262-276, Springer, Heidelberg, Communications in Computer and Information Science (CCIS), volume 69, 2010. By Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli.

  9. [ pdf ] Automated co-evolution of GMF editor models, 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The Netherlands, pages 143--162, Springer, Heidelberg, 2010. By Davide Di Ruscio, Ralf Laemmel and Alfonso Pierantonio.

  10. [ pdf ] JTL: a bidirectional and change propagating transformation language 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The NeTherlqns, pages 183--202, Springer, Heidelberg, 2010. By Antonio Cicchetti, Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio.

  11. [ pdf ] Apt-pbo: solving the software dependency problem using pseudo-boolean optimization, ASE 2010, September 20-24, 2010, Antwerp, Belgium. By Paulo Trezentos, Ines Lynce, and Arlindo L. Oliveira.

  12. [ pdf ] Feature Diagrams as Package Dependencies, SPLC 2010, September 13-17, 2010, Jeju Island, South Korea. By Roberto Di Cosmo and Stefano Zacchiroli.

  13. [ pdf ] Comparison of PBO solvers in a dependency solving domain, LoCoCo 2010, July 10, 2010, Edinburgh, Scotland. By Paulo Trezentos.

  14. [ pdf ] Handling software upgradeability problems with MILP solvers, LoCoCo 2010, July 10, 2010, Edinburgh, Scotland. By Claude Michel and Michel Rueher.

  15. [ pdf ] Solving Linux Upgradeability Problems Using Boolean Optimization, LoCoCo 2010, July 10, 2010, Edinburgh, Scotland. By Josep Argelich, Daniel Le Berre, Inês Lynce, Joao Marques-Silva, and Pascal Rapicault.

  16. [ pdf ] Improved Recommendations via (More) Collaboration, WebDB 2010, June 6, 2010, Indianapolis, Indiana, USA. By Rubi Boim, Haim Kaplan, Tova Milo and Ronitt Rubinfeld.

  17. [ pdf ] Using strong conflicts to detect quality issues in component-based complex systems, ISEC 2010, February 25-27, 2010, Mysore, India. By Roberto Di Cosmo and Jaap Boender.

  18. [ pdf ] Autocompletion for Mashups, VLDB 2009, August 24-28, 2009, Lyon, France. By Ohad Greenshpan, Tova Milo and Neoklis Polyzotis.

  19. [ pdf ] Querying DAG-shaped Execution Traces Through Views, WebDB, June 28, 2009, Rhode Island, USA. By Maya Ben-Ari, Tova Milo and Elad Verbin.

  20. [ pdf ] Enforcing Type-Safe Linking using Inter-Package Relationships, JFLA 2010. January 30 - February 02, 2010, La Ciotat, France. By Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, and Stefano Zacchiroli.

2009

  1. [ pdf ] Regular Encodings from Max-CSP into Partial Max-SAT, 39th International Symposium on Multiple-Valued Logic, page 196-202. By Josep Argelich, Alba Cabiscol, Inês Lynce, and Felip Manyà.

  2. [ pdf ] Sequential Encodings from Max-CSP into Partial Max-SAT, SAT, volume 5584 of Lecture Notes in Computer Science, page 161-166, Springer. By Josep Argelich, Alba Cabiscol, Inês Lynce, and Felip Manyà.

  3. [ pdf ] Different Models for Model Matching: An analysis of approaches to support model differencing, Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, Vancouver, Canada, pages 1--6, IEEE Computer Society, 2009. By Dimitrios S. Kolovos, Davide Di Ruscio, Richard F. Paige and Alfonso Pierantonio.

  4. [ pdf ] Managing dependent changes in coupled evolution, 2nd International Conference on Model Transformation (ICMT'09), pages 35-51, Springer, 2009. By Antonio Cicchetti, Davide Di Ruscio and Alfonso Pierantonio.

  5. [ pdf ] Towards a Framework for Distributed and Collaborative Modeling, IEEE International Workshops on Enabling Technologies, pages 149-154, IEEE Computer Society, 2009. By Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio.

  6. [ pdf ] Strong Dependencies between Software Components, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA. By Pietro Abate, Jaap Boender, Roberto di Cosmo, and Stefano Zacchiroli.

  7. [ pdf ] Expressing Advanced User preferences in Component Installation, IWOCE 2009 International Workshop on Open Component Ecosystem, affiliated with ESEC/FSE 2009. August 24, 2009, Amsterdam, The Netherlands. By Ralf Treinen and Stefano Zacchiroli.

  8. [ pdf ] Towards maintainer script modernization in FOSS distributions, IWOCE 2009 International Workshop on Open Component Ecosystem, affiliated with ESEC/FSE 2009. August 24, 2009, Amsterdam, The Netherlands. By Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, and Stefano Zacchiroli.

  9. [ pdf ] On Solving Boolean Multilevel Optimization Problems, IJCAI 2009, July 11-17 2009, Pasadena, California, USA. By Josep Argelich, Ines Lynce, and Joao Marques-Silva.

  10. [ pdf ] Towards a Model Driven Approach to Upgrade Complex Software Systems, ENASE 2009, May 9-10 2009, Milan, Italy. By Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, and Stefano Zacchiroli.

  11. [ pdf ] Optimized Union of Non-disjoint Distributed Data Sets, EDBT 2009, March 23-26 2009, Saint-Petersburg, Russia. By Itay Dar, Tova Milo and Elad Verbin.

2008

  1. [ pdf ] CNF instances from the software package installation problem, RCRA 2008, Udine, Italy, December 12-13 2008. By Josep Argelich and Ines Lynce.

  2. [ pdf ] Package upgrades in FOSS distributions: details and challenges, HotSWUp'08, October 20, 2008, Nashville, Tennessee, USA. By Roberto Di Cosmo, Paulo Trezentos, and Stefano Zacchiroli.

  3. [ pdf ] Managing model conflicts in distributed development, MODELS 2008, September 2008, Toulouse, France. By Antonio Cicchetti, Davide Di Ruscio, and Alfonso Pierantonio.

  4. [ pdf ] Automating Model Co-evolution in Model-Driven Engineering, EDOC 2008, September 2008, München, Germany. By Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio.

  5. [ pdf ] On SAT Technologies for dependency management and beyond, ASPL 2008, Limerick, September 2008. By Daniel Le Berre and Anne Parrain.

  6. [ pdf ] Enriching Topic-Based Publish-Subscribe Systems with Related Content, SIGMOD'08. By Rubi Boim and Tova Milo.

PhD Theses

  1. [ pdf ] A formal study of Free Software Distributions, PhD thesis, Université Paris-Diderot, March 24, 2011. By Jaap Boender.

  2. [ pdf ] Beernet: A Relaxed Approach to the Design of Scalable Systems with Self-Managing Behaviour and Transactional Robust Storage, PhD thesis, Université Catholique de Louvain, October, 2010. By Boris Mejías.

Presentations

  1. [ pdf Research challenges from Free Software distributions, at GDR GPL, Lille, 8 June 2011. By Roberto di Cosmo

  2. [ pdf ] Towards better tools for the analysis and quality assurance of FOSS distributions, talk given at the Laboratoire Spécification et Vérification (LSV), ENS de Cachan, France, April 26, 2011. By Ralf Treinen.

  3. [ pdf (part 1) ] [ pdf (part 2) ] Mancoosi tools for the analysis and quality assurance of FOSS distributions, at the Distribution DevRoom at FOSDEM 2011, February 5, 2011, Bruxelles, Belgium. By Jaap Boender and Ralf Treinen.

  4. [ pdf ] Mancoosi presentation at Fossa2009, 17th and 18th November 2009, Grenoble, France. By Roberto Di Cosmo.

  5. [ pdf ] Mancoosi update at DebConf9 (the 10th annual Debian's Project developer conference), July 2009, Cáceres, Spain. By Stefano Zacchiroli.

  6. [ pdf ] Project presentation at OSWC 2008 (the Open Source World Conference), October 2008. By Roberto Di Cosmo.

  7. [ pdf ] Project presentation at DebConf8 (the 9th annual Debian's Project developer conference), August 2008, Mar del Plata, Argentina. By Stefano Zacchiroli.

  8. [ pdf, pdf ] Seminars on Managing Information on the Web, Tel-Aviv University, March and July 2008, by Rubi Boim and Itay Dar.

  9. [ pdf ] Mancoosi project presentation at University of Lugano, July 2008, by Stefano Zacchiroli.

  10. [ [pdf](http://www.systematic-paris-region.org/fr/UserFiles/File/GT LL/EdosToMancoosi.pdf) ] Seminar in the System@tic group on Mancoosi, May 2008, May 2008. By Roberto Di Cosmo.