Per Year
@inproceedings{casadei-mass2016,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
pages = {1495--1504},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
month = {11-14 September},
publisher = {IEEE Computer Society Press},
address = {Gdansk, Poland},
year = {2016},
status = {Published},
url = {http://dx.doi.org/10.15439/2016F407},
doi = {10.15439/2016F407},
timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
}
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
pages = {1495--1504},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
month = {11-14 September},
publisher = {IEEE Computer Society Press},
address = {Gdansk, Poland},
year = {2016},
status = {Published},
url = {http://dx.doi.org/10.15439/2016F407},
doi = {10.15439/2016F407},
timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
}
@book{osimas-book2016,
Author = {Plikynas, Darius},
Booktitle = {Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems},
Doi = {10.1007/978-3-319-39040-6},
Isbn = {978-3-319-39039-0},
eisbn = {978-3-319-39040-6},
Publisher = {Springer International Publishing},
Title = {Introducing the Oscillations Based Paradigm},
Url = {http://link.springer.com/10.1007/978-3-319-39040-6},
Year = 2016}
Author = {Plikynas, Darius},
Booktitle = {Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems},
Doi = {10.1007/978-3-319-39040-6},
Isbn = {978-3-319-39039-0},
eisbn = {978-3-319-39040-6},
Publisher = {Springer International Publishing},
Title = {Introducing the Oscillations Based Paradigm},
Url = {http://link.springer.com/10.1007/978-3-319-39040-6},
Year = 2016}
@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.}}
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{AFVC-ECAS2016,
author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
title = {Run-Time Management of Computation Domains in Field Calculus},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
pages = {192--197},
year = 2016,
url = {https://doi.org/10.1109/FAS-W.2016.50},
doi = {10.1109/FAS-W.2016.50},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6}
}
author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
title = {Run-Time Management of Computation Domains in Field Calculus},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
pages = {192--197},
year = 2016,
url = {https://doi.org/10.1109/FAS-W.2016.50},
doi = {10.1109/FAS-W.2016.50},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6}
}
@inproceedings{multicoord-woa2016,
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MarianiO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562433},
issn = {1613-0073},
keywords = {coordination; JADE; Jason; TuCSoN; autonomy; agent technology},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985905131},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Multi-paradigm Coordination for {MAS}: Integrating Heterogeneous Coordination Approaches in {MAS} Technologies},
url = {http://ceur-ws.org/Vol-1664/w16.pdf},
volume = 1664,
year = 2016
}
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MarianiO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562433},
issn = {1613-0073},
keywords = {coordination; JADE; Jason; TuCSoN; autonomy; agent technology},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985905131},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Multi-paradigm Coordination for {MAS}: Integrating Heterogeneous Coordination Approaches in {MAS} Technologies},
url = {http://ceur-ws.org/Vol-1664/w16.pdf},
volume = 1664,
year = 2016
}
@article{crossorganism-cmpb2016,
year = 2016,
keywords = {Biomolecular annotation prediction; Data representation; Discrete matrix completion; Gene ontology; Knowledge discovery; Transfer learning},
pubmed = 26724853,
status = {Published},
url = {http://www.cmpbjournal.com/article/S0169-2607%2815%2900325-9/},
month = apr,
urlpdf = {http://www.sciencedirect.com/science/article/pii/S0169260715003259},
journal = {Comput Methods and Programs in Biomedicine},
author = { Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli},
title = {Cross-organism learning method to discover new gene functionalities},
pages = {20-34},
volume = 126,
doi = {10.1016/j.cmpb.2015.12.002}}
year = 2016,
keywords = {Biomolecular annotation prediction; Data representation; Discrete matrix completion; Gene ontology; Knowledge discovery; Transfer learning},
pubmed = 26724853,
status = {Published},
url = {http://www.cmpbjournal.com/article/S0169-2607%2815%2900325-9/},
month = apr,
urlpdf = {http://www.sciencedirect.com/science/article/pii/S0169260715003259},
journal = {Comput Methods and Programs in Biomedicine},
author = { Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli},
title = {Cross-organism learning method to discover new gene functionalities},
pages = {20-34},
volume = 126,
doi = {10.1016/j.cmpb.2015.12.002}}
@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}
}
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{insci2016-smartspace,
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
@inproceedings{lpaas-woa2016,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
@article{actorstoagents-clss45,
author = {Ricci, Alessandro},
doi = {10.1016/j.cl.2015.12.003},
issn = {1477-8424},
journal = {Computer Languages, Systems \& Structures},
keywords = {Event loops, Control loops, Concurrent programming, Actors, Agents, Agent-oriented programming},
pages = {80--104},
title = {Programming with event loops and control loops -- From actors to agents},
url = {https://www.sciencedirect.com/science/article/pii/S1477842415000949},
volume = 45,
year = 2016
}
author = {Ricci, Alessandro},
doi = {10.1016/j.cl.2015.12.003},
issn = {1477-8424},
journal = {Computer Languages, Systems \& Structures},
keywords = {Event loops, Control loops, Concurrent programming, Actors, Agents, Agent-oriented programming},
pages = {80--104},
title = {Programming with event loops and control loops -- From actors to agents},
url = {https://www.sciencedirect.com/science/article/pii/S1477842415000949},
volume = 45,
year = 2016
}
@INPROCEEDINGS{VBPB-ECAS2016,
author = {Viroli, Mirko and
Bucchiarone, Antonio and
Pianini, Danilo and
Beal, Jacob},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
pages = {186--191},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.49},
doi = {10.1109/FAS-W.2016.49},
editor = {Elnikety, Sameh and
Lewis, Peter R. and
M{\"{u}}ller{-}Schloer}, Christian}
publisher = {{IEEE}},
isbn = {978-1-5090-3651-6}
}
author = {Viroli, Mirko and
Bucchiarone, Antonio and
Pianini, Danilo and
Beal, Jacob},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
pages = {186--191},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.49},
doi = {10.1109/FAS-W.2016.49},
editor = {Elnikety, Sameh and
Lewis, Peter R. and
M{\"{u}}ller{-}Schloer}, Christian}
publisher = {{IEEE}},
isbn = {978-1-5090-3651-6}
}
@inproceedings{Croatti:2016:EAJ:3001886.3001887,
author = {Croatti, Angelo and Ricci, Alessandro},
title = {An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development},
booktitle = {Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
year = {2016},
isbn = {978-1-4503-4639-9},
location = {Amsterdam, Netherlands},
pages = {1--10},
numpages = {10},
url = {http://doi.acm.org/10.1145/3001886.3001887},
doi = {10.1145/3001886.3001887},
acm = {3001887},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {AgentSpeak(L), Jason, Jona, agent programming languages, agent-oriented programming},
}
author = {Croatti, Angelo and Ricci, Alessandro},
title = {An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development},
booktitle = {Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
year = {2016},
isbn = {978-1-4503-4639-9},
location = {Amsterdam, Netherlands},
pages = {1--10},
numpages = {10},
url = {http://doi.acm.org/10.1145/3001886.3001887},
doi = {10.1145/3001886.3001887},
acm = {3001887},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {AgentSpeak(L), Jason, Jona, agent programming languages, agent-oriented programming},
}
@inproceedings{AggregatecomputingVlsubicomp16,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {On Execution Platforms for Large-scale Aggregate Computing},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
series = {UbiComp '16},
year = {2016},
isbn = {978-1-4503-4462-3},
location = {Heidelberg, Germany},
pages = {1321--1326},
numpages = {6},
url = {http://doi.acm.org/10.1145/2968219.2979129},
doi = {10.1145/2968219.2979129},
acm = {2979129},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
}
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {On Execution Platforms for Large-scale Aggregate Computing},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
series = {UbiComp '16},
year = {2016},
isbn = {978-1-4503-4462-3},
location = {Heidelberg, Germany},
pages = {1321--1326},
numpages = {6},
url = {http://doi.acm.org/10.1145/2968219.2979129},
doi = {10.1145/2968219.2979129},
acm = {2979129},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
}
@Inproceedings{VB-FORECAST2016,
author = "Viroli, Mirko and Beal, Jacob",
year = "2016",
title = "Resiliency with Aggregate Computing: State of the Art and Roadmap",
editor = "ter Beek, Maurice H. and Loreti, Michele",
booktitle = "{\rm Proceedings of the Workshop on}
FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems,
{\rm Vienna, Austria, 8 July 2016}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "217",
publisher = "Open Publishing Association",
pages = "5-18",
doi = "10.4204/EPTCS.217.3",
}
author = "Viroli, Mirko and Beal, Jacob",
year = "2016",
title = "Resiliency with Aggregate Computing: State of the Art and Roadmap",
editor = "ter Beek, Maurice H. and Loreti, Michele",
booktitle = "{\rm Proceedings of the Workshop on}
FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems,
{\rm Vienna, Austria, 8 July 2016}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "217",
publisher = "Open Publishing Association",
pages = "5-18",
doi = "10.4204/EPTCS.217.3",
}
@article{alphago-nature529,
author = {Silver, David and Huang, Aja and Maddison, Chris J. and Guez, Arthur and Sifre, Laurent and van den Driessche, George and Schrittwieser, Julian and Antonoglou, Ioannis and Panneershelvam, Veda and Lanctot, Marc and Dieleman, Sander and Grewe, Dominik and Nham, John and Kalchbrenner, Nal and Sutskever, Ilya and Lillicrap, Timothy and Leach, Madeleine and Kavukcuoglu, Koray and Graepel, Thore and Hassabis, Demis},
doi = {10.1038/nature16961},
journal = {Nature},
month = jan,
pages = {484--489},
publisher = {Nature Publishing Group},
title = {Mastering the game of {G}o with deep neural networks and tree search},
url = {http://www.nature.com/articles/nature16961},
volume = 529,
year = 2016
author = {Silver, David and Huang, Aja and Maddison, Chris J. and Guez, Arthur and Sifre, Laurent and van den Driessche, George and Schrittwieser, Julian and Antonoglou, Ioannis and Panneershelvam, Veda and Lanctot, Marc and Dieleman, Sander and Grewe, Dominik and Nham, John and Kalchbrenner, Nal and Sutskever, Ilya and Lillicrap, Timothy and Leach, Madeleine and Kavukcuoglu, Koray and Graepel, Thore and Hassabis, Demis},
doi = {10.1038/nature16961},
journal = {Nature},
month = jan,
pages = {484--489},
publisher = {Nature Publishing Group},
title = {Mastering the game of {G}o with deep neural networks and tree search},
url = {http://www.nature.com/articles/nature16961},
volume = 529,
year = 2016
@article{cardenasBBI2016,
author = {Cárdenas-García, Maura and González-Pérez, Pedro Pablo and Montagna, Sara and Sánchez Cortés, Oscar and Hernández Caballero, Elena},
doi = {10.4137/BBI.S38075},
eissn = {1177-9322},
journal = {Bioinformatics and Biology Insights},
month = {03},
pages = {5--18},
publisher = {Libertas Academica},
pubmed = {26997867},
title = {Modeling Intercellular Communication as a Survival Strategy of Cancer Cells: An In Silico Approach on a Flexible Bioinformatics Framework},
url = {www.la-press.com/modeling-intercellular-communication-as-a-survival-strategy-of-cancer--article-a5461},
urlpdf = {http://www.la-press.com/redirect_file.php?fileId=7293&filename=5461-BBI-Modeling-Intercellular-Communication-as-a-Survival-Strategy-of-Cancer-.pdf&fileType=pdf},
volume = 10,
year = 2016
}
author = {Cárdenas-García, Maura and González-Pérez, Pedro Pablo and Montagna, Sara and Sánchez Cortés, Oscar and Hernández Caballero, Elena},
doi = {10.4137/BBI.S38075},
eissn = {1177-9322},
journal = {Bioinformatics and Biology Insights},
month = {03},
pages = {5--18},
publisher = {Libertas Academica},
pubmed = {26997867},
title = {Modeling Intercellular Communication as a Survival Strategy of Cancer Cells: An In Silico Approach on a Flexible Bioinformatics Framework},
url = {www.la-press.com/modeling-intercellular-communication-as-a-survival-strategy-of-cancer--article-a5461},
urlpdf = {http://www.la-press.com/redirect_file.php?fileId=7293&filename=5461-BBI-Modeling-Intercellular-Communication-as-a-Survival-Strategy-of-Cancer-.pdf&fileType=pdf},
volume = 10,
year = 2016
}
@inproceedings{acec-wetice2016,
booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
year = 2016,
keywords = {daptation, socio-technical systems, smart spaces},
status = {Published},
venue_list = {--},
month = {June},
venue_s = {ACEC - WETICE 2016},
publisher = {IEEE Computer Society},
author = {Cabri, Giacomo and Cossentino, Massimo and Denti, Enrico and Giorgini, Paolo and Molesini, Ambra and Mordonini, Monica and Tomaiuolo, Michele and Sabatucci, Luca},
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
isbn = {978-1-5090-1663-1/16},
abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces—offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way.
A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems—kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages.
In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces; the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation.
In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
pages = {3--8},
articleNo = 33,
numpages = 6,
doi = { 10.1109/WETICE.2016.11}}
booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
year = 2016,
keywords = {daptation, socio-technical systems, smart spaces},
status = {Published},
venue_list = {--},
month = {June},
venue_s = {ACEC - WETICE 2016},
publisher = {IEEE Computer Society},
author = {Cabri, Giacomo and Cossentino, Massimo and Denti, Enrico and Giorgini, Paolo and Molesini, Ambra and Mordonini, Monica and Tomaiuolo, Michele and Sabatucci, Luca},
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
isbn = {978-1-5090-1663-1/16},
abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces—offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way.
A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems—kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages.
In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces; the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation.
In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
pages = {3--8},
articleNo = 33,
numpages = 6,
doi = { 10.1109/WETICE.2016.11}}
@inproceedings{mhealthselfman-woa2016,
author = {Montagna, Sara and Omicini, Andrea and Degli Angeli, Francesco and Donati, Michele},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MontagnaOAD16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562429},
issn = {1613-0073},
keywords = {m-Health; self-management of chronic diseases; agent-based modelling and simulation; diabetes mellitus},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {100--105},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985911905},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases},
url = {http://ceur-ws.org/Vol-1664/w17.pdf},
volume = 1664,
year = 2016
}
author = {Montagna, Sara and Omicini, Andrea and Degli Angeli, Francesco and Donati, Michele},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MontagnaOAD16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562429},
issn = {1613-0073},
keywords = {m-Health; self-management of chronic diseases; agent-based modelling and simulation; diabetes mellitus},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {100--105},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985911905},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases},
url = {http://ceur-ws.org/Vol-1664/w17.pdf},
volume = 1664,
year = 2016
}
@inproceedings{lvlp-cilc2016,
address = {Milano, Italy},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
address = {Milano, Italy},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
@inproceedings{coord-ubicomp2016,
acm = {2979128},
address = {New York, NY, USA},
author = {Omicini, Andrea and Zambonelli, Franco},
booktitle = {Ubicomp/ISWC'16 Adjunct},
dblp = {conf/huc/OmiciniZ16},
doi = {10.1145/2968219.2979128},
iris = {11585/563018},
isbn = {978-1-4503-4462-3},
keywords = {Coordination, large-scale systems, self-organization},
location = {Heidelberg, Germany},
month = {12--16~} # sep,
publisher = {ACM Press},
scopus = {2-s2.0-84991063294},
title = {Challenges of Decentralized Coordination in Large-scale Ubicomp Systems},
url = {http://dl.acm.org/citation.cfm?id=2979128},
urlpdf = {http://delivery.acm.org/10.1145/2980000/2979128/p1315-omicini.pdf},
wos = {000469272600251},
year = 2016
}
acm = {2979128},
address = {New York, NY, USA},
author = {Omicini, Andrea and Zambonelli, Franco},
booktitle = {Ubicomp/ISWC'16 Adjunct},
dblp = {conf/huc/OmiciniZ16},
doi = {10.1145/2968219.2979128},
iris = {11585/563018},
isbn = {978-1-4503-4462-3},
keywords = {Coordination, large-scale systems, self-organization},
location = {Heidelberg, Germany},
month = {12--16~} # sep,
publisher = {ACM Press},
scopus = {2-s2.0-84991063294},
title = {Challenges of Decentralized Coordination in Large-scale Ubicomp Systems},
url = {http://dl.acm.org/citation.cfm?id=2979128},
urlpdf = {http://delivery.acm.org/10.1145/2980000/2979128/p1315-omicini.pdf},
wos = {000469272600251},
year = 2016
}
@inproceedings{aggregatescala-pmldc2016,
acm = {2957372},
Address = {New York, NY, USA},
Articleno = {5},
Author = {Casadei, Roberto and Viroli, Mirko},
Booktitle = {1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16)},
Doi = {10.1145/2957319.2957372},
Isbn = {978-1-4503-4775-4},
Keywords = {DSL, Scala, aggregate programming, complex adaptive systems, distributed platform},
Location = {Rome, Italy},
Month = {17~} # jul,
Numpages = {7},
Pages = {5:1--5:7},
Publisher = {ACM},
Title = {Towards Aggregate Programming in {S}cala},
Url = {http://doi.acm.org/10.1145/2957319.2957372},
Year = 2016}
acm = {2957372},
Address = {New York, NY, USA},
Articleno = {5},
Author = {Casadei, Roberto and Viroli, Mirko},
Booktitle = {1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16)},
Doi = {10.1145/2957319.2957372},
Isbn = {978-1-4503-4775-4},
Keywords = {DSL, Scala, aggregate programming, complex adaptive systems, distributed platform},
Location = {Rome, Italy},
Month = {17~} # jul,
Numpages = {7},
Pages = {5:1--5:7},
Publisher = {ACM},
Title = {Towards Aggregate Programming in {S}cala},
Url = {http://doi.acm.org/10.1145/2957319.2957372},
Year = 2016}
@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}
}
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}
}
@article{coordstsintro-tetc4,
author = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
dblp = {journals/tetc/ZambonelliOS16},
doi = {10.1109/TETC.2015.2505498},
ieee = {7423842},
iris = {11585/562495},
issn = {2168-6750},
journal = {IEEE Transactions on Emerging Topics in Computing},
keywords = {Distributed computing, pervasive computing, social computing, software engineering},
month = jan # {--} # mar,
number = 1,
numpages = 4,
pages = {5--8},
publisher = {IEEE Computer Society},
scopus = {2-s2.0-84963735849},
title = {Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7423842},
volume = 4,
wos = {000390195500002},
year = 2016
}
author = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
dblp = {journals/tetc/ZambonelliOS16},
doi = {10.1109/TETC.2015.2505498},
ieee = {7423842},
iris = {11585/562495},
issn = {2168-6750},
journal = {IEEE Transactions on Emerging Topics in Computing},
keywords = {Distributed computing, pervasive computing, social computing, software engineering},
month = jan # {--} # mar,
number = 1,
numpages = 4,
pages = {5--8},
publisher = {IEEE Computer Society},
scopus = {2-s2.0-84963735849},
title = {Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7423842},
volume = 4,
wos = {000390195500002},
year = 2016
}
@article{compfields-scp117,
Author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
Doi = {10.1016/j.scico.2015.11.005},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
Pages = {17--44},
Title = {A type-sound calculus of computational fields},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
Volume = 117,
Year = 2016}
Author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
Doi = {10.1016/j.scico.2015.11.005},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
Pages = {17--44},
Title = {A type-sound calculus of computational fields},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
Volume = 117,
Year = 2016}
@incollection{bison-insci2016,
author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 25,
dblp = {conf/insci/CeveniniDOC16},
doi = {10.1007/978-3-319-45982-0_25},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
eisbn = {978-3-319-45982-0},
iris = {11585/562456},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
location = {Firenze, Italy},
month = {12-14~} # sep,
pages = {291--305},
publisher = {Springer International Publishing},
scopus = {2-s2.0-84986203603},
series = {Lecture Notes in Computer Science},
title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {000389030700025},
year = 2016
}
author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 25,
dblp = {conf/insci/CeveniniDOC16},
doi = {10.1007/978-3-319-45982-0_25},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
eisbn = {978-3-319-45982-0},
iris = {11585/562456},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
location = {Firenze, Italy},
month = {12-14~} # sep,
pages = {291--305},
publisher = {Springer International Publishing},
scopus = {2-s2.0-84986203603},
series = {Lecture Notes in Computer Science},
title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {000389030700025},
year = 2016
}
@article{coordsts-tetc4,
author = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
editor = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
issn = {2168-6750},
journal = {IEEE Transactions on Emerging Topics in Computing},
month = jan # {--} # mar,
number = 1,
publisher = {IEEE Computer Society},
title = {Special Section on Coordination in Large-Scale Socio-Technical Systems},
url = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=7423831},
volume = 4,
year = 2016
}
author = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
editor = {Zambonelli, Franco and Omicini, Andrea and Scerri, Paul},
issn = {2168-6750},
journal = {IEEE Transactions on Emerging Topics in Computing},
month = jan # {--} # mar,
number = 1,
publisher = {IEEE Computer Society},
title = {Special Section on Coordination in Large-Scale Socio-Technical Systems},
url = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=7423831},
volume = 4,
year = 2016
}
@incollection{mabsde-mabsXVI,
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
chapter = 1,
dblp = {conf/mabs/MontagnaOP15},
doi = {10.1007/978-3-319-31447-1_1},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
eisbn = {978-3-319-31447-1},
iris = {11585/562458},
isbn = {978-3-319-31446-4},
issn = {0302-9743},
keywords = {ALCHEMIST, Discrete-event simulation, Gillespie algorithm, Multi-agent based simulation, Stochastic simulation},
month = {15~} # mar,
numpages = 16,
pages = {3--18},
publisher = {Springer},
scopus = {2-s2.0-84961257364},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Extending the {G}illespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
url = {http://link.springer.com/10.1007/978-3-319-31447-1_1},
volume = 9568,
year = 2016
}
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
chapter = 1,
dblp = {conf/mabs/MontagnaOP15},
doi = {10.1007/978-3-319-31447-1_1},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
eisbn = {978-3-319-31447-1},
iris = {11585/562458},
isbn = {978-3-319-31446-4},
issn = {0302-9743},
keywords = {ALCHEMIST, Discrete-event simulation, Gillespie algorithm, Multi-agent based simulation, Stochastic simulation},
month = {15~} # mar,
numpages = 16,
pages = {3--18},
publisher = {Springer},
scopus = {2-s2.0-84961257364},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Extending the {G}illespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
url = {http://link.springer.com/10.1007/978-3-319-31447-1_1},
volume = 9568,
year = 2016
}
@article{2p-alpnews2016,
Author = {Calegari, Roberta and Denti, Enrico},
Journal = {ALP Newsletter},
Month = dec,
Publisher = {Association for Logic Programming},
Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
Year = 2016}
Author = {Calegari, Roberta and Denti, Enrico},
Journal = {ALP Newsletter},
Month = dec,
Publisher = {Association for Logic Programming},
Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
Year = 2016}
@incollection{omiciniforeward-osimasbook2016,
author = {Omicini, Andrea},
booktitle = {Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems},
eisbn = {978-3-319-39040-6},
iris = {11585/562460},
isbn = {978-3-319-39039-0},
pages = {v--vii},
publisher = {Springer International Publishing},
title = {Foreward by {P}rof. {A}ndrea {O}micini},
url = {http://link.springer.com/content/pdf/bfm:978-3-319-39040-6/1.pdf},
urlpdf = {http://link.springer.com/content/pdf/bfm:978-3-319-39040-6/1.pdf},
year = 2016
}
author = {Omicini, Andrea},
booktitle = {Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems},
eisbn = {978-3-319-39040-6},
iris = {11585/562460},
isbn = {978-3-319-39039-0},
pages = {v--vii},
publisher = {Springer International Publishing},
title = {Foreward by {P}rof. {A}ndrea {O}micini},
url = {http://link.springer.com/content/pdf/bfm:978-3-319-39040-6/1.pdf},
urlpdf = {http://link.springer.com/content/pdf/bfm:978-3-319-39040-6/1.pdf},
year = 2016
}
@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}
}
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}
}
@article{sapere-ker31,
author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
doi = {10.1017/S0269888916000199},
iris = {11585/587618},
journal = {The Knowledge Engineering Review},
month = sep,
number = 4,
numpages = 24,
pages = {343-366},
scopus = {2-s2.0-85002973358},
title = {Spatial awareness in pervasive ecosystems},
url = {http://journals.cambridge.org/abstract_ S0269888916000199},
volume = 31,
year = 2016
}
author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
doi = {10.1017/S0269888916000199},
iris = {11585/587618},
journal = {The Knowledge Engineering Review},
month = sep,
number = 4,
numpages = 24,
pages = {343-366},
scopus = {2-s2.0-85002973358},
title = {Spatial awareness in pervasive ecosystems},
url = {http://journals.cambridge.org/abstract_ S0269888916000199},
volume = 31,
year = 2016
}
@incollection{techautonomy-awsbook2016,
address = {Cambridge, UK},
author = {Sartor, Giovanni and Omicini, Andrea},
booktitle = {Autonomous Weapon Systems. Law, Ethics, Policy},
chapter = 3,
doi = {10.1017/CBO9781316597873.003},
editor = {Bhuta, Nehal and Beck, Susanne and Gei{\ss}, Robin and Liu, Hin-Yan and Kre{\ss}, Claus},
eisbn = {978-1-316-59787-3},
iris = {11585/562486},
isbn = {978-1-107-15356-1},
isbn13 = {978-1-316-60765-7},
month = aug,
numpages = 36,
pages = {39--74},
publisher = {Cambridge University Press},
scopus = {2-s2.0-85029495435},
title = {The Autonomy of Technological Systems and Responsibilities for their Use},
url = {http://www.cambridge.org/core/books/autonomous-weapons-systems/the-autonomy-of-technological-systems-and-responsibilities-for-their-use/9C47BF93BCF884E3D4735C95509790BD},
year = 2016
}
address = {Cambridge, UK},
author = {Sartor, Giovanni and Omicini, Andrea},
booktitle = {Autonomous Weapon Systems. Law, Ethics, Policy},
chapter = 3,
doi = {10.1017/CBO9781316597873.003},
editor = {Bhuta, Nehal and Beck, Susanne and Gei{\ss}, Robin and Liu, Hin-Yan and Kre{\ss}, Claus},
eisbn = {978-1-316-59787-3},
iris = {11585/562486},
isbn = {978-1-107-15356-1},
isbn13 = {978-1-316-60765-7},
month = aug,
numpages = 36,
pages = {39--74},
publisher = {Cambridge University Press},
scopus = {2-s2.0-85029495435},
title = {The Autonomy of Technological Systems and Responsibilities for their Use},
url = {http://www.cambridge.org/core/books/autonomous-weapons-systems/the-autonomy-of-technological-systems-and-responsibilities-for-their-use/9C47BF93BCF884E3D4735C95509790BD},
year = 2016
}
@article{tfidf-ccis584,
author = {Domeniconi, Giacomo and Moro, Gianluca and Pasolini, Roberto and Claudio Sartori},
booktitle = {Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
doi = {10.1007/978-3-319-30162-4_4},
editor = {Helfert, Markus and Holzinger, Andreas and Belo, Orlando and Francalanci, Chiara},
issn = {978-3-319-30162-4},
pages = {39--59},
series = {Communications in Computer and Information Science},
title = {A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf},
url = {http://link.springer.com/10.1007/978-3-319-30162-4_4},
volume = 584,
year = 2016
}
author = {Domeniconi, Giacomo and Moro, Gianluca and Pasolini, Roberto and Claudio Sartori},
booktitle = {Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
doi = {10.1007/978-3-319-30162-4_4},
editor = {Helfert, Markus and Holzinger, Andreas and Belo, Orlando and Francalanci, Chiara},
issn = {978-3-319-30162-4},
pages = {39--59},
series = {Communications in Computer and Information Science},
title = {A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf},
url = {http://link.springer.com/10.1007/978-3-319-30162-4_4},
volume = 584,
year = 2016
}
@inproceedings{viroli-ecas2016,
author = {Viroli, Mirko and Antonio Bucchiarone and Pianini, Danilo and Jacob Beal},
booktitle = {2016 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2016, Augsburg, Germany, September 18-22, 2016},
doi = {10.1109/FAS-W.2016.49},
ieee = {7789466},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://ieeexplore.ieee.org/document/7789466},
year = 2016
}
author = {Viroli, Mirko and Antonio Bucchiarone and Pianini, Danilo and Jacob Beal},
booktitle = {2016 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2016, Augsburg, Germany, September 18-22, 2016},
doi = {10.1109/FAS-W.2016.49},
ieee = {7789466},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://ieeexplore.ieee.org/document/7789466},
year = 2016
}
@inproceedings{gamemas-woa2016,
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MarianiO16a},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562431},
issn = {1613-0073},
keywords = {game engines; MAS; agent societies; environment; Unity3D; Unreal Engine},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {106--111},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985994367},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Game Engines to Model {MAS}: A Research Roadmap},
url = {http://ceur-ws.org/Vol-1664/w18.pdf},
volume = 1664,
year = 2016
}
author = {Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/MarianiO16a},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562431},
issn = {1613-0073},
keywords = {game engines; MAS; agent societies; environment; Unity3D; Unreal Engine},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {106--111},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985994367},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Game Engines to Model {MAS}: A Research Roadmap},
url = {http://ceur-ws.org/Vol-1664/w18.pdf},
volume = 1664,
year = 2016
}
@book{mok-book2016,
Author = {Mariani, Stefano},
Booktitle = {Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in {\sc MoK}},
Doi = {10.1007/978-3-319-47109-9},
Edition = {1st},
Isbn = {978-3-319-47108-2},
eisbn = {978-3-319-47109-9},
Issn = {2365-3051},
Month = dec,
Numpages = 234,
Publisher = {Springer International Publishing},
Series = {Artificial Intelligence: Foundations, Theory, and Algorithms},
Title = {Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in {\sc MoK}},
Url = {http://link.springer.com/10.1007/978-3-319-47109-9},
Year = 2016}
Author = {Mariani, Stefano},
Booktitle = {Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in {\sc MoK}},
Doi = {10.1007/978-3-319-47109-9},
Edition = {1st},
Isbn = {978-3-319-47108-2},
eisbn = {978-3-319-47109-9},
Issn = {2365-3051},
Month = dec,
Numpages = 234,
Publisher = {Springer International Publishing},
Series = {Artificial Intelligence: Foundations, Theory, and Algorithms},
Title = {Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in {\sc MoK}},
Url = {http://link.springer.com/10.1007/978-3-319-47109-9},
Year = 2016}
publications
/
2016
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini