@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}}},
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}}},
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}}},
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}} 
0000-0003-2702-5702