Per Year

@inproceedings{montagna-sac12,
booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) },
publisher = {ACM},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
isbn = {978-1-4503-0857-1},
year = 2012,
status = {Published},
pages = {1406--1412},
venue = {SAC},
editor = {Shin, Dongwan  and Hung, Chih-Cheng and Hong, Jiman},
address = {Riva del Garda (Trento), Italy},
month = {26-30 March}}

@inproceedings{sapereecolaws-sac2012,
Address = {Riva del Garda, TN, Italy},
Author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme},
Booktitle = {27th Annual ACM Symposium on Applied Computing (SAC 2012)},
Doi = {10.1145/2245276.2245336},
Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
Isbn = {978-1-4503-0857-1},
Month = {26--30~} # mar,
Publisher = {ACM},
Title = {Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry},
Url = {http://dl.acm.org/citation.cfm?doid=2245276.2245336},
Year = 2012}

@inCollection{SpatialCoordination2012,
author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
  booktitle = {Coordination Languages and Models},
  editor = {Sirjani, Marjan},
volume =    7274,
  series =    {LNCS},
  year =      2012,
  month =     jun,
  publisher = {Springer-Verlag},
  pages =     {212--229},
note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
  issn =      {0302-9743}
}

@inproceedings{modelchecking-woa2012,
urlpdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Casadei, Matteo and Viroli, Mirko},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}

@inproceedings{semmatch-asensis2012,
Author = {Stevenson, Graeme and Viroli, Mirko and Ye, Juan and Montagna, Sara and Dobson, Simon},
Address = {SASO 2012, Lyon, France},
Booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
Editor = {Fernandez-Marquez, Jos\'e Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
Month = {10~} # sep,
Note = {Pre-proceedings},
Pages = {47--52},
Title = {Self-organising Semantic Resource Discovery for Pervasive Systems},
Year = 2012}

@incollection{semanticsapere-igi2012,
Author = {Viroli, Mirko and Zambonelli, Franco and Stevenson, Graeme and Dobson, Simon},
Booktitle = {Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution},
Chapter = 8,
Doi = {10.4018/978-1-4666-2089-6.ch008},
Editor = {Cubo, Javier and Ortiz, Guadalupe},
Isbn = {978-1-4666-2091-9},
Isbn-10 = {9781466620896},
Isbn-13 = 1466620897,
Keywords = {Pervasive Computing, Service Oriented Architectures, RDF, Pervasive Ecosystems},
Pages = {207--237},
Pdf-Local = {chapter.pdf},
Publisher = {IGI Global},
Title = {From {SOA} to Pervasive Service Ecosystems: An Approach based on {S}emantic {W}eb technologies},
Url = {http://www.igi-global.com/chapter/soa-pervasive-service-ecosystems/69475},
Year = 2012}

@inproceedings{SapereSCW2012,
Address = {Valencia, Spain},
Author = {Viroli, Mirko and Stevenson, Graeme},
Booktitle = {Workshop on Spatial Computing},
Month = jun,
Title = {On the Space-time Situation of Pervasive Service Ecosystems},
Url = {http://www.spatial-computing.org/_media/scw12:scw12-virolistevenson.pdf},
       Note = {Informal Proceedings},
Year = 2012}

@article{DGRV-SACS2012,
 title={Standard Type Soundness for Agents and Artifacts},
 author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
 journal={Scientific Annals of Computer Science},
 volume={22},
 number={2},
 organization={``A.I. Cuza'' University, Iacsi, Romania},
 year={2012},
 pages={267--326},
 doi={10.7561/SACS.2012.2.267},
 publisher={``A.I. Cuza'' University Press, Iacsi}
}

@incollection{montagna-morphoeng,
     year={2012},
     isbn={978-3-642-33901-1},
     booktitle={Morphogenetic Engineering},
     series={Understanding Complex Systems},
     editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
     doi={10.1007/978-3-642-33902-8_15},
     title={A Computational Framework for Multilevel Morphologies},
     url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
     publisher={Springer Berlin Heidelberg},
     author={Montagna, Sara and Viroli, Mirko},
     pages={383--405},
     language={English}
}

@inproceedings{logop-sac2012,
   acm = {2232025},
   address = {Riva del Garda, TN, Italy},
   author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
   booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
   doi = {10.1145/2245276.2232025},
   editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
   iris = {11585/115125},
   isbn = {978-1-4503-0857-1},
   keywords = {Coordination models, Pervasive systems, LogOp, Linear logic},
   month = {26--30~} # mar,
   note = {Poster},
   pages = {1557--1559},
   scopus = {2-s2.0-84863558967},
   title = {Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of {{\it\sffamily LogOp}}{}},
   url = {http://dl.acm.org/citation.cfm?id=2232025},
   volume = 2,
   year = 2012
}

@inproceedings{anticipativegradient-SASO12,
location = {Lyon, France},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
year = 2012,
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
venue = {SASO},
month = {September},
       isbn = {978-0-7695-4851-7},
       doi = {10.1109/SASO.2012.25},
       ee = {http://doi.ieeecomputersociety.org/10.1109/SASO.2012.25},
       pages = {169--174}
}

@inproceedings{spatial-scw2012,
   author = {Viroli, Mirko and Stevenson, Graeme},
   booktitle = {Workshop on Spatial Computing},
   editor = {Beal, Jacob and Dulman, Stefan and Giavitto, Jean-Louis and Spicher, Antoine},
   iris = {11585/151873},
   keywords = {Pervasive Computing, Service Ecosystems, Spatial Computing},
   location = {Valencia, Spain},
   title = {On the Space-time Situation of Pervasive Service Ecosystems},
   year = 2012
}

@inproceedings{selfcomp-woa2012,
urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Fernandez-Marquez, Jose Luis},
title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}

@inproceedings{modelchecking-asensis2012,
booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
publisher = {IEEE},
author = {Casadei, Matteo and Viroli, Mirko},
title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
year = 2012,
note = {Pre-proceedings},
abstract = {Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee – at least to a probabilistic extent – certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools.
As proposed in recent works, several such algorithms can be modelled by the notion of computational field: a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.},
pdf-local = {PID2504561.pdf},
status = {Published},
pages = {59-64},
venue = {ASENSIS|SASOW},
editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
address = {SASO 2012, Lyon, France},
month = {10 September},
venue_e = {Events.Asensis2012}}