update paper index: mention accepted SCP paper
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Nov 2010 09:54:22 +0000 (10:54 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Nov 2010 09:54:22 +0000 (10:54 +0100)
research/publications.mdwn

index 51c3b50..d725323 100644 (file)
@@ -7,6 +7,10 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed journals">journal articles</span>
 
+ 1. <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>To appear in<a href="http://www.elsevier.com/locate/scico/">Science of Computer Programming</a>, Elsevier.</em>
+    [[!toggle id=id35 text="Abstract..."]] [[!toggleable id=id35 text="""
+    *Abstract:* FOSS (Free and Open Source Software) systems present interesting challenges in system evolution. On one hand, most FOSS systems are based on very fine-grained units of soft- ware deployment—called packages—which promote system evolution; on the other hand, FOSS systems are among the largest software systems known and require sophisticated static and dynamic conditions to be verified, in order to successfully deploy upgrades on user machines. The slightest error in one of these conditions can turn a routine upgrade into a system administrator nightmare. In this paper we introduce a model-based approach to support the upgrade of FOSS systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. Both fine-grained static aspects (e.g. configuration incoher- ences) and dynamic aspects (e.g. the execution of configuration scripts) are taken into account, improving over the state of the art of upgrade planners. The effectiveness of the approach is validated by instantiating the approach to widely-used FOSS distributions.
+    """]]
  1. <a class="paper_download" href="nrhm-overlapping-conversions.pdf">[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1080/13614560802316145" title="Document Object Identifier">doi&gt;</a></span> <a href="http://vitali.web.cs.unibo.it/Main/PaoloMarinelli">Paolo Marinelli</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Towards the unification of formats for overlapping markup**.  <em>In<a href="http://www.tandf.co.uk/journals/titles/13614568.asp">New
          Review of Hypermedia and
          Multimedia</a>,<a href="http://www.informaworld.com/smpp/title~content=t713599880~db=all~tab=issueslist~branches=14#v14">Volume 14</a>,<a href="http://www.informaworld.com/smpp/title~content=g903097087~db=all">Issue 1</a>, January 2008,<a href="http://www.informaworld.com/smpp/content~db=all?content=10.1080/13614560802316145">pp. 57-94</a>.<a href="http://www.tandf.co.uk/">Taylor and Francis</a>,<a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN 1361-4568</a>.</em>