papers: add pub info and preprint of icalp 2013 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 16 May 2013 15:57:30 +0000 (17:57 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 16 May 2013 15:57:30 +0000 (17:57 +0200)
research/publications.mdwn
research/publications/icalp2013-aeolus.bib
research/publications/icalp2013-aeolus.pdf [new file with mode: 0644]

index 2993cd8..bb0d38e 100644 (file)
@@ -97,9 +97,11 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <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> <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
       Automata, Languages and Programming</a>, Riga, Latvia, 8-12
-      July, 2013.</em>
+      July, 2013.  LNCS 7966,
+      pp. 187-198, 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 6542879..a74db99 100644 (file)
@@ -2,6 +2,10 @@
   author = {Di Cosmo, Roberto and Mauro, Jacopo and Stefano Zacchiroli and Zavattaro, Gianluigi},
   title = {Component Reconfiguration in the Presence of Conflicts},
   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},
+  pages = {187-198},
+  series = {LNCS},
+  volume = {7966},
   booktitle = {ICALP 2013: 40th International Colloquium on Automata, Languages and Programming},
 }
diff --git a/research/publications/icalp2013-aeolus.pdf b/research/publications/icalp2013-aeolus.pdf
new file mode 100644 (file)
index 0000000..e75675d
Binary files /dev/null and b/research/publications/icalp2013-aeolus.pdf differ