@article{aosesimulation-scp78,
acm = {10.1016/j.scico.2011.09.007},
author = {Molesini, Ambra and Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2011.09.007},
editor = {Cabri, Giacomo and Ganzha, Maria},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Agent-Oriented Software Engineering, Methodologies, Simulation, MAS Environment, SODA},
month = jun,
note = {Special Section on Agent-oriented Design methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments},
number = 6,
pages = {705–-714},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84875701894},
title = {Simulation in {A}gent-{O}riented {S}oftware {E}ngineering: The {{\sf SODA}} Case Study},
url = {http://www.sciencedirect.com/science/article/pii/S0167642311001778},
volume = 78,
wos = {000318134400008},
year = 2013
} @inproceedings{fields-scw2013,
address = {AAMAS 2013, Saint Paul, Minnesota, USA},
author = {Viroli, Mirko},
booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules},
month = {6}}},
title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
year = 2013
} @inproceedings{SYDVM-ASENSIS2012,
Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.39},
Editor = {Pitt, Jeremy},
Keywords = {bio-inspired, resource discovery, semantic matching},
Isbn = {978-1-4673-5153-9},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {181-186},
Publisher = {IEEE CS},
Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
Year = 2013,
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.}
}
@inproceedings{SemMatchingSAC2013,
added-at = {2013-05-03T00:00:00.000+0200},
Address = {Coimbra, Portugal},
author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
biburl = {http://www.bibsonomy.org/bibtex/2613dab41c555c320e56d33a2e3d4bbed/dblp},
booktitle = {SAC},
crossref = {conf/sac/2013},
editor = {Shin, Sung Y. and Maldonado, José Carlos},
ee = {http://doi.acm.org/10.1145/2480362.2480619},
interhash = {5a2917f1b1aa679519d2ed462bbcdb27},
intrahash = {613dab41c555c320e56d33a2e3d4bbed},
isbn = {978-1-4503-1656-9},
keywords = {dblp},
Month = {18--22}}},
timestamp = {2013-05-03T00:00:00.000+0200},
title = {Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#StevensonYDPMV13},
year = 2013
}
@incollection{FieldCalculusFOCLASA2013,
location = {Malaga, Spain},
booktitle = {Advances in Service-Oriented and Cloud Computing},
year = 2013,
keywords = {Spatial Computing, Self-Organising Coordination, Core Calculus},
pdf-local = {CR.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/book/10.1007/978-3-642-45364-9},
editor = {Canal, Carlos and Villari, Massimo},
series = {Communications in Computer and Information Science},
eisbn = {978-3-642-45363-2},
urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-45364-9_11.pdf},
publisher = {Springer Berlin Heidelberg},
author = {Viroli, Mirko AND Damiani, Ferruccio AND Beal, Jacob},
chapter = 10,
title = {A calculus of computation fields},
note = {Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}},
abstract = {A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. This calculus can act as a core for actual implementation of coordination languages and models, as well as pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations.},
pages = {114-128},
address = {Berlin, Germany},
volume = 393,
doi = {10.1007/978-3-642-45364-9_11}} @article{semcoord-scp78,
acm = {10.1016/j.scico.2012.10.004},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.004},
editor = {Casadei, Matteo and Mamei, Marco and Menezes, Ronaldo},
iris = {11585/134307},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models, Tuple spaces, Description logics, OWL, Semantic tuple centres, TuCSoN, Pellet},
month = may,
note = {Special section: Self-Organizing Coordination},
number = 5,
pages = {569--582},
scopus = {2-s2.0-84875230312},
title = {Semantic Tuple Centres},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001876},
volume = 78,
wos = {000317544500011},
year = 2013
} @incollection{sapereaose-emasI,
acm = {10.5555/3100666.3100677},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
booktitle = {Engineering Multi-Agent Systems},
chapter = 11,
doi = {10.1007/978-3-642-45343-4_11},
editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
eisbn = {978-3-642-45343-4},
iris = {11585/256515},
isbn = {978-3-642-45342-7},
issn = {0302-9743},
month = dec,
note = {1st International Workshop (EMAS 2013), Saint Paul, Minnesota, USA, 6--7~} # may # {~2013, Revised Selected Papers},
pages = {196--214},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-84893042546},
series = {Lecture Notes in Computer Science},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
url = {http://link.springer.com/10.1007/978-3-642-45343-4_11},
volume = 8245,
year = 2013
} @article{Montagna-MONET2012,
iissn = {1383-469X},
publisher = {Springer Netherlands},
journal = {Mobile Networks and Applications},
author = {Montagna, Sara and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Di Marzo Serugendo, Giovanna and Zambonelli, Franco},
title = {Injecting Self-organisation into Pervasive Service Ecosystems},
volume = {18},
number = {3},
year = {2013},
keywords = {Pervasive Computing, Self-organisation, Chemical-inspired computing},
issn = {1572-8153},
status = {Published},
pages = {398-412},
url = {http://www.springerlink.com/content/x3j4776323717w7h/},
doi = {10.1007/s11036-012-0411-1}} @article{chemicalts-scp78,
author = {Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.002},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models and languages, Self-Organisation, Self-Composition, Chemical-Inspired Computing},
month = may,
number = 5,
pages = {556--568},
publisher = {Elsevier Science B.V.},
title = {On Competitive Self-composition in Pervasive Services},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001852},
volume = 78,
year = 2013
} @article{alchemist-jos2013,
Author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
Doi = {10.1057/jos.2012.27},
Issn = {1747-7778},
eissn = {1747-7786},
Journal = {Journal of Simulation},
Keywords = {Stochastic simulation, chemical-oriented computing, pervasive service ecosystems},
Publisher = {Palgrave McMillan},
Title = {Chemical-oriented Simulation of Computational Systems with {ALCHEMIST}},
Url = {http://link.springer.com/10.1057/jos.2012.27},
Year = 2013} @article{spatialcomputing-scp78,
Author = {Viroli, Mirko and Beal, Jacob and Usbeck, Kyle},
Doi = {10.1016/j.scico.2012.12.003},
Editor = {Mernik, Marjan},
Journal = {Science of Computer Programming},
Month = jun,
Number = 6,
Pages = {633--656},
Pdf-Local = {1-s2.0-S0167642312002146-main.pdf},
Publisher = {Elsevier Science B.V.},
Title = {Operational Semantics of {P}roto},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642312002146},
Volume = 78,
Year = 2013} @incollection{SpatialIGI2013,
booktitle = {Formal and Practical Aspects of Domain-Specific Languages: Recent Developments},
publisher = {IGI Global },
author = {Beal, Jacob and Dulman, Stefan and Usbeck, Kyle and Viroli, Mirko and Correll, Nikolaus},
title = {Organizing the Aggregate: Languages for Spatial Computing},
chapter = 16,
year = 2013,
note = {A longer version available at: {\tt http://arxiv.org/abs/1202.5509}},
abstract = {As the number of computing devices embedded into engineered systems continues to rise, there is a
widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.
},
keywords = {Spatial Computing, Sensor Networks, Agent-Based Systems},
eissn = {978-1-4666-2092-6},
status = {Published},
pages = {436--501},
venue_list = {--},
url = {http://www.igi-global.com/chapter/organizing-aggregate-languages-spatial-computing/71829},
editor = {Mernik, Marjan},
doi = {10.4018/978-1-4666-2092-6.ch016}} @article{Naco2013,
author = {Jose Luis Fernandez-Marquez and
Giovanna Di Marzo Serugendo and
Sara Montagna and
Mirko Viroli and
Josep Llu\'{\i}s Arcos},
title = {Description and composition of bio-inspired design patterns:
a complete overview},
journal = {Natural Computing},
volume = {12},
number = {1},
year = {2013},
pages = {43-67},
ee = {http://dx.doi.org/10.1007/s11047-012-9324-y}
} @proceedings{proc-scw2013,
Address = {AAMAS 2013, Saint Paul, Minnesota, USA},
Booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
Month = {6}}},
Title = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
Year = 2013} @inproceedings{sitrecognition-asensis2012,
author={Stevenson, Graeme and Fernandez-Marquez, Jose Luis and Montagna, Sara and Rosi, Alberto and Ye, Juan and Tchao, Akla and Dobson, Simon and Serugendo, Giovanna Di Marzo and Viroli, Mirko},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.46},
Editor = {Pitt, Jeremy},
Keywords = {bio-inspired, resource discovery, semantic matching},
Isbn = {978-1-4673-5153-9},
pdf-local = {PID2504559.pdf},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {223--228},
Publisher = {IEEE CS},
Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
Year = 2013,
} @inproceedings{selfcomposition-scw2013,
address = {AAMAS 2013, Saint Paul, Minnesota, USA},
author = {Montagna, Sara and Viroli, Mirko},
booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
month = {6}}},
title = {Composing Gradients for a Context-Aware Navigation of Users in a Smart-City},
year = 2013
} @inproceedings{VC-ASENSIS2012,
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.42},
Editor = {Pitt, Jeremy},
Keywords = {Self-organisation patterns, computational fields, formal verification, pervasive service ecosystems},
Isbn = {978-1-4673-5153-9},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {199-204},
Publisher = {IEEE CS},
Title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
Year = 2013,
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.}
}
@inproceedings{sapereaose-emas2013,
address = {AAMAS 2013, Saint Paul, Minnesota, USA},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
booktitle = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
iris = {11585/134364},
month = {6--7}}},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
year = 2013
} 
0000-0003-2702-5702