Home

Biblio

Found 17 results

2013
Abate P, Schauer J.  2013.  Bootstrapping Software Distributions. CBSE 2013. Abstract
2012
Abate P, di Cosmo R, Treinen R, Zacchiroli S.  2012.  Learning from the Future of Component Repositories. cbse 2012.

ACM Sigsoft Distinguished Paper Award 2012

Abate P, di Cosmo R, Treinen R, Zacchiroli S.  2012.  Dependency Solving: a Separate Concern in Component Evolution Management. The Journal of Systems & Software.
2011
Abate P, di Cosmo R, Treinen R, Zacchiroli S.  2011.  MPM: A Modular Package Manager. CBSE 2011. Abstract

ACM Sigsoft Distinguished Paper Award 2011

Abate P, di Cosmo R.  2011.  Predicting Upgrade Failures Using Dependency Analysis.. Third Workshop on Hot Topics in Software Upgrades (HotSWUp'11).
Abate P, Treinen R.  2011.  Report on the international competition. Mancoosi Project.
Abate P, Treinen R.  2011.  UPDB infrastructure to collect traces of upgradeability problems in CUDF format. Mancoosi Project.
2010
Abate P, Guerreiro A, Laurière S, Treinen R, Zacchiroli S.  2010.  Extension of an existing package manager to produce traces of ugradeability problems in CUDF format. Mancoosi Project.
2009
Abate P, Boender J, di Cosmo R, Zacchiroli S.  2009.  Strong Dependencies between Software Components. ESEM 2009.
2007
Abate P, Gore R, Widmann F.  2007.  An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability. M4M.
Abate P, Gore R.  2007.  One-pass Tableaux for Computation Tree Logic. LPAR. 4790
Abate P.  2007.  The Tableau WorkBench: a framework for building automated tableau-based theorem provers.
Abate P, Gore R.  2007.  notes for the tutorial : The tableaux workbench. TABLEAUX .
2006
Abate P, Gore R.  2006.  A cut free tableau calculus for the logic of common knowledge.
2003
Abate P, Gore R.  2003.  System description: The tableaux workbench. TABLEAUX.
2002
Abate P, Bernbardo M.  2002.  A scalable approach to the design of software architecture with dynamically created/destroyed components. SEKE.
2001
Abate P.  2001.  Modelling software Architectures using an architectural description language based on process algebra.