research: publish HATS FMCO 2012 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 09:54:02 +0000 (11:54 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 09:54:02 +0000 (11:54 +0200)
research/publications.mdwn
research/publications/fmco2012-foss-components.bib [new file with mode: 0644]
research/publications/fmco2012-foss-components.pdf [new file with mode: 0644]

index bb0d38e..4efd1e0 100644 (file)
@@ -97,6 +97,14 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
+ 1. <a class="paper-download" href="fmco2012-foss-components.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="fmco2012-foss-components.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Formal Aspects of Free and Open Source Software Components**.  <em>In proceedings of FMCO 2012: <a href="http://www.cs.unibo.it/hats-fmoc/">HATS International School on
+      Formal Models for Components and Objects</a>, Bertinoro,
+      Italy, 24-28 September 2012. LNCS 7866,
+      pp. 216-239,
+      Springer-Verlag, 2013.</em>
+    [[!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
       Automata, Languages and Programming</a>, Riga, Latvia, 8-12
       July, 2013.  LNCS 7966,
diff --git a/research/publications/fmco2012-foss-components.bib b/research/publications/fmco2012-foss-components.bib
new file mode 100644 (file)
index 0000000..45a6bfa
--- /dev/null
@@ -0,0 +1,11 @@
+@inproceedings{fmco2012-foss-components,
+  author = {Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
+  title = {Formal Aspects of Free and Open Source Software Components},
+  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.},
+  publisher = {Springer-Verlag},
+  year = {2013},
+  pages = {216-239},
+  series = {LNCS},
+  volume = {7866},
+  booktitle = {FMCO 2012: HATS International School on Formal Models for Components and Objects},
+}
diff --git a/research/publications/fmco2012-foss-components.pdf b/research/publications/fmco2012-foss-components.pdf
new file mode 100644 (file)
index 0000000..9a9062c
Binary files /dev/null and b/research/publications/fmco2012-foss-components.pdf differ