Pietro Abate

According to our database, Pietro Abate authored at least 16 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Dependency Solving Is Still Hard, but We Are Getting Better at It.

Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

2017

Adoption of Academic Tools in Open Source Communities: The Debian Case Study.

Pietro Abate, Roberto Di Cosmo

Proceedings of the Open Source Systems: Towards Robust Practices, 2017

2015

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Mining Component Repositories for Installability Issues.

Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

2014

Learning from the future of component repositories.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Sci. Comput. Program., 2014

2013

A modular package manager architecture.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Inf. Softw. Technol., 2013

Bootstrapping software distributions.

Pietro Abate, Johannes Schauer

Proceedings of the CBSE'13, 2013

2012

Dependency solving: A separate concern in component evolution management.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

J. Syst. Softw., 2012

2011

Predicting upgrade failures using dependency analysis.

Pietro Abate, Roberto Di Cosmo

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

MPM: a modular package manager.

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2009

Strong dependencies between software components.

Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2007

An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.

Pietro Abate, Rajeev Goré, Florian Widmann

Proceedings of the 5th Workshop on Methods for Modalities, 2007

The Tableau Workbench.

Pietro Abate, Rajeev Goré

Proceedings of the 5th Workshop on Methods for Modalities, 2007

One-Pass Tableaux for Computation Tree Logic.

Pietro Abate, Rajeev Goré, Florian Widmann

Proceedings of the Logic for Programming, 2007

2003

The Tableaux Work Bench.

Pietro Abate, Rajeev Goré

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002

A scalable approach to the design of SW architectures with dynamically create/destroyed components.

Pietro Abate, Marco Bernardo

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002