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}}}, 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}}