Home

Biblio

Found 14 results

2011
Abate, P, di Cosmo R, Treinen R, Zacchiroli S.  2011.  MPM: A Modular Package Manager. CBSE 2011. Abstract

ACM Sigsoft Distinguished Paper Award

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, Gore R.  2007.  notes for the tutorial : The tableaux workbench. TABLEAUX .
Abate, P.  2007.  The Tableau WorkBench: a framework for building automated tableau-based theorem provers.
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 uning an architectural description language based on process algebra.