Per Year
@inproceedings{ABDV-AAMAS2019,
author = {Audrito, Giorgio and Bergamini, Sergio and Damiani, Ferruccio and Viroli, Mirko},
title = {Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
series = {AAMAS '19},
year = {2019},
isbn = {978-1-4503-6309-9},
location = {Montreal QC, Canada},
pages = {1618--1626},
numpages = {9},
url = {http://dl.acm.org/citation.cfm?id=3306127.3331882},
acm = {3331882},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
address = {Richland, SC},
keywords = {adaptive algorithm, aggregate programming, computational field, data aggregation, gradient},
} @inproceedings{DBLP:conf/saso/CasadeiPSV19,
author = {Roberto Casadei and
Danilo Pianini and
Guido Salvaneschi and
Mirko Viroli},
title = {On Context-Orientation in Aggregate Programming},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {92--97},
year = {2019},
crossref = {DBLP:conf/saso/2019fasw},
url = {https://doi.org/10.1109/FAS-W.2019.00035},
doi = {10.1109/FAS-W.2019.00035},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
biburl = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
bibsource = {dblp computer science bibliography, https://dblp.org}
} @proceedings{,
year = 2019,
keywords = {Fluidware; IoT programming; coordination},
status = {Published},
venue_list = {--},
series = {CEUR Workshop Proceedings},
author = {Mariani, Stefano and Casadei, Roberto and Fornari, Fabrizio and Fortino, Giancarlo and Pianini, Danilo and Re, Barbara and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zambonelli, Franco},
title = {Case studies for a new IoT programming paradigm: Fluidware},
abstract = {A number of scientific and technological advancements enabled turning the Internet of Things vision into reality. However, there is still a bottleneck in designing and developing IoT applications and services: each device has to be programmed individually, and services are deployed to specific devices. The Fluidware approach advocates that to
truly scale and raise the level of abstraction a novel perspective is needed, focussing on device ensembles and dynamic allocation of resources. In this paper, we motivate the need for such a paradigm shift through three
case studies emphasising a mismatch between state of art solutions and desired properties to achieve},
volume = 2502} @inproceedings{DBLP:conf/saso/PianiniCV19,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli},
title = {Security in Collective Adaptive Systems: {A} Roadmap},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {86--91},
year = {2019},
crossref = {DBLP:conf/saso/2019fasw},
url = {https://doi.org/10.1109/FAS-W.2019.00034},
doi = {10.1109/FAS-W.2019.00034},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
biburl = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
bibsource = {dblp computer science bibliography, https://dblp.org}
} @inproceedings{iot-woa2017,
author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
chapter = 16,
editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarnè, Giuseppe M.L.},
issn = {1613-0073},
keywords = {Internet of Things; Cyberphysical Services; Modelling},
month = jun,
numpages = 4,
pages = {90--95},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Modeling Opportunistic IoT Services in Open IoT Ecosystems},
url = {http://ceur-ws.org/Vol-1867/w16.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-1867/w16.pdf},
urlpdf = {http://ceur-ws.org/Vol-1867/w16.pdf},
volume = 1867,
year = 2017
} @inproceedings{ADV-COORD2017-LNCS10319,
author = {Audrito, Giorgio and
Damiani, Ferruccio and
Viroli, Mirko },
title = {Optimally-Self-Healing Distributed Gradient Structures Through Bounded
Information Speed},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
pages = {59--77},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1_4},
editor = {Jacquet, Jean{-}Marie and
Massink, Mieke },
series = {Lecture Notes in Computer Science},
volume = {10319},
publisher = {Springer},
isbn = {978-3-319-59745-4},
note = {Best paper at Coordination 2017}
}
@article{SASO2016,
author = {Jacob Beal and
Mirko Viroli and
Danilo Pianini and
Ferruccio Damiani},
title = {Self-Adaptation to Device Distribution Changes},
booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
pages = {60--69},
year = {2016},
url = {http://dx.doi.org/10.1109/SASO.2016.12},
doi = {10.1109/SASO.2016.12},
editor = {Giacomo Cabri and
Gauthier Picard and
Niranjan Suri},
note = {Best paper of IEEE SASO 2016.},
abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.}} @inproceedings{AggregateComputingSFM2016,
author = {Jacob Beal and
Mirko Viroli},
title = {Aggregate Programming: From Foundations to Applications},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
pages = {233--260},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-34096-8_8},
doi = {10.1007/978-3-319-34096-8\_8},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
series = {Lecture Notes in Computer Science},
volume = {9700},
publisher = {Springer},
year = {2016},
isbn = {978-3-319-34095-1}
}
@inproceedings{GossipingCoordination2016,
author = {Pianini, Danilo and
Beal, Jacob and
Viroli, Mirko},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
pages = {192--207},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-39519-7_12},
doi = {10.1007/978-3-319-39519-7_12},
editor = {Alberto Lluch Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
series = {Lecture Notes in Computer Science},
volume = {9686},
publisher = {Springer},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-39519-7},
doi = {10.1007/978-3-319-39519-7},
isbn = {978-3-319-39518-0}
}
@inproceedings{DBLP:conf/coordination/PianiniBV16,
author = {Pianini, Danilo and
Beal, Jacob and
Viroli, Mirko},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
pages = {192--207},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-39519-7_12},
doi = {10.1007/978-3-319-39519-7_12},
timestamp = {Wed, 25 May 2016 12:44:08 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/coordination/PianiniBV16},
bibsource = {dblp computer science bibliography, http://dblp.org}
} @inproceedings{VR-EMAS2015,
author = {Viroli, Mirko and Ricci, Alessandro},
booktitle = {Engineering Multi-Agent Systems (EMAS 2015)},
location = {Istanbul, Turkey},
numpages = 13,
title = {Towards agent aggregates: perspectives and challenges},
year = 2015
} @inproceedings{fields-scw2014,
Address = {AAMAS 2014, Paris, France},
Author = {Beal, Jacob AND Viroli, Mirko AND Damiani, Ferruccio},
Booktitle = {7th International Spatial Computing Workshop (SCW 2014)},
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 = 2014} @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{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
}
@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{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{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
} @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{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} @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}
@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}} @inproceedings{sapere-woa2011,
Address = {Rende, Italy},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
Issn = {1613-0073},
Month = {4-6}}},
Series = {CEUR Workshop Proceedings},
Title = {Coordinating Spatially-Situated Pervasive Service Ecosystems},
Url = {http://ceur-ws.org/Vol-741/ID13_ViroliNardiniCastelliMameiZambonelli.pdf},
Volume = 741,
Year = 2011} @inproceedings{pianini-woa2011,
Address = {Rende, Italy},
Author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
Issn = {1613-0073},
Month = {4-6}}},
Series = {CEUR Workshop Proceedings},
Title = {A Simulation Framework for Pervasive Services Ecosystems},
Url = {http://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
Volume = 741,
Year = 2011} @incollection {springerlink:10.1007/978-3-642-17348-6_13,
author = {Casadei, Matteo and Mamei, Marco and Villalba, Cynthia and Viroli, Mirko and Zambonelli, Franco},
affiliation = {Università di Bologna, 47023 Cesena, Italy},
title = {Middleware Infrastructures for Self-organising Pervasive Computing Systems},
booktitle = {Self-organising Software},
series = {Natural Computing Series},
editor = {Di Marzo Serugendo, Giovanna and Gleizes, Marie-Pierre and Karageorgos, Anthony},
publisher = {Springer Berlin Heidelberg},
isbn = {978-3-642-17348-6},
keyword = {Computer Science},
pages = {313-344},
url = {http://dx.doi.org/10.1007/978-3-642-17348-6_13},
note = {10.1007/978-3-642-17348-6_13},
year = {2011}
} @inproceedings{selforg-bads11,
Address = {Karlsruhe, Germany},
Author = {Fernandez-Marquez, Jose Luis and Arcos, Josep Lluis and Di Marzo Serugendo, Giovanna and Viroli, Mirko and Montagna, Sara},
Booktitle = {3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems},
Month = {14}}},
Year = 2011} @inproceedings{sapere-awaresaso11,
Address = {SASO 2011, Ann Arbor, MI, USA},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011)},
Month = {7}}},
Publisher = {IEEE CS},
Title = {A Coordination Approach to Adaptive Pervasive Service Ecosystems},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6114584},
Year = 2011} @inproceedings{sapere-saso11,
Address = {Ann Arbor, Michigan, USA},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011)},
Month = {3--8}}},
Title = {Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems},
Year = 2011} @inproceedings{spatialcomputing-sac11,
Address = {Tunghai University, TaiChung, Taiwan},
Author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
Editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
Isbn = {978-1-4503-0113-8},
Month = {21--25}}},
Title = {Core Operational Semantics of {P}roto},
Volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
Year = 2011} @inproceedings{pianini-mass2011,
booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
publisher = {IEEE Computer Society Press},
author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko },
title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
isbn = {978-83-60810-22-4},
year = 2011,
status = {Published},
pages = {667--674},
venue = {MASS},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
address = {Szczecin, Poland},
month = {18-21 September}} @article{argumentation-ijaiS10,
author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
editor = {Lopes, Fernando and Coelho, Helder},
iris = {11585/90748},
issn = {0974-0635},
journal = {International Journal of Artificial Intelligence},
keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming.},
month = {Spring},
note = {Special Issue on Negotiation and Argumentation in Artificial Intelligence},
number = {S10},
pages = {90--117},
publisher = {CESER},
scopus = {2-s2.0-77954767173},
title = {Argumentation and Artifacts for Negotiation Support},
url = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215},
urlpdf = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215/718},
volume = 4,
year = 2010
} @inproceedings{sosc-woa2010,
author = {Nardini, Elena and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
booktitle = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*},
editor = {Omicini, Andrea and Viroli, Mirko},
iris = {11585/93511},
issn = {1613-0073},
location = {Rimini, Italy},
month = {5-7}}},
scopus = {2-s2.0-84868706553},
series = {CEUR Workshop Proceedings},
title = {A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in {{\sf TuCSoN,
urlpdf = {http://CEUR-WS.org/Vol-621/paper17.pdf},
volume = 621,
year = 2010
} }}}
@proceedings{proceedings-woa2010,
booktitle = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*},
editor = {Omicini, Andrea and Viroli, Mirko},
iris = {11585/95977},
issn = {1613-0073},
note = {11th Workshop ``From Objects to Agents'' (WOA 2010), Rimini, Italy, 5--7~} # sep # {~2010. Proceedings},
pages = {1--173},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
title = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*},
url = {http://CEUR-WS.org/Vol-621/},
volume = 621,
year = 2010
} @inproceedings{biochemicaltuplespace-sac10,
Address = {Sierre, Switzerland},
Author = {Viroli, Mirko and Casadei, Matteo},
Booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
Month = {22--26}}},
Publisher = {ACM},
url = {http://apice.unibo.it/xwiki/bin/download/Publications/BiochemicaltuplespaceSac10/VCZ%2DSAC%2D2010.pdf},
Title = {Chemical-Inspired Self-Composition of Competing Services},
Volume = {III},
Isbn = {978-1-60558-638-0},
Year = 2010} @inproceedings{RPV-LADS09,
author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
booktitle = {Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009)},
editor = {Dastani, Mehdi and Seghrouchni, Amal El Fallah and Leite, João and Torroni, Paolo},
keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
month = {September},
status = {Published},
title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
venue = {--},
year = 2009
} @inproceedings{modelchecking-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12}}},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Volume = {III},
Year = 2009}
@inproceedings{probmodelchecking-cec09,
booktitle = {IEEE Congress on Evolutionary Computation, 2009 (CEC 2009).},
publisher = {IEEE Computer Society Press},
author = {Casadei, Matteo and Viroli, Mirko},
title = {An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems},
isbn = { 978-1-4244-2959-2},
year = 2009,
abstract = {The attention to self-organization as a feasible metaphor for dealing with the growing complexity of today's software systems is constantly growing. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interaction among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from local interactions among components. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking and show a possible application on a problem called collective sort taken as a case study. To this end, the PRISM probabilistic model checker is adopted as a concrete tool for analyzing emergent properties of collective sort. Finally, a discussion of the corresponding results is provided.},
status = {Published},
pages = {1538-1545},
venue = {--},
month = {May, 18-21}} @inproceedings{DGRV-ICSOFT2009,
editor = {Shishkov, Boris and Cordeiro, Jos{\'e} and Ranchordas, Alpesh},
booktitle = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
publisher = {INSTICC Press},
year = {2009},
isbn = {978-989-674-009-2},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
pages = {218-225}} @inproceedings{bioframework-cec09,
booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
publisher = {IEEE Computer Society Press},
author = {Montagna, Sara and Viroli, Mirko},
title = {A computational framework for modelling multicellular biochemistry},
isbn = {978-1-4244-2959-2},
year = 2009,
status = {Published},
pages = {2233--2240},
venue = {--},
address = {Trondheim, Norway },
month = {18-21 May}} @inproceedings{stochasticprolog-cilc08,
address = {Perugia, Italy},
author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {23\textsuperscript{\underline{o}} Convegno Italiano di Logica Computazionale (CILC'08)},
iris = {11585/899637},
month = {10--12}}},
year = 2008
} @inproceedings{ecosystems-woa2008,
Address = {Palermo, Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
Editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
Isbn = {978-88-6122-122-2},
Month = nov,
Pages = {61--67},
Publisher = {Seneca Edizioni},
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
Year = 2008}
@inproceedings{adr-woa2008,
address = {Palermo, Italy},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
iris = {11585/70464},
isbn = {978-88-6122-122-2},
month = nov,
pages = {46--53},
publisher = {Seneca Edizioni},
scopus = {2-s2.0-84868689882},
title = {Arguments and Artifacts for Dispute Resolution},
url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
year = 2008
} @inproceedings{artifacts-argmas08,
address = {AAMAS 2008, Estoril, Portugal},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
booktitle = {5th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2008)},
editor = {Rahwan, Iyad and Moraitis, Pavlos},
iris = {11585/62593},
month = {12}}},
year = 2008
} @inproceedings{ecosystems-scw2008,
Address = {Venice Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {Workshop on Spatial Computing},
Month = oct,
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://projects.csail.mit.edu/scw08/papers/villalba.pdf},
Note = {Informal Proceedings},
Year = 2008}
@article{OlivaAdaptationJucs14,
journal = {Journal of Universal Computer Science},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
year = 2008,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
status = {Published},
pages = {2158-2181},
number = 13,
venue = {JUCS},
url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
volume = 14} @article{timed-wias5,
acm = {1377768},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
editor = {Menezes, Ronaldo and Ossowski, Sascha},
iris = {11585/46111},
issn = {1570-1263},
journal = {Web Intelligence and Agent Systems},
keywords = {Coordination artifacts, tuple cntres, TuCSoN, ReSpecT, timed coordination},
month = aug,
number = 2,
pages = {161--175},
publisher = {IOS Press},
scopus = {2-s2.0-34547812085},
title = {Timed Environment for {W}eb Agents},
url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
volume = 5,
year = 2007
} @inproceedings{selforg-eedas07,
address = {ICAC 2007, Jacksonville, FL, USA},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007)},
editor = {De Wolf, Tom and Saffre, Fabrice and Anthony, Richard},
isbn = {978-1-904521-43-3},
month = {11}}},
publisher = {CMS Press, University of Greenwich, London, UK},
title = {Design Patterns for Self-Organizing Multiagent Systems},
url = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
urlpdf = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
year = 2007
} @inproceedings{respect-foclasa07,
address = {CONCUR 2007, Lisbon, Portugal},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
month = {8}}},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://foclasa07.lcc.uma.es/},
year = 2007
} @inproceedings{artifacts-promas07,
address = {AAMAS 2007, Honolulu, Hawaii, USA},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {5th International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2007)},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = {15}}}},
year = 2007
} @article{coord-fundinfo73,
acm = {1231195},
author = {Viroli, Mirko and Omicini, Andrea},
dblp = {journals/fuin/ViroliO06},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Kok, Joost},
eissn = {1875-8681},
iris = {11585/28226},
issn = {0169-2968},
journal = {Fundamenta Informaticae},
note = {Special Issue: Best papers of FOCLASA 2002},
number = 4,
pages = {507--534},
publisher = {IOS Press},
scopus = {2-s2.0-33746222313},
title = {Coordination as a Service},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04},
volume = 73,
wos = {000242909600004},
year = 2006
} @inproceedings{selforg-aica06,
Address = {Cesena, Italy},
Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
Booktitle = {Atti Congresso Annuale AICA 2006},
Isbn = {88-6055-075-0},
Month = {21--22}}},
Publisher = {Alinea Editrice, Firenze, Italy},
Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
Volume = 1,
Year = 2006} @inproceedings{collectivesort-eumas06,
Address = {Lisbon, Portugal},
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Booktitle = {4th European Workshop on Multi-Agent Systems (EUMAS 2006)},
Editor = {Omicini, Andrea and Dunin-Keplicz, Barbara and Padget, Julian},
Issn = {1613-0073},
Month = {14--15}}},
Title = {A Case of Self-Organising Environment for MAS: the Collective Sort Problem},
Url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-223/24.pdf},
Year = 2006} @inproceedings{collectivesort-foclasa06,
address = {CONCUR 2006, Bonn, Germany},
author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
booktitle = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06)},
editor = {Canal, Carlos and Viroli, Mirko},
keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
month = {31}}},
title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
url = {http://foclasa06.lcc.uma.es/},
year = 2006
} @inproceedings{simpademo-woa2006,
author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
booktitle = {From Objects to Agents},
editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
iris = {11585/30151},
issn = {1613-0073},
keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
month = oct,
note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
numpages = 3,
pages = {1--3},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84868642666},
series = {CEUR Workshop Proceedings},
title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
url = {http://ceur-ws.org/Vol-204/D01.pdf},
volume = 204,
year = 2006
} @inproceedings{selforg-atai06,
address = {Vienna, Austria},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Cybernetics and Systems 2006},
editor = {Trappl, Robert},
isbn = {3-85206-172-5},
month = {18--21}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {Exploring the Dynamics of Self-Organising Systems with Stochastic $\pi$-Calculus: Detecting Abnormal Behaviour in {MAS}},
volume = 2,
year = 2006
} @inproceedings{cartago-e4mas06,
address = {AAMAS 2006, Hakodate, Japan},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = {8}}}}: An Infrastructure for Engineering Computational Environments in {MAS}},
url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
urlpdf = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
year = 2006
} }}})))
((({{{ @inproceedings{cartago-at2ai06,
address = {Vienna, Austria},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Cybernetics and Systems 2006},
editor = {Trappl, Robert},
isbn = {3-85206-172-5},
keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = {18--21}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {{\it Construenda est} {{\sf CArtAgO}}: Toward an Infrastructure for Artifacts in {MAS}},
volume = 2,
year = 2006
} }}})))
((({{{ @inproceedings{cogstig-e4mas06,
address = {AAMAS 2006, Hakodate, Japan},
author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
iris = {11585/27782},
month = {8}}},
url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci.pdf},
year = 2006
} }}})))
((({{{ @inproceedings{mgdemo-woa2006,
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {From Objects to Agents},
editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
iris = {11585/30148},
issn = {1613-0073},
month = oct,
note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
pages = {6--9},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-79956063434},
series = {CEUR Workshop Proceedings},
title = {Simulation of {M}inority {G}ame in \textsf{TuCSoN}},
url = {http://ceur-ws.org/Vol-204/D03.pdf},
volume = 204,
year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-woa06,
Address = {Catania, Italy},
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Booktitle = {WOA 2006 -- Dagli oggetti agli agenti: sistemi grid, p2p e self-*},
Editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
Issn = {1613-0073},
Journal = {CEUR Workshop Proceedings},
Month = {26--27}}},
Series = {CEUR Workshop Proceedings},
Title = {Collective Sorting Tuple Spaces},
Url = {http://ceur-ws.org/Vol-204/D01.pdf},
Year = 2006}} }}})))
((({{{ @inproceedings{mgsim-isc06,
address = {Palermo, Italy},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {Industrial Simulation Conference 2006 (ISC 2006)},
editor = {Genco, Alessandro and Gentile, Antonio and Sorce, Salvatore},
iris = {11585/27873},
isbn = {90-77381-26-0},
month = {5--7}}},
scopus = {2-s2.0-84898422825},
title = {Simulating {M}inority {G}ame with {\textsf{TuCSoN}} },
wos = {000245531000005},
year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-e4mas06,
Address = {AAMAS 2006, Hakodate, Japan},
Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
Booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
Editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
Month = {8}}},
Url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/gardelli.pdf},
Year = 2006} }}})))
((({{{ @inproceedings{mg-woa2006,
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {From Objects to Agents},
editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
iris = {11585/30143},
issn = {1613-0073},
month = oct,
note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
pages = {181--186},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-78650290825},
series = {CEUR Workshop Proceedings},
title = {{M}inority {G}ame: A Logic-Based Approach in {{\sf TuCSoN}} },
url = {http://ceur-ws.org/Vol-204/P02.pdf},
volume = 204,
year = 2006
} }}})))
</div>
<div class="mainselectbottom">
14 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2006 {{stringEngIta eng='without' ita='senza'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2005" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2005&service=doi&id=false&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2005
</a>
</div>
<div>
((({{{ @inproceedings{selforg-esoa05,
address = {AAMAS 2005, Utrecht, The Netherlands},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {3rd International Workshop ``Engineering Self-Organising Applications'' (ESOA 2005)},
editor = {Brueckner, Sven and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
month = {26}}}: the Case of an Intrusion Detection System in {{\sf TuCSoN}}},
year = 2005
} @article{artifacts-informatica29,
Author = {Ricci, Alessandro and Viroli, Mirko},
Editor = {Omicini, Andrea and Petta, Paolo and Gams, Matjaz},
Issn = {0350-5596},
eissn = {1854-3871},
Journal = {Informatica},
Keywords = {Multi-Agent System Coordination, Multi-Agent System Environment, Multi-Agent System Engineering, Coordination Artifacts},
Month = nov,
Number = 4,
Pages = {433--443},
urlpdf = {http://www.informatica.si/index.php/informatica/article/view/59/52},
Publisher = {Slovene Society Informatika},
Title = {Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in {MAS}},
Url = {http://www.informatica.si/index.php/informatica/article/view/59},
Volume = 29,
Year = 2005} @inproceedings{artifacts-e4mas05,
address = {AAMAS 2005, Utrecht, The Netherlands},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
booktitle = {2nd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2005)},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
month = {26}}} Environment with Artifacts},
year = 2005
} @article{aaecc16,
author = {Viroli, Mirko and Omicini, Andrea},
editor = {Viroli, Mirko and Omicini, Andrea},
eissn = {1432-0622},
issn = {0302-9743},
journal = {Applicable Algebra in Engineering, Communication and Computing},
month = aug,
number = 2-3,
pages = {69--203},
publisher = {Springer},
title = {Special Issue ``Process Algebras and Multi-Agent Systems''},
url = {https://link.springer.com/journal/200/volumes-and-issues/16-2},
volume = 16,
year = 2005
} @inproceedings{artifacts-promas05,
address = {AAMAS 2005, Utrecht, The Netherlands},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {3rd International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2005)},
editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
iris = {11585/4700},
month = {26}}} with Artifacts},
year = 2005
} @inproceedings{cogstig-eumas05,
address = {Brussels, Belgium},
author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
booktitle = {3rd European Workshop on Multi-Agent Systems (EUMAS 2005)},
editor = {Gleizes, Marie-Pierre and Kaminka, Gal A. and Nowè, Ann and Ossowski, Sascha and Tuyls, Karl and Verbeeck, Katja},
iris = {11585/22712},
month = {7--8}}},
title = {Cognitive Stigmergy: A Framework Based on Agents and Artifacts},
year = 2005
} @article{GenericsJOT10,
author = {Viroli, Mirko and Rimassa, Giovanni},
title = {On Access Restriction with {Java} Wildcards},
journal = {Journal of Object Technology},
volume = 4,
number = 10,
year = 2005,
publisher = "ETH Swiss Federal Institute of Technology",
editor = {Ancona, Davide},
issn = {1660-1769},
url = {http://www.jot.fm/issues/issue_2005_12/article6},
note = "Special Issue: OOPS Track at ACM SAC 2005",
}
@inproceedings{selforg-woa2005,
address = {Camerino, MC, Italy},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi'' (WOA 2005)},
editor = {Corradini, Flavio and De Paoli, Flavio and Merelli, Emanuela and Omicini, Andrea},
iris = {11585/22713},
isbn = {88-371-1590-3},
month = {14--16}}},
scopus = {2-s2.0-70349450492},
title = {On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in {MAS}},
year = 2005
} @inproceedings{bic-woa2004,
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi complessi e agenti razionali'' (WOA 2004)},
editor = {Baldoni, Matteo and De Paoli, Flavio and Martelli, Alberto and Omicini, Andrea},
isbn = {88-371-1533-4},
location = {Torino, Italy},
month = {30}}},
publisher = {Pitagora Editrice Bologna},
title = {A Conceptual Framework for Self-Organising {MAS}},
year = 2004
} @inproceedings{acc-atai04,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Cybernetics and Systems 2004},
editor = {Trappl, Robert},
isbn = {3-85206-169-5},
location = {Vienna, Austria},
month = {13--16}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {Agent Coordination Context: From Theory to Practice},
volume = 2,
year = 2004
} @inproceedings{bic-ceas04,
author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {International Workshop on Coordination in Emergent Agent Societies (CEAS'04)},
editor = {Vouros, George A.},
location = {ECAI 2004, Valencia, Spain},
month = {23--24}}},
title = {What {I} See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication},
year = 2004
} @inproceedings{rbac-aotp2004,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {1st International Workshop ``{A}gent {O}rganizations: {T}heory and {P}ractice'' (AOTP'04)},
editor = {Dignum, Virginia and Corkill, Daniel and Jonker, Catholijn and Dignum, Frank},
iris = {11585/6335},
isbn = {1-57735-203-3},
location = {AAAI-04, San Jos\'{e}, CA, USA},
month = {25}}},
publisher = {AAAI Press},
scopus = {2-s2.0-32144460865},
techrep = {WS-04-02},
title = {{R}ole-{B}ased {A}ccess {C}ontrol in {MAS} using {A}gent {C}oordination {C}ontexts},
year = 2004
} @inproceedings{acl-atai04,
author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
booktitle = {Cybernetics and Systems 2004},
editor = {Trappl, Robert},
isbn = {3-85206-169-5},
location = {Vienna, Austria},
month = {13--16}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {A Semantics for the Interaction of Agents with Coordination Artifacts},
volume = 2,
year = 2004
} @inproceedings{respect-foclasa04,
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04)},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
location = {CONCUR 2004, London, UK},
month = {30}}},
title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
year = 2004
} @article{IntroJOT3,
author = {Ancona, Davide AND Viroli, Mirko},
title = {Guest Editorial},
journal = jot,
volume = 3,
number = 11,
year = 2004,
publisher = "ETH Swiss Federal Institute of Technology",
editor = {Ancona, Davide AND Viroli, Mirko},
issn = {1660-1769},
url = {http://www.jot.fm/issues/issue_2004_12/editorial},
note = "Special Issue: OOPS Track at SAC 2004 Nicosia/Cyprus",
} @inproceedings{rbac-sasemas04,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {1st International Workshop ``Safety and Security in MultiAgent Systems'' (SASEMAS 2004)},
editor = {Barley, Mike and Massacci, Fabio and Mouratidis, Haris and Scerri, Paul},
location = {AAMAS 2004, New York, USA},
month = {20}}},
title = {An {RBAC} Approach for Securing Access Control in a {MAS} Coordination Infrastructure},
year = 2004
} @inproceedings{fipa-woa2003,
address = {Villasimius, CA, Italy},
author = {Omicini, Andrea and Ricci, Alessandro and Rimassa, Giovanni and Viroli, Mirko},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003)},
editor = {Armano, Giuliano and De Paoli, Flavio and Omicini, Andrea and Vargiu, Eloisa},
isbn = {88-371-1413-3},
month = {10--11}}}: A Roadmap to {{\sf TuCSoN,
url = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
urlpdf = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
year = 2003
} }}}
@inproceedings{logop-woa2002,
address = {Milano, Italy},
author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002)},
editor = {De Paoli, Flavio and Manzoni, Sara and Poggi, Agostino},
isbn = {88-371-1363-3},
month = {18--19 } # nov,
publisher = {Pitagora Editrice Bologna},
title = {Have {{\sf ReSpecT}} for {{\sc LogOp,
urlpdf = {http://lia.deis.unibo.it/books/woa2002/pdf/18.pdf},
year = 2002
} }}}
@inproceedings{acl-atai02,
address = {Vienna, Austria},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Cybernetics and Systems 2002},
editor = {Trappl, Robert},
isbn = {3-85206-160-1},
month = {2--5}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {Towards an Alternative Semantics for {FIPA ACL}},
volume = 2,
year = 2002
} @inproceedings{respect-pdpta02,
acm = {691538},
address = {Las Vegas, NV, USA},
author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko},
booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
editor = {Arabnia, Hamid R.},
isbn = {1-892512-89-0},
month = {24--27}}},
title = {Extending {{\sf ReSpecT}} for Multiple Coordination Flows},
url = {http://dl.acm.org/citation.cfm?id=691538},
volume = {III},
year = 2002
} @inproceedings{obs-icai02,
address = {Las Vegas, NV, USA},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {International Conference on Artificial Intelligence (IC-AI'02)},
editor = {Arabnia, Hamid R. and Mun, Youngsong},
isbn = {1-892512-25-4},
month = {24--27}}},
title = {A Specification Language for Agents Observable Behaviour},
volume = {I},
year = 2002
} @inproceedings{coord-pdpta02,
acm = {691680},
address = {Las Vegas, NV, USA},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
editor = {Arabnia, Hamid R.},
isbn = {1-892512-89-0},
month = {24--27}}},
title = {On the Expressiveness of Event-Based Coordination Media},
url = {http://dl.acm.org/citation.cfm?id=691680},
volume = {III},
year = 2002
} @inproceedings{obs-aiia2002,
address = {Siena, Italy},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {8th AI*IA Convention (AI*IA 2002), Workshop ``Agenti per la rappresentazione della conoscenza e il ragionamento''},
editor = {Gori, Marco and Cadoli, Marco and Poggi, Agostino},
month = {11}}},
year = 2002
} @inproceedings{obs-woa2001,
address = {Bologna, Italy},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2001)},
editor = {Omicini, Andrea and Viroli, Mirko},
isbn = {88-371-1272-6},
location = {Modena, Italy},
month = {4--5}}},
url = {http://lia.deis.unibo.it/books/woa2001/pdf/22.pdf},
year = 2001
} @proceedings{woa2001,
address = {Bologna, Italy},
booktitle = {WOA 2001 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software},
dblp = {conf/woa/2001},
editor = {Omicini, Andrea and Viroli, Mirko},
isbn = {88-371-1272-6},
location = {Modena, Italy},
month = {4--5}}},
publisher = {Pitagora Editrice Bologna},
title = {{WOA} 2001 -- {D}agli oggetti agli agenti: tendenze evolutive dei sistemi software},
url = {http://lia.deis.unibo.it/books/woa2001/},
year = 2001
} @article{obs-aiia2001,
author = {Viroli, Mirko and Omicini, Andrea},
journal = {AI*IA Notizie},
month = dec,
number = 4,
pages = {38--39},
title = {Multi-Agent Systems as Composition of Observable Systems},
volume = {XIV},
year = 2001
} 
0000-0003-2702-5702