publications: new paper at ICALP 2013
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Apr 2013 12:07:27 +0000 (14:07 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Apr 2013 12:07:27 +0000 (14:07 +0200)
research/publications.mdwn
research/publications/icalp2013-aeolus.bib [new file with mode: 0644]

index 384feb3..fe9b0cf 100644 (file)
@@ -88,6 +88,12 @@ 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>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>
+    [[!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.
+    """]]
  1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-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-33826-7_11" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>In proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
       Software Engineering and Formal Methods</a>, Thessaloniki,
       Greece, 1-5 October, 2012. LNCS 7504,
diff --git a/research/publications/icalp2013-aeolus.bib b/research/publications/icalp2013-aeolus.bib
new file mode 100644 (file)
index 0000000..6542879
--- /dev/null
@@ -0,0 +1,7 @@
+@inproceedings{icalp2013-aeolus,
+  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.},
+  year = {2013},
+  booktitle = {ICALP 2013: 40th International Colloquium on Automata, Languages and Programming},
+}