publications: add howpublished/month entries to TR entries
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 11:14:10 +0000 (13:14 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 11:14:10 +0000 (13:14 +0200)
research/publications.mdwn
research/publications/flea.bib
research/publications/icalp2013-tr.bib
research/publications/mancoosi-d2.1.bib
research/publications/mancoosi-d5.1.bib
research/publications/strongdeps-tr.bib
research/publications/wiki-templating-tr.bib
research/publications/zephyrus-tr.bib

index bfda026..ff6af74 100644 (file)
@@ -418,7 +418,7 @@ in reverse chronological order.
  1. <a class="paper-download" href="strongdeps-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="strongdeps-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, Jaap Boender, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Strong Dependencies between Software Components**.  <em>
        <a href="http://www.mancoosi.org">Mancoosi project</a>
        <a href="http://www.mancoosi.org/reports/">technical report
-       0002</a>, 22/05/2009.
+       0002</a>, 22 May 2009.
       </em>
     [[!toggle id=id27 text="Abstract..."]] [[!toggleable id=id27 text="""
     *Abstract:* Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems, such as free and open source software (FOSS) distributions, in terms of declared dependencies between packages is appealing. It is however also misleading when the language to express dependencies is as expressive as boolean formulae, which is often the case. In such settings, a more appropriate notion of component dependency exists: strong dependency. This paper introduces such notion as a first step towards modeling semantic, rather then syntactic, inter-component relationships. Furthermore, a notion of component sensitivity is derived from strong dependencies, with applications to quality assurance and to the evaluation of upgrade risks. An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.
index d7bee59..7aad4be 100644 (file)
@@ -2,5 +2,7 @@
   author = {Luca Padovani and Stefano Zacchiroli},
   title = {Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators},
   abstract = {Because of their fully annotated structure, XML documents are normally believed to require a straightforward parsing phase. However, the standard APIs for accessing their content (the Document Object Model and the Simple API for XML) provide a programming interface that is very low-level and is thus inadequate for the recognition of any structure that is not isomorphic to its XML encoding. Even when the document undergoes validation, its unmarshalling into application-specific data using these APIs requires poorly maintainable, tedious-to-write, and possibly inefficient code. We describe a technique for the simultaneous parsing, validation, and unmarshalling of XML documents that combines a stream-oriented XML parser with a LALR(1) parser in order to guarantee efficient stream processing, expressive validation capabilities, and the possibility to associate user-provided actions with specific patterns occurring in the source documents.},
+  month = {September},
   year = {2007},
+  howpublished = {\url{http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-23}},
 }
index 4003f2f..04f5cfb 100644 (file)
@@ -5,4 +5,5 @@
   month = {Avril},
   year = {2013},
   institution = {Aeolus project},
+  howpublished = {\url{http://hal.archives-ouvertes.fr/hal-00816468}},
 }
index c1d1745..3c2d78b 100644 (file)
@@ -2,5 +2,7 @@
   author = {Di Ruscio, Davide and Patrizio Pelliccione and Alfonso Pierantonio and Stefano Zacchiroli},
   title = {Metamodel for Describing System Structure and State},
   abstract = {Today's software systems are very complex modular entities, made up of many interacting components that must be deployed and coexist in the same context. Modern operating systems provide the basic infrastructure for deploying and handling all the components that are used as the basic blocks for building more complex systems even though a generic and comprehensive support is far from being provided. In fact, in Free and Open Source Software (FOSS) systems, components evolve independently from each other and because of the huge amount of available components and their different project origins, it is not easy to manage the life cycle of a distribution. Users are in fact allowed to choose and install a wide variety of alternatives whose consistency cannot be checked a priori to their full extent. It is possible to easily make the system unusable by installing or removing some packages that "break" the consistency of what is installed in the system itself. This document proposes a model-driven approach to simulate system upgrades in advance and to detect predictable upgrade failures, possibly by notifying the user before the system is affected. The approach relies on an abstract representation of the systems and packages which are given in terms of models that are expressive enough to isolate inconsistent configurations (e.g., situations in which installed components rely on the presence of disappeared sub-components) that are currently not expressible as inter-package relationships.},
+  month = {January},
   year = {2009},
+  howpublished = {\url{http://www.mancoosi.org/deliverables/d2.1.pdf}},
 }
index 8db0897..d50b0f7 100644 (file)
@@ -2,5 +2,7 @@
   author = {Ralf Treinen and Stefano Zacchiroli},
   title = {Description of the CUDF Format},
   abstract = {This document contains several related specifications, taken together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgrade problems; CUDF (Common Upgradeability Description Format), the document format used to encode upgrade problems, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format.},
+  month = {November},
   year = {2008},
+  howpublished = {\url{http://www.mancoosi.org/deliverables/d5.1.pdf}},
 }
index baab8b7..7d78a01 100644 (file)
@@ -2,5 +2,7 @@
   author = {Pietro Abate and Jaap Boender and Di Cosmo, Roberto and Stefano Zacchiroli},
   title = {Strong Dependencies between Software Components},
   abstract = {Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems, such as free and open source software (FOSS) distributions, in terms of declared dependencies between packages is appealing. It is however also misleading when the language to express dependencies is as expressive as boolean formulae, which is often the case. In such settings, a more appropriate notion of component dependency exists: strong dependency. This paper introduces such notion as a first step towards modeling semantic, rather then syntactic, inter-component relationships. Furthermore, a notion of component sensitivity is derived from strong dependencies, with applications to quality assurance and to the evaluation of upgrade risks. An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.},
+  month = {May},
   year = {2009},
+  howpublished = {\url{http://www.mancoosi.org/reports/tr2.pdf}},
 }
index d37cf2f..f57f3b4 100644 (file)
@@ -2,5 +2,7 @@
   author = {Di Iorio, Angelo and Fabio Vitali and Stefano Zacchiroli},
   title = {Templating Wiki Content for Fun and Profit},
   abstract = {Content templating enables reuse of content structures between wiki pages. Such a feature is implemented in several mainstream wiki engines. Systematic study of its conceptual models and comparison of the available implementations are unfortunately missing in the wiki literature. In this paper we aim to fill this gap first analyzing template-related user needs, and then reviewing existing approaches at content templating. Our investigation shows that two models emerge, functional and creational templating, and that both have weakness failing to properly fit in "The Wiki Way". As a solution, we propose the adoption of creational templates enriched with light constraints, showing that such a solution has a low implementative footprint in state-of-the-art wiki engines, and that it has a synergy with semantic wikis.},
+  month = {August},
   year = {2007},
+  howpublished = {\url{http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-21}},
 }
index ec32784..f9c76fb 100644 (file)
@@ -5,4 +5,5 @@
   month = {Juin},
   year = {2013},
   institution = {Aeolus project},
+  howpublished = {\url{http://hal.archives-ouvertes.fr/hal-00831455}},
 }