papers: add publication info for ICALP 2013 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Jul 2013 17:49:01 +0000 (19:49 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Jul 2013 17:49:01 +0000 (19:49 +0200)
research/publications.mdwn
research/publications/icalp2013-aeolus.bib

index 3919bd1..a27a096 100644 (file)
@@ -112,10 +112,12 @@ in reverse chronological order.
     [[!toggle id=id49 text="Abstract..."]] [[!toggleable id=id49 text="""
     *Abstract:* Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.
     """]]
- 1. <a class="paper-download" href="icalp2013-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="icalp2013-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>To appear in proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
+ 1. <a class="paper-download" href="icalp2013-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="icalp2013-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-642-39212-2_19" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>In proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
       Automata, Languages and Programming</a>, Riga, Latvia, 8-12
-      July, 2013.  LNCS 7966,
-      pp. 187-198, Springer-Verlag,
+      July, 2013.  LNCS
+      <a href="http://link.springer.com/book/10.1007/978-3-642-39212-2/">7966</a>,
+      pp. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-39212-2_19">187-198</a>,
+      Springer-Verlag,
       2013.</em>
     [[!toggle id=id45 text="Abstract..."]] [[!toggleable id=id45 text="""
     *Abstract:* Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.
index a74db99..5c631dc 100644 (file)
@@ -4,6 +4,7 @@
   abstract = {Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.},
   publisher = {Springer-Verlag},
   year = {2013},
+  doi = {10.1007/978-3-642-39212-2_19},
   pages = {187-198},
   series = {LNCS},
   volume = {7966},