Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mirko Viroli
@article{DBLP:journals/jss/AudritoCDSV24,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Guido Salvaneschi and
Mirko Viroli},
title = {The eXchange Calculus {(XC):} {A} functional programming language
design for distributed collective systems},
journal = {J. Syst. Softw.},
volume = {210},
pages = {111976},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2024.111976},
doi = {10.1016/J.JSS.2024.111976},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AudritoCDSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/24/CasadeiDTV24,
author = {Roberto Casadei and
Ferruccio Damiani and
Gianluca Torta and
Mirko Viroli},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Actor-Based Designs for Distributed Self-organisation Programming},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {37--58},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_2},
doi = {10.1007/978-3-031-51060-1\_2},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/CasadeiDTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10969,
author = {Gianluca Aguzzi and
Roberto Casadei and
Mirko Viroli},
title = {MacroSwarm: {A} Field-based Compositional Framework for Swarm Programming},
journal = {CoRR},
volume = {abs/2401.10969},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10969},
doi = {10.48550/ARXIV.2401.10969},
eprinttype = {arXiv},
eprint = {2401.10969},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11212,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Gianluca Torta and
Mirko Viroli},
title = {Programming Distributed Collective Processes in the eXchange Calculus},
journal = {CoRR},
volume = {abs/2401.11212},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11212},
doi = {10.48550/ARXIV.2401.11212},
eprinttype = {arXiv},
eprint = {2401.11212},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AudritoCDV23,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Mirko Viroli},
title = {Computation Against a Neighbour: Addressing Large-Scale Distribution
and Adaptivity with Functional Programming and Scala},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:6)2023},
doi = {10.46298/LMCS-19(1:6)2023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AudritoCDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CasadeiMPVZ23,
author = {Roberto Casadei and
Stefano Mariani and
Danilo Pianini and
Mirko Viroli and
Franco Zambonelli},
title = {Space-Fluid Adaptive Sampling by Self-Organisation},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:29)2023},
doi = {10.46298/LMCS-19(4:29)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CasadeiMPVZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swarm/AguzziACDTV23,
author = {Gianluca Aguzzi and
Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Gianluca Torta and
Mirko Viroli},
title = {A field-based computing approach to sensing-driven clustering in robot
swarms},
journal = {Swarm Intell.},
volume = {17},
number = {1-2},
pages = {27--62},
year = {2023},
url = {https://doi.org/10.1007/s11721-022-00215-y},
doi = {10.1007/S11721-022-00215-Y},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/swarm/AguzziACDTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/CasadeiAPV23,
author = {Roberto Casadei and
Gianluca Aguzzi and
Danilo Pianini and
Mirko Viroli},
title = {Programming (and Learning) Self-Adaptive {\&} Self-Organising
Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2023 - Companion, Toronto, ON, Canada, September
25-29, 2023},
pages = {33--34},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ACSOS-C58168.2023.00032},
doi = {10.1109/ACSOS-C58168.2023.00032},
timestamp = {Sun, 14 Jan 2024 20:29:36 +0100},
biburl = {https://dblp.org/rec/conf/acsos/CasadeiAPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/AguzziVE23,
author = {Gianluca Aguzzi and
Mirko Viroli and
Lukas Esterle},
title = {Field-informed Reinforcement Learning of Collective Tasks with Graph
Neural Networks},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2023, Toronto, ON, Canada, September 25-29, 2023},
pages = {37--46},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ACSOS58161.2023.00021},
doi = {10.1109/ACSOS58161.2023.00021},
timestamp = {Wed, 13 Dec 2023 14:38:49 +0100},
biburl = {https://dblp.org/rec/conf/acsos/AguzziVE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/CasadeiAAPV23,
author = {Roberto Casadei and
Francesco L. De Angelis and
Gianluca Aguzzi and
Danilo Pianini and
Mirko Viroli},
title = {Self-Organisation Programming: {A} Functional Reactive Macro Approach},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2023, Toronto, ON, Canada, September 25-29, 2023},
pages = {87--96},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ACSOS58161.2023.00026},
doi = {10.1109/ACSOS58161.2023.00026},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsos/CasadeiAAPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AguzziCV23,
author = {Gianluca Aguzzi and
Roberto Casadei and
Mirko Viroli},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {MacroSwarm: {A} Field-Based Compositional Framework for Swarm Programming},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {31--51},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_2},
doi = {10.1007/978-3-031-35361-1\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AguzziCV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DominiCAV23,
author = {Davide Domini and
Filippo Cavallari and
Gianluca Aguzzi and
Mirko Viroli},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {ScaRLib: {A} Framework for Cooperative Many Agent Deep Reinforcement
Learning in Scala},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {52--70},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_3},
doi = {10.1007/978-3-031-35361-1\_3},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DominiCAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AudritoCDTV23,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Gianluca Torta and
Mirko Viroli},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Programming Distributed Collective Processes for Dynamic Ensembles
and Collective Tasks},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {71--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_4},
doi = {10.1007/978-3-031-35361-1\_4},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AudritoCDTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AudritoCDSV22,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Guido Salvaneschi and
Mirko Viroli},
title = {Functional Programming for Distributed Systems with {XC} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {08:1--08:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.8},
doi = {10.4230/DARTS.8.2.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AudritoCDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/AguzziCPV22,
author = {Gianluca Aguzzi and
Roberto Casadei and
Danilo Pianini and
Mirko Viroli},
title = {Dynamic Decentralization Domains for the Internet of Things},
journal = {{IEEE} Internet Comput.},
volume = {26},
number = {6},
pages = {16--23},
year = {2022},
url = {https://doi.org/10.1109/MIC.2022.3216753},
doi = {10.1109/MIC.2022.3216753},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/AguzziCPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/CasadeiFPPSV22,
author = {Roberto Casadei and
Giancarlo Fortino and
Danilo Pianini and
Andrea Placuzzi and
Claudio Savaglio and
Mirko Viroli},
title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment
Performance of Smart Collective Services at the Edge},
journal = {{IEEE} Internet Things J.},
volume = {9},
number = {20},
pages = {20136--20148},
year = {2022},
url = {https://doi.org/10.1109/JIOT.2022.3172470},
doi = {10.1109/JIOT.2022.3172470},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/CasadeiFPPSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AudritoDSTV22,
author = {Giorgio Audrito and
Ferruccio Damiani and
Volker Stolz and
Gianluca Torta and
Mirko Viroli},
title = {Distributed runtime verification by past-CTL and the field calculus},
journal = {J. Syst. Softw.},
volume = {187},
pages = {111251},
year = {2022},
url = {https://doi.org/10.1016/j.jss.2022.111251},
doi = {10.1016/J.JSS.2022.111251},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AudritoDSTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/softx/CasadeiVAP22,
author = {Roberto Casadei and
Mirko Viroli and
Gianluca Aguzzi and
Danilo Pianini},
title = {ScaFi: {A} Scala {DSL} and Toolkit for Aggregate Programming},
journal = {SoftwareX},
volume = {20},
pages = {101248},
year = {2022},
url = {https://doi.org/10.1016/j.softx.2022.101248},
doi = {10.1016/J.SOFTX.2022.101248},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/softx/CasadeiVAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/AguzziCV22,
author = {Gianluca Aguzzi and
Roberto Casadei and
Mirko Viroli},
editor = {Roberto Casadei and
Elisabetta Di Nitto and
Ilias Gerostathopoulos and
Danilo Pianini and
Ivana Dusparic and
Timothy Wood and
Phyllis R. Nelson and
Evangelos Pournaras and
Nelly Bencomo and
Sebastian G{\"{o}}tz and
Christian Krupitzer and
Claudia Raibulet},
title = {Addressing Collective Computations Efficiency: Towards a Platform-level
Reinforcement Learning Approach},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2022, Virtual, CA, USA, September 19-23, 2022},
pages = {11--20},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ACSOS55765.2022.00019},
doi = {10.1109/ACSOS55765.2022.00019},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/acsos/AguzziCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/PianiniCV22,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli},
editor = {Roberto Casadei and
Elisabetta Di Nitto and
Ilias Gerostathopoulos and
Danilo Pianini and
Ivana Dusparic and
Timothy Wood and
Phyllis R. Nelson and
Evangelos Pournaras and
Nelly Bencomo and
Sebastian G{\"{o}}tz and
Christian Krupitzer and
Claudia Raibulet},
title = {Self-stabilising Priority-Based Multi-Leader Election and Network
Partitioning},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2022, Virtual, CA, USA, September 19-23, 2022},
pages = {81--90},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ACSOS55765.2022.00026},
doi = {10.1109/ACSOS55765.2022.00026},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsos/PianiniCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AguzziCV22,
author = {Gianluca Aguzzi and
Roberto Casadei and
Mirko Viroli},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {Towards Reinforcement Learning-based Aggregate Computing},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {72--91},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_5},
doi = {10.1007/978-3-031-08143-9\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AguzziCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CasadeiMPVZ22,
author = {Roberto Casadei and
Stefano Mariani and
Danilo Pianini and
Mirko Viroli and
Franco Zambonelli},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {Space-Fluid Adaptive Sampling: {A} Field-Based, Self-organising Approach},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {99--117},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_7},
doi = {10.1007/978-3-031-08143-9\_7},
timestamp = {Tue, 27 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/CasadeiMPVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/CasadeiPAATODV22,
author = {Roberto Casadei and
Danilo Pianini and
Gianluca Aguzzi and
Giorgio Audrito and
Gianluca Torta and
Marco Ottina and
Ferruccio Damiani and
Mirko Viroli},
title = {Towards Automated Engineering for Collective Adaptive Systems: Vision
and Research Directions},
booktitle = {{IEEE} Intl. Conf. on Dependable, Autonomic and Secure Computing,
Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
and Big Data Computing, Intl Conf on Cyber Science and Technology
Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September
12-15, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927839},
doi = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927839},
timestamp = {Mon, 02 Jan 2023 14:34:28 +0100},
biburl = {https://dblp.org/rec/conf/dasc/CasadeiPAATODV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AudritoCDSV22,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Guido Salvaneschi and
Mirko Viroli},
editor = {Karim Ali and
Jan Vitek},
title = {Functional Programming for Distributed Systems with {XC}},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {20:1--20:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.20},
doi = {10.4230/LIPICS.ECOOP.2022.20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AudritoCDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AguzziCV22,
author = {Gianluca Aguzzi and
Roberto Casadei and
Mirko Viroli},
title = {Machine Learning for Aggregate Computing: a Research Roadmap},
booktitle = {42nd {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} Workshops, Bologna, Italy, July 10, 2022},
pages = {119--124},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICDCSW56584.2022.00032},
doi = {10.1109/ICDCSW56584.2022.00032},
timestamp = {Wed, 07 Dec 2022 23:06:24 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AguzziCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/AguzziCPV22,
author = {Gianluca Aguzzi and
Roberto Casadei and
Danilo Pianini and
Mirko Viroli},
title = {Dynamic decentralization domains for the Internet of Things - Simulation
Repository},
publisher = {{IEEE} DataPort},
year = {2022},
month = apr,
howpublished = {\url{https://doi.org/10.21227/qgbp-w789}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/qgbp-w789},
doi = {10.21227/QGBP-W789},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/AguzziCPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-17505,
author = {Roberto Casadei and
Stefano Mariani and
Danilo Pianini and
Mirko Viroli and
Franco Zambonelli},
title = {Space-fluid Adaptive Sampling by Self-Organisation},
journal = {CoRR},
volume = {abs/2210.17505},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.17505},
doi = {10.48550/ARXIV.2210.17505},
eprinttype = {arXiv},
eprint = {2210.17505},
timestamp = {Thu, 03 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-17505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/AudritoCDPV21,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Danilo Pianini and
Mirko Viroli},
title = {Optimal resilient distributed data collection in mobile edge environments},
journal = {Comput. Electr. Eng.},
volume = {96},
number = {Part},
pages = {107580},
year = {2021},
url = {https://doi.org/10.1016/j.compeleceng.2021.107580},
doi = {10.1016/J.COMPELECENG.2021.107580},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/AudritoCDPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/CasadeiVAPD21,
author = {Roberto Casadei and
Mirko Viroli and
Giorgio Audrito and
Danilo Pianini and
Ferruccio Damiani},
title = {Engineering collective intelligence at the edge with aggregate processes},
journal = {Eng. Appl. Artif. Intell.},
volume = {97},
pages = {104081},
year = {2021},
url = {https://doi.org/10.1016/j.engappai.2020.104081},
doi = {10.1016/J.ENGAPPAI.2020.104081},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/CasadeiVAPD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/PianiniCVN21,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli and
Antonio Natali},
title = {Partitioned integration and coordination via the self-organising coordination
regions pattern},
journal = {Future Gener. Comput. Syst.},
volume = {114},
pages = {44--68},
year = {2021},
url = {https://doi.org/10.1016/j.future.2020.07.032},
doi = {10.1016/J.FUTURE.2020.07.032},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/PianiniCVN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsan/CasadeiAV21,
author = {Roberto Casadei and
Gianluca Aguzzi and
Mirko Viroli},
title = {A Programming Approach to Collective Autonomy},
journal = {J. Sens. Actuator Networks},
volume = {10},
number = {2},
pages = {27},
year = {2021},
url = {https://doi.org/10.3390/jsan10020027},
doi = {10.3390/JSAN10020027},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsan/CasadeiAV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AudritoCDSV21,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Volker Stolz and
Mirko Viroli},
title = {Adaptive distributed monitors of spatial properties for cyber-physical
systems},
journal = {J. Syst. Softw.},
volume = {175},
pages = {110908},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.110908},
doi = {10.1016/J.JSS.2021.110908},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AudritoCDSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PianiniCVMZ21,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli and
Stefano Mariani and
Franco Zambonelli},
title = {Time-Fluid Field-Based Coordination through Programmable Distributed
Schedulers},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:13)2021},
doi = {10.46298/LMCS-17(4:13)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PianiniCVMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AudritoPDV21,
author = {Giorgio Audrito and
Danilo Pianini and
Ferruccio Damiani and
Mirko Viroli},
title = {Aggregate centrality measures for IoT-based coordination},
journal = {Sci. Comput. Program.},
volume = {203},
pages = {102584},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102584},
doi = {10.1016/J.SCICO.2020.102584},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AudritoPDV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/AguzziCPSV21,
author = {Gianluca Aguzzi and
Roberto Casadei and
Danilo Pianini and
Guido Salvaneschi and
Mirko Viroli},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Towards Pulverised Architectures for Collective Adaptive Systems through
Multi-Tier Programming},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {99--104},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00033},
doi = {10.1109/ACSOS-C52956.2021.00033},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/AguzziCPSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/CasadeiPVW21,
author = {Roberto Casadei and
Andrea Placuzzi and
Mirko Viroli and
Danny Weyns},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Augmented Collective Digital Twins for Self-Organising Cyber-Physical
Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {160--165},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00051},
doi = {10.1109/ACSOS-C52956.2021.00051},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/CasadeiPVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CasadeiVRA21,
author = {Roberto Casadei and
Mirko Viroli and
Alessandro Ricci and
Giorgio Audrito},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Tuple-Based Coordination in Large-Scale Situated Systems},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {149--167},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_10},
doi = {10.1007/978-3-030-78142-2\_10},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CasadeiVRA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AguzziCMPV21,
author = {Gianluca Aguzzi and
Roberto Casadei and
Niccol{\`{o}} Maltoni and
Danilo Pianini and
Mirko Viroli},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {ScaFi-Web: {A} Web-Based Application for Field-Based Coordination
Programming},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {285--299},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_18},
doi = {10.1007/978-3-030-78142-2\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AguzziCMPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/CasadeiPPVW20,
author = {Roberto Casadei and
Danilo Pianini and
Andrea Placuzzi and
Mirko Viroli and
Danny Weyns},
title = {Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing
Logic Separated from Deployment},
journal = {Future Internet},
volume = {12},
number = {11},
pages = {203},
year = {2020},
url = {https://doi.org/10.3390/fi12110203},
doi = {10.3390/FI12110203},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/CasadeiPPVW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AudritoBDPV20,
author = {Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini and
Mirko Viroli},
title = {Field-based Coordination with the Share Operator},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6816},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AudritoBDPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tasm/BucchiaroneDPCS20,
author = {Antonio Bucchiarone and
Mirko D'Angelo and
Danilo Pianini and
Giacomo Cabri and
Martina {De Sanctis} and
Mirko Viroli and
Roberto Casadei and
Simon Dobson},
title = {On the Social Implications of Collective Adaptive Systems},
journal = {{IEEE} Technol. Soc. Mag.},
volume = {39},
number = {3},
pages = {36--46},
year = {2020},
url = {https://doi.org/10.1109/MTS.2020.3012324},
doi = {10.1109/MTS.2020.3012324},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tasm/BucchiaroneDPCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/CasadeiVR20,
author = {Roberto Casadei and
Mirko Viroli and
Alessandro Ricci},
title = {Collective Adaptive Systems as Coordination Media: The Case of Tuples
in Space-Time},
booktitle = {2020 {IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Companion Volume, Washington, DC, USA, August
17-21, 2020},
pages = {139--144},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS-C51401.2020.00045},
doi = {10.1109/ACSOS-C51401.2020.00045},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/CasadeiVR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Pianini0VZ20,
author = {Danilo Pianini and
Stefano Mariani and
Mirko Viroli and
Franco Zambonelli},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Time-Fluid Field-Based Coordination},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {193--210},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_13},
doi = {10.1007/978-3-030-50029-0\_13},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Pianini0VZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AudritoBDV20,
author = {Giorgio Audrito and
Sergio Bergamini and
Ferruccio Damiani and
Mirko Viroli},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Resilient Distributed Collection Through Information Speed Thresholds},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {211--229},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_14},
doi = {10.1007/978-3-030-50029-0\_14},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AudritoBDV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CasadeiVAD20,
author = {Roberto Casadei and
Mirko Viroli and
Giorgio Audrito and
Ferruccio Damiani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {FScaFi : {A} Core Calculus for Collective Adaptive Systems Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {344--360},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_21},
doi = {10.1007/978-3-030-61470-6\_21},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CasadeiVAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-08626,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Mirko Viroli},
title = {Computation Against a Neighbour},
journal = {CoRR},
volume = {abs/2012.08626},
year = {2020},
url = {https://arxiv.org/abs/2012.08626},
eprinttype = {arXiv},
eprint = {2012.08626},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-08626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13806,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli and
Stefano Mariani and
Franco Zambonelli},
title = {Time-Fluid Field-Based Coordination through Programmable Distributed
Schedulers},
journal = {CoRR},
volume = {abs/2012.13806},
year = {2020},
url = {https://arxiv.org/abs/2012.13806},
eprinttype = {arXiv},
eprint = {2012.13806},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CasadeiFPRSV19,
author = {Roberto Casadei and
Giancarlo Fortino and
Danilo Pianini and
Wilma Russo and
Claudio Savaglio and
Mirko Viroli},
title = {Modelling and simulation of Opportunistic IoT Services with Aggregate
Computing},
journal = {Future Gener. Comput. Syst.},
volume = {91},
pages = {252--262},
year = {2019},
url = {https://doi.org/10.1016/j.future.2018.09.005},
doi = {10.1016/J.FUTURE.2018.09.005},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/CasadeiFPRSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CasadeiFPRSV19,
author = {Roberto Casadei and
Giancarlo Fortino and
Danilo Pianini and
Wilma Russo and
Claudio Savaglio and
Mirko Viroli},
title = {A development approach for collective opportunistic Edge-of-Things
services},
journal = {Inf. Sci.},
volume = {498},
pages = {154--169},
year = {2019},
url = {https://doi.org/10.1016/j.ins.2019.05.058},
doi = {10.1016/J.INS.2019.05.058},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/CasadeiFPRSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/ViroliBDACP19,
author = {Mirko Viroli and
Jacob Beal and
Ferruccio Damiani and
Giorgio Audrito and
Roberto Casadei and
Danilo Pianini},
title = {From distributed coordination to field calculus and aggregate computing},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100486},
doi = {10.1016/J.JLAMP.2019.100486},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/ViroliBDACP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AudritoVDPB19,
author = {Giorgio Audrito and
Mirko Viroli and
Ferruccio Damiani and
Danilo Pianini and
Jacob Beal},
title = {A Higher-Order Calculus of Computational Fields},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {5:1--5:55},
year = {2019},
url = {https://doi.org/10.1145/3285956},
doi = {10.1145/3285956},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AudritoVDPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/CasadeiTVD19,
author = {Roberto Casadei and
Christos Tsigkanos and
Mirko Viroli and
Schahram Dustdar},
editor = {Elisa Bertino and
Carl K. Chang and
Peter Chen and
Ernesto Damiani and
Michael Goul and
Katsunori Oyama},
title = {Engineering Resilient Collaborative Edge-Enabled IoT},
booktitle = {2019 {IEEE} International Conference on Services Computing, {SCC}
2019, Milan, Italy, July 8-13, 2019},
pages = {36--45},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SCC.2019.00019},
doi = {10.1109/SCC.2019.00019},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/CasadeiTVD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001CFFP0RSVZ19,
author = {Stefano Mariani and
Roberto Casadei and
Fabrizio Fornari and
Giancarlo Fortino and
Danilo Pianini and
Barbara Re and
Wilma Russo and
Claudio Savaglio and
Mirko Viroli and
Franco Zambonelli},
editor = {Claudio Savaglio and
Giancarlo Fortino and
Giovanni Ciatto and
Andrea Omicini},
title = {Case Studies for a New IoT Programming Paradigm: Fluidware},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Internet
of Things co-located with the 18th International Conference of the
Italian Association for Artificial Intelligence (AI*IA 2019), Rende
(CS), Italy, November 22, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2502},
pages = {82--96},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2502/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/0001CFFP0RSVZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AudritoBDV19,
author = {Giorgio Audrito and
Sergio Bergamini and
Ferruccio Damiani and
Mirko Viroli},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
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, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1618--1626},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331882},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/AudritoBDV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Fortino0VZ19,
author = {Giancarlo Fortino and
Barbara Re and
Mirko Viroli and
Franco Zambonelli},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Fluidware: An Approach Towards Adaptive and Scalable Programming of
the IoT},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {411--427},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_22},
doi = {10.1007/978-3-030-21485-2\_22},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Fortino0VZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AudritoBDPV19,
author = {Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini and
Mirko Viroli},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {The share Operator for Field-Based Coordination},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {54--71},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_4},
doi = {10.1007/978-3-030-22397-7\_4},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AudritoBDPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CasadeiPVN19,
author = {Roberto Casadei and
Danilo Pianini and
Mirko Viroli and
Antonio Natali},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {182--199},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
doi = {10.1007/978-3-030-22397-7\_11},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/CasadeiPVN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CasadeiVAPD19,
author = {Roberto Casadei and
Mirko Viroli and
Giorgio Audrito and
Danilo Pianini and
Ferruccio Damiani},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Aggregate Processes in Field Calculus},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {200--217},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_12},
doi = {10.1007/978-3-030-22397-7\_12},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CasadeiVAPD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/AliDDSVW19,
author = {Shaukat Ali and
Ferruccio Damiani and
Schahram Dustdar and
Marialuisa Sanseverino and
Mirko Viroli and
Danny Weyns},
editor = {Laurence Duchien and
Anne Koziolek and
Raffaela Mirandola and
Elena Maria Navarro Mart{\'{\i}}nez and
Cl{\'{e}}ment Quinton and
Riccardo Scandariato and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns},
title = {Big data from the cloud to the edge: the aggregate computing solution},
booktitle = {Proceedings of the 13th European Conference on Software Architecture,
{ECSA} 2019, Paris, France, September 9-13, 2019, Companion Proceedings
(Proceedings Volume 2),},
pages = {177--180},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3344948.3344988},
doi = {10.1145/3344948.3344988},
timestamp = {Fri, 24 Sep 2021 20:16:30 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/AliDDSVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/CasadeiV19,
author = {Roberto Casadei and
Mirko Viroli},
title = {Coordinating Computation at the Edge: a Decentralized, Self-Organizing,
Spatial Approach},
booktitle = {Fourth International Conference on Fog and Mobile Edge Computing,
{FMEC} 2019, Rome, Italy, June 10-13, 2019},
pages = {60--67},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FMEC.2019.8795355},
doi = {10.1109/FMEC.2019.8795355},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmec/CasadeiV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AudritoVDPB19,
author = {Giorgio Audrito and
Mirko Viroli and
Ferruccio Damiani and
Danilo Pianini and
Jacob Beal},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {On a Higher-Order Calculus of Computational Fields},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {289--292},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_17},
doi = {10.1007/978-3-030-21759-4\_17},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/AudritoVDPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/ZambonelliVFR19,
author = {Franco Zambonelli and
Mirko Viroli and
Giancarlo Fortino and
Barbara Re},
title = {Towards Adaptive Flow Programming for the IoT: The Fluidware Approach},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
pages = {549--554},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730736},
doi = {10.1109/PERCOMW.2019.8730736},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/percom/ZambonelliVFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FAS-W.2019.00034},
doi = {10.1109/FAS-W.2019.00034},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PianiniCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FAS-W.2019.00035},
doi = {10.1109/FAS-W.2019.00035},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/CasadeiPSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02874,
author = {Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini and
Mirko Viroli},
title = {Field-based Coordination with the Share Operator},
journal = {CoRR},
volume = {abs/1910.02874},
year = {2019},
url = {http://arxiv.org/abs/1910.02874},
eprinttype = {arXiv},
eprint = {1910.02874},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/RicciVOMCP18,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini and
Stefano Mariani and
Angelo Croatti and
Danilo Pianini},
title = {Spatial Tuples: Augmenting reality with tuples},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {35},
number = {5},
year = {2018},
url = {https://doi.org/10.1111/exsy.12273},
doi = {10.1111/EXSY.12273},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/RicciVOMCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AudritoDV18,
author = {Giorgio Audrito and
Ferruccio Damiani and
Mirko Viroli},
title = {Optimal single-path information propagation in gradient-based algorithms},
journal = {Sci. Comput. Program.},
volume = {166},
pages = {146--166},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.06.002},
doi = {10.1016/J.SCICO.2018.06.002},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AudritoDV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CasadeiAV18,
author = {Roberto Casadei and
Alessandro Aldini and
Mirko Viroli},
title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
journal = {Sci. Comput. Program.},
volume = {167},
pages = {114--137},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.07.006},
doi = {10.1016/J.SCICO.2018.07.006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CasadeiAV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ViroliABDP18,
author = {Mirko Viroli and
Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {16:1--16:28},
year = {2018},
url = {https://doi.org/10.1145/3177774},
doi = {10.1145/3177774},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/ViroliABDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AudritoBDV18,
author = {Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Mirko Viroli},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Space-Time Universality of Field Calculus},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {1--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_1},
doi = {10.1007/978-3-319-92408-3\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AudritoBDV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ViroliBDACP18,
author = {Mirko Viroli and
Jacob Beal and
Ferruccio Damiani and
Giorgio Audrito and
Roberto Casadei and
Danilo Pianini},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {From Field-Based Coordination to Aggregate Computing},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {252--279},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_12},
doi = {10.1007/978-3-319-92408-3\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/ViroliBDACP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodtechs/PianiniCC0VO18,
author = {Danilo Pianini and
Giovanni Ciatto and
Roberto Casadei and
Stefano Mariani and
Mirko Viroli and
Andrea Omicini},
editor = {Marco Furini and
Silvia Mirri and
Kevin Bouchard and
Barbara Guidi},
title = {Transparent Protection of Aggregate Computations from Byzantine Behaviours
via Blockchain},
booktitle = {Proceedings of the 4th {EAI} International Conference on Smart Objects
and Technologies for Social Good, {GOODTECHS} 2018, Bologna, Italy,
November 28-30, 2018},
pages = {271--276},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3284869.3284870},
doi = {10.1145/3284869.3284870},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodtechs/PianiniCC0VO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AudritoDVB18,
author = {Giorgio Audrito and
Ferruccio Damiani and
Mirko Viroli and
Enrico Bini},
title = {Distributed Real-Time Shortest-Paths Computations with the Field Calculus},
booktitle = {2018 {IEEE} Real-Time Systems Symposium, {RTSS} 2018, Nashville, TN,
USA, December 11-14, 2018},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTSS.2018.00013},
doi = {10.1109/RTSS.2018.00013},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AudritoDVB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CasadeiV18,
author = {Roberto Casadei and
Mirko Viroli},
title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive
IoT},
booktitle = {2018 {IEEE} 3rd International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Trento, Italy, September 3-7, 2018},
pages = {106--111},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FAS-W.2018.00033},
doi = {10.1109/FAS-W.2018.00033},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/saso/CasadeiV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/FortinoRSVZ18,
author = {Giancarlo Fortino and
Wilma Russo and
Claudio Savaglio and
Mirko Viroli and
MengChu Zhou},
title = {Opportunistic cyberphysical services: {A} novel paradigm for the future
Internet of Things},
booktitle = {4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore,
February 5-8, 2018},
pages = {488--492},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WF-IoT.2018.8355174},
doi = {10.1109/WF-IOT.2018.8355174},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/FortinoRSVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10743,
author = {Giorgio Audrito and
Ferruccio Damiani and
Volker Stolz and
Mirko Viroli},
editor = {Davide Ancona and
Gordon Pace},
title = {On Distributed Runtime Verification by Aggregate Computing},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {47--61},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.4},
doi = {10.4204/EPTCS.302.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CasadeiV18,
author = {Roberto Casadei and
Mirko Viroli},
editor = {Alessandro Ricci and
Philipp Haller},
title = {Programming Actor-Based Collective Adaptive Systems},
booktitle = {Programming with Actors - State-of-the-Art and Research Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10789},
pages = {94--122},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00302-9\_4},
doi = {10.1007/978-3-030-00302-9\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/CasadeiV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/ViroliPRC17,
author = {Mirko Viroli and
Danilo Pianini and
Alessandro Ricci and
Angelo Croatti},
title = {Aggregate plans for multiagent systems},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {5},
number = {4},
pages = {336--365},
year = {2017},
url = {https://doi.org/10.1504/IJAOSE.2017.10008554},
doi = {10.1504/IJAOSE.2017.10008554},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/ViroliPRC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdst/CroattiRV17,
author = {Angelo Croatti and
Alessandro Ricci and
Mirko Viroli},
title = {Towards a Mobile Augmented Reality System for Emergency Management:
The Case of {SAFE}},
journal = {Int. J. Distributed Syst. Technol.},
volume = {8},
number = {1},
pages = {46--58},
year = {2017},
url = {https://doi.org/10.4018/IJDST.2017010104},
doi = {10.4018/IJDST.2017010104},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdst/CroattiRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/BealVPD17,
author = {Jacob Beal and
Mirko Viroli and
Danilo Pianini and
Ferruccio Damiani},
title = {Self-Adaptation to Device Distribution in the Internet of Things},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {12},
number = {3},
pages = {12:1--12:29},
year = {2017},
url = {https://doi.org/10.1145/3105758},
doi = {10.1145/3105758},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/BealVPD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AudritoDV17,
author = {Giorgio Audrito and
Ferruccio Damiani and
Mirko Viroli},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
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},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {59--77},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_4},
doi = {10.1007/978-3-319-59746-1\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AudritoDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PianiniDV17,
author = {Danilo Pianini and
Simon Dobson and
Mirko Viroli},
title = {Self-Stabilising Target Counting in Wireless Sensor Networks Using
Euler Integration},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SASO.2017.10},
doi = {10.1109/SASO.2017.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PianiniDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/FranciaPBV17,
author = {Matteo Francia and
Danilo Pianini and
Jacob Beal and
Mirko Viroli},
title = {Towards a Foundational {API} for Resilient Distributed Systems Design},
booktitle = {2nd {IEEE} International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September
18-22, 2017},
pages = {27--32},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.116},
doi = {10.1109/FAS-W.2017.116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/FranciaPBV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AudritoCDV17,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Mirko Viroli},
title = {Compositional Blocks for Optimal Self-Healing Gradients},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/SASO.2017.18},
doi = {10.1109/SASO.2017.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AudritoCDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PianiniBV17,
author = {Danilo Pianini and
Jacob Beal and
Mirko Viroli},
title = {Practical Aggregate Programming with Protelis},
booktitle = {2nd {IEEE} International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September
18-22, 2017},
pages = {391--392},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
doi = {10.1109/FAS-W.2017.186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PianiniBV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasadeiAV17,
author = {Roberto Casadei and
Alessandro Aldini and
Mirko Viroli},
editor = {Antonio Cerone and
Marco Roveri},
title = {Combining Trust and Aggregate Computing},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {507--522},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_34},
doi = {10.1007/978-3-319-74781-1\_34},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CasadeiAV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/FortinoRSVZ17,
author = {Giancarlo Fortino and
Wilma Russo and
Claudio Savaglio and
Mirko Viroli and
MengChu Zhou},
editor = {Pasquale De Meo and
Maria Nadia Postorino and
Domenico Rosaci and
Giuseppe M. L. Sarn{\'{e}}},
title = {Modeling Opportunistic IoT Services in Open IoT Ecosystems},
booktitle = {Proceedings of the 18th Workshop "From Objects to Agents", Scilla
(RC), Italy, June 15-16, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1867},
pages = {90--95},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1867/w16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/FortinoRSVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-01788,
author = {Giorgio Audrito and
Ferruccio Damiani and
Mirko Viroli},
editor = {Danilo Pianini and
Guido Salvaneschi},
title = {Aggregate Graph Statistics},
booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms
for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
series = {{EPTCS}},
volume = {264},
pages = {18--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.264.2},
doi = {10.4204/EPTCS.264.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08297,
author = {Mirko Viroli and
Giorgio Audrito and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
journal = {CoRR},
volume = {abs/1711.08297},
year = {2017},
url = {http://arxiv.org/abs/1711.08297},
eprinttype = {arXiv},
eprint = {1711.08297},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/DulmanGSV16,
author = {Stefan Dulman and
Jean{-}Louis Giavitto and
Antoine Spicher and
Mirko Viroli},
title = {Spatial computing: introduction to the special issue},
journal = {Knowl. Eng. Rev.},
volume = {31},
number = {4},
pages = {323--324},
year = {2016},
url = {https://doi.org/10.1017/S0269888916000205},
doi = {10.1017/S0269888916000205},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/DulmanGSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/DobsonVFZSSMPYC16,
author = {Simon A. Dobson and
Mirko Viroli and
Jose Luis Fernandez{-}Marquez and
Franco Zambonelli and
Graeme Stevenson and
Giovanna Di Marzo Serugendo and
Sara Montagna and
Danilo Pianini and
Juan Ye and
Gabriella Castelli and
Alberto Rosi},
title = {Spatial awareness in pervasive ecosystems},
journal = {Knowl. Eng. Rev.},
volume = {31},
number = {4},
pages = {343--366},
year = {2016},
url = {https://doi.org/10.1017/S0269888916000199},
doi = {10.1017/S0269888916000199},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/DobsonVFZSSMPYC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DamianiVB16,
author = {Ferruccio Damiani and
Mirko Viroli and
Jacob Beal},
title = {A type-sound calculus of computational fields},
journal = {Sci. Comput. Program.},
volume = {117},
pages = {17--44},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.11.005},
doi = {10.1016/J.SCICO.2015.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DamianiVB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/ViroliDK16,
author = {Mirko Viroli and
Ada Diaconescu and
Nagarajan Kandasamy},
title = {{SASO} 2014: Selected, Revised, and Extended Best Papers},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {11},
number = {2},
pages = {5:1--5:2},
year = {2016},
url = {https://doi.org/10.1145/2939206},
doi = {10.1145/2939206},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/ViroliDK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PianiniBV16,
author = {Danilo Pianini and
Jacob Beal and
Mirko Viroli},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
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},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {192--207},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_12},
doi = {10.1007/978-3-319-39519-7\_12},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PianiniBV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CasadeiV16,
author = {Roberto Casadei and
Mirko Viroli},
title = {Towards Aggregate Programming in Scala},
booktitle = {First Workshop on Programming Models and Languages for Distributed
Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016},
pages = {5},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2957319.2957372},
doi = {10.1145/2957319.2957372},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CasadeiV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/ViroliCP16,
author = {Mirko Viroli and
Roberto Casadei and
Danilo Pianini},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science and
Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September
11-14, 2016},
series = {Annals of Computer Science and Information Systems},
volume = {8},
pages = {1495--1504},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.15439/2016F407},
doi = {10.15439/2016F407},
timestamp = {Tue, 23 Apr 2024 09:56:26 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/ViroliCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/ViroliCP16,
author = {Mirko Viroli and
Roberto Casadei and
Danilo Pianini},
editor = {Paul Lukowicz and
Antonio Kr{\"{u}}ger and
Andreas Bulling and
Youn{-}Kyung Lim and
Shwetak N. Patel},
title = {On execution platforms for large-scale aggregate computing},
booktitle = {Proceedings of the 2016 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing and Proceedings of the 2016 {ACM} International
Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2016, Heidelberg,
Germany, September 12-16, 2016},
pages = {1321--1326},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2968219.2979129},
doi = {10.1145/2968219.2979129},
timestamp = {Tue, 26 Mar 2024 12:15:04 +0100},
biburl = {https://dblp.org/rec/conf/huc/ViroliCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/RicciVOMCP16,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini and
Stefano Mariani and
Angelo Croatti and
Danilo Pianini},
editor = {Costin Badica and
Amal El Fallah Seghrouchni and
Aur{\'{e}}lie Beynier and
David Camacho and
C{\'{e}}dric Herpson and
Koen V. Hindriks and
Paulo Novais},
title = {Spatial Tuples: Augmenting Physical Reality with Tuple Spaces},
booktitle = {Intelligent Distributed Computing {X} - Proceedings of the 10th International
Symposium on Intelligent Distributed Computing - {IDC} 2016, Paris,
France, October 10-12 2016},
series = {Studies in Computational Intelligence},
volume = {678},
pages = {121--130},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48829-5\_12},
doi = {10.1007/978-3-319-48829-5\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/RicciVOMCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BealVPD16,
author = {Jacob Beal and
Mirko Viroli and
Danilo Pianini and
Ferruccio Damiani},
editor = {Giacomo Cabri and
Gauthier Picard and
Niranjan Suri},
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},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SASO.2016.12},
doi = {10.1109/SASO.2016.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BealVPD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ViroliBPB16,
author = {Mirko Viroli and
Antonio Bucchiarone and
Danilo Pianini and
Jacob Beal},
editor = {Sameh Elnikety and
Peter R. Lewis and
Christian M{\"{u}}ller{-}Schloer},
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},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.49},
doi = {10.1109/FAS-W.2016.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ViroliBPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AudritoDVC16,
author = {Giorgio Audrito and
Ferruccio Damiani and
Mirko Viroli and
Roberto Casadei},
editor = {Sameh Elnikety and
Peter R. Lewis and
Christian M{\"{u}}ller{-}Schloer},
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},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.50},
doi = {10.1109/FAS-W.2016.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AudritoDVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BealV16,
author = {Jacob Beal and
Mirko Viroli},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
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},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {233--260},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_8},
doi = {10.1007/978-3-319-34096-8\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BealV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ViroliB16,
author = {Mirko Viroli and
Jacob Beal},
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {Resiliency with Aggregate Computing: State of the Art and Roadmap},
booktitle = {Proceedings of the Workshop on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
Austria, 8 July 2016},
series = {{EPTCS}},
volume = {217},
pages = {5--18},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217.3},
doi = {10.4204/EPTCS.217.3},
timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/ViroliB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ViroliADPB16,
author = {Mirko Viroli and
Giorgio Audrito and
Ferruccio Damiani and
Danilo Pianini and
Jacob Beal},
title = {A Higher-order Calculus of Computational Fields},
journal = {CoRR},
volume = {abs/1610.08116},
year = {2016},
url = {http://arxiv.org/abs/1610.08116},
eprinttype = {arXiv},
eprint = {1610.08116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ViroliADPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BealPV15,
author = {Jacob Beal and
Danilo Pianini and
Mirko Viroli},
title = {Aggregate Programming for the Internet of Things},
journal = {Computer},
volume = {48},
number = {9},
pages = {22--30},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.261},
doi = {10.1109/MC.2015.261},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BealPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DamianiV15,
author = {Ferruccio Damiani and
Mirko Viroli},
title = {Type-based Self-stabilisation for Computational Fields},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:21)2015},
doi = {10.2168/LMCS-11(4:21)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DamianiV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/ZambonelliOACAS15,
author = {Franco Zambonelli and
Andrea Omicini and
Bernhard Anzengruber and
Gabriella Castelli and
Francesco L. De Angelis and
Giovanna Di Marzo Serugendo and
Simon A. Dobson and
Jose Luis Fernandez{-}Marquez and
Alois Ferscha and
Marco Mamei and
Stefano Mariani and
Ambra Molesini and
Sara Montagna and
Jussi Nieminen and
Danilo Pianini and
Matteo Risoldi and
Alberto Rosi and
Graeme Stevenson and
Mirko Viroli and
Juan Ye},
title = {Developing pervasive multi-agent systems with nature-inspired coordination},
journal = {Pervasive Mob. Comput.},
volume = {17},
pages = {236--252},
year = {2015},
url = {https://doi.org/10.1016/j.pmcj.2014.12.002},
doi = {10.1016/J.PMCJ.2014.12.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/ZambonelliOACAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ViroliPMSZ15,
author = {Mirko Viroli and
Danilo Pianini and
Sara Montagna and
Graeme Stevenson and
Franco Zambonelli},
title = {A coordination model of pervasive service ecosystems},
journal = {Sci. Comput. Program.},
volume = {110},
pages = {3--22},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.06.003},
doi = {10.1016/J.SCICO.2015.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ViroliPMSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigspatial/BealV15,
author = {Jacob Beal and
Mirko Viroli},
title = {Formal foundations of sensor network applications},
journal = {{ACM} {SIGSPATIAL} Special},
volume = {7},
number = {2},
pages = {36--42},
year = {2015},
url = {https://doi.org/10.1145/2826686.2826693},
doi = {10.1145/2826686.2826693},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigspatial/BealV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/MontagnaVR15,
author = {Sara Montagna and
Mirko Viroli and
Andrea Roli},
title = {A framework supporting multi-compartment stochastic simulation and
parameter optimisation for investigating biological system development},
journal = {Simul.},
volume = {91},
number = {7},
pages = {666--685},
year = {2015},
url = {https://doi.org/10.1177/0037549715585569},
doi = {10.1177/0037549715585569},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/MontagnaVR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ViroliR15,
author = {Mirko Viroli and
Alessandro Ricci},
editor = {Matteo Baldoni and
Luciano Baresi and
Mehdi Dastani},
title = {Towards Agent Aggregates: Perspectives and Challenges},
booktitle = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {9318},
pages = {18--30},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26184-3\_2},
doi = {10.1007/978-3-319-26184-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ViroliR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RicciCBV15,
author = {Alessandro Ricci and
Angelo Croatti and
Pietro Brunetti and
Mirko Viroli},
editor = {Matteo Baldoni and
Luciano Baresi and
Mehdi Dastani},
title = {Programming Mirror Worlds: An Agent-Oriented Programming Perspective},
booktitle = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {9318},
pages = {191--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26184-3\_11},
doi = {10.1007/978-3-319-26184-3\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/RicciCBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/BrunettiCRV15,
author = {Pietro Brunetti and
Angelo Croatti and
Alessandro Ricci and
Mirko Viroli},
title = {Smart Augmented Fields for Emergency Operations},
booktitle = {The 6th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2015)/ The 5th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare {(ICTH-2015)/} Affiliated Workshops, September 27-30,
2015, Berlin, Germany},
series = {Procedia Computer Science},
volume = {63},
pages = {392--399},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.08.358},
doi = {10.1016/J.PROCS.2015.08.358},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euspn/BrunettiCRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DamianiVPB15,
author = {Ferruccio Damiani and
Mirko Viroli and
Danilo Pianini and
Jacob Beal},
editor = {Susanne Graf and
Mahesh Viswanathan},
title = {Code Mobility Meets Self-organisation: {A} Higher-Order Calculus of
Computational Fields},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
as Part of the 10th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9039},
pages = {113--128},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19195-9\_8},
doi = {10.1007/978-3-319-19195-9\_8},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DamianiVPB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/Viroli15,
author = {Mirko Viroli},
editor = {Kenji Mase and
Marc Langheinrich and
Daniel Gatica{-}Perez and
Hans Gellersen and
Tanzeem Choudhury and
Koji Yatani},
title = {Programming very-large scale systems of wearables},
booktitle = {Proceedings of the 2015 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing and Proceedings of the 2015 {ACM} International
Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka,
Japan, September 7-11, 2015},
pages = {887--888},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2800835.2809505},
doi = {10.1145/2800835.2809505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/Viroli15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ViroliPRBC15,
author = {Mirko Viroli and
Danilo Pianini and
Alessandro Ricci and
Pietro Brunetti and
Angelo Croatti},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Multi-agent Systems Meet Aggregate Programming: Towards a Notion of
Aggregate Plan},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {49--64},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_4},
doi = {10.1007/978-3-319-25524-8\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/ViroliPRBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PianiniVB15,
author = {Danilo Pianini and
Mirko Viroli and
Jacob Beal},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Protelis: practical aggregate programming},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1846--1853},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695913},
doi = {10.1145/2695664.2695913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PianiniVB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PianiniCRV15,
author = {Danilo Pianini and
Angelo Croatti and
Alessandro Ricci and
Mirko Viroli},
title = {Computational Fields Meet Augmented Reality: Perspectives and Challenges},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {80--85},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.18},
doi = {10.1109/SASOW.2015.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PianiniCRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ViroliBDP15,
author = {Mirko Viroli and
Jacob Beal and
Ferruccio Damiani and
Danilo Pianini},
title = {Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising
Fields},
booktitle = {2015 {IEEE} 9th International Conference on Self-Adaptive and Self-Organizing
Systems, Cambridge, MA, USA, September 21-25, 2015},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASO.2015.16},
doi = {10.1109/SASO.2015.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ViroliBDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2015,
editor = {Tom Holvoet and
Mirko Viroli},
title = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6},
doi = {10.1007/978-3-319-19282-6},
isbn = {978-3-319-19281-9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/Fernandez-MarquezVC14,
author = {Jose Luis Fernandez{-}Marquez and
Mirko Viroli and
Gabriella Castelli},
title = {Best {ACM} {SAC} Articles on Coordination and Self-Adaptation},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {9},
number = {2},
pages = {6:1--6:2},
year = {2014},
url = {https://doi.org/10.1145/2628613},
doi = {10.1145/2628613},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/Fernandez-MarquezVC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ViroliD14,
author = {Mirko Viroli and
Ferruccio Damiani},
editor = {Eva K{\"{u}}hn and
Rosario Pugliese},
title = {A Calculus of Self-stabilising Computational Fields},
booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2014, Held as Part of the 9th International
Federated Conferences on Distributed Computing Techniques, DisCoTec
2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {163--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43376-8\_11},
doi = {10.1007/978-3-662-43376-8\_11},
timestamp = {Tue, 15 Nov 2022 15:22:35 +0100},
biburl = {https://dblp.org/rec/conf/coordination/ViroliD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcs/PianiniVZF14,
author = {Danilo Pianini and
Mirko Viroli and
Franco Zambonelli and
Alois Ferscha},
title = {{HPC} from a self-organisation perspective: The case of crowd steering
at the urban scale},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2014, Bologna, Italy, 21-25 July, 2014},
pages = {460--467},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCSim.2014.6903721},
doi = {10.1109/HPCSIM.2014.6903721},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/hpcs/PianiniVZF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BealV14,
author = {Jacob Beal and
Mirko Viroli},
title = {Predictable Self-Organization with Computational Fields},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {3--4},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.9},
doi = {10.1109/SASOW.2014.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BealV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BealV14a,
author = {Jacob Beal and
Mirko Viroli},
title = {Building Blocks for Aggregate Programming of Self-Organising Applications},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {8--13},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.6},
doi = {10.1109/SASOW.2014.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BealV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jos/PianiniMV13,
author = {Danilo Pianini and
Sara Montagna and
Mirko Viroli},
title = {Chemical-oriented simulation of computational systems with {ALCHEMIST}},
journal = {J. Simulation},
volume = {7},
number = {3},
pages = {202--215},
year = {2013},
url = {https://doi.org/10.1057/jos.2012.27},
doi = {10.1057/JOS.2012.27},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jos/PianiniMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/MontagnaVFSZ13,
author = {Sara Montagna and
Mirko Viroli and
Jose Luis Fernandez{-}Marquez and
Giovanna Di Marzo Serugendo and
Franco Zambonelli},
title = {Injecting Self-Organisation into Pervasive Service Ecosystems},
journal = {Mob. Networks Appl.},
volume = {18},
number = {3},
pages = {398--412},
year = {2013},
url = {https://doi.org/10.1007/s11036-012-0411-1},
doi = {10.1007/S11036-012-0411-1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/monet/MontagnaVFSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Fernandez-MarquezSMVA13,
author = {Jose Luis Fernandez{-}Marquez and
Giovanna Di Marzo Serugendo and
Sara Montagna and
Mirko Viroli and
Josep Llu{\'{\i}}s Arcos},
title = {Description and composition of bio-inspired design patterns: a complete
overview},
journal = {Nat. Comput.},
volume = {12},
number = {1},
pages = {43--67},
year = {2013},
url = {https://doi.org/10.1007/s11047-012-9324-y},
doi = {10.1007/S11047-012-9324-Y},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/Fernandez-MarquezSMVA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Viroli13,
author = {Mirko Viroli},
title = {On competitive self-composition in pervasive services},
journal = {Sci. Comput. Program.},
volume = {78},
number = {5},
pages = {556--568},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.10.002},
doi = {10.1016/J.SCICO.2012.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Viroli13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NardiniOV13,
author = {Elena Nardini and
Andrea Omicini and
Mirko Viroli},
title = {Semantic tuple centres},
journal = {Sci. Comput. Program.},
volume = {78},
number = {5},
pages = {569--582},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.10.004},
doi = {10.1016/J.SCICO.2012.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NardiniOV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ViroliBU13,
author = {Mirko Viroli and
Jacob Beal and
Kyle Usbeck},
title = {Operational semantics of proto},
journal = {Sci. Comput. Program.},
volume = {78},
number = {6},
pages = {633--656},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.12.003},
doi = {10.1016/J.SCICO.2012.12.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ViroliBU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MolesiniCOV13,
author = {Ambra Molesini and
Matteo Casadei and
Andrea Omicini and
Mirko Viroli},
title = {Simulation in Agent-Oriented Software Engineering: The {SODA} case
study},
journal = {Sci. Comput. Program.},
volume = {78},
number = {6},
pages = {705--714},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.09.007},
doi = {10.1016/J.SCICO.2011.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MolesiniCOV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MolesiniOVZ13,
author = {Ambra Molesini and
Andrea Omicini and
Mirko Viroli and
Franco Zambonelli},
editor = {Massimo Cossentino and
Amal El Fallah Seghrouchni and
Michael Winikoff},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
booktitle = {Engineering Multi-Agent Systems - First International Workshop, {EMAS}
2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8245},
pages = {196--214},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45343-4\_11},
doi = {10.1007/978-3-642-45343-4\_11},
timestamp = {Wed, 12 Aug 2020 21:55:17 +0200},
biburl = {https://dblp.org/rec/conf/atal/MolesiniOVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/ViroliDB13,
author = {Mirko Viroli and
Ferruccio Damiani and
Jacob Beal},
editor = {Carlos Canal and
Massimo Villari},
title = {A Calculus of Computational Fields},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {114--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_11},
doi = {10.1007/978-3-642-45364-9\_11},
timestamp = {Sat, 16 Sep 2017 12:08:59 +0200},
biburl = {https://dblp.org/rec/conf/esocc/ViroliDB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/StevensonYDPMV13,
author = {Graeme Stevenson and
Juan Ye and
Simon Dobson and
Danilo Pianini and
Sara Montagna and
Mirko Viroli},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Combining self-organisation, context-awareness and semantic reasoning:
the case of resource discovery in opportunistic networks},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1369--1376},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480619},
doi = {10.1145/2480362.2480619},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/StevensonYDPMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DamianiGRV12,
author = {Ferruccio Damiani and
Paola Giannini and
Alessandro Ricci and
Mirko Viroli},
title = {Standard Type Soundness for Agents and Artifacts},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {267--326},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&\#38;a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DamianiGRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ViroliPB12,
author = {Mirko Viroli and
Danilo Pianini and
Jacob Beal},
editor = {Marjan Sirjani},
title = {Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc
Environments},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {212--229},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_15},
doi = {10.1007/978-3-642-30829-1\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ViroliPB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliPMS12,
author = {Mirko Viroli and
Danilo Pianini and
Sara Montagna and
Graeme Stevenson},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Pervasive ecosystems: a coordination model based on semantic chemistry},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {295--302},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2245336},
doi = {10.1145/2245276.2245336},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ViroliPMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MontagnaPV12,
author = {Sara Montagna and
Danilo Pianini and
Mirko Viroli},
editor = {Sascha Ossowski and
Paola Lecca},
title = {A model for drosophila melanogaster development from a single cell
to stripe pattern formation},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1406--1412},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231999},
doi = {10.1145/2245276.2231999},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MontagnaPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MenezesOV12,
author = {Ronaldo Menezes and
Andrea Omicini and
Mirko Viroli},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Dynamic composition of coordination abstractions for pervasive systems:
the case of \emph{LogOp}},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1557--1559},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232025},
doi = {10.1145/2245276.2232025},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MenezesOV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MontagnaPV12,
author = {Sara Montagna and
Danilo Pianini and
Mirko Viroli},
title = {Gradient-Based Self-Organisation Patterns of Anticipative Adaptation},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2012, Lyon, France, September 10-14, 2012},
pages = {169--174},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASO.2012.25},
doi = {10.1109/SASO.2012.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MontagnaPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/StevensonYDVM12,
author = {Graeme Stevenson and
Juan Ye and
Simon Dobson and
Mirko Viroli and
Sara Montagna},
title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2012, Lyon, France, September 10-14, 2012},
pages = {181--186},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASOW.2012.39},
doi = {10.1109/SASOW.2012.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/StevensonYDVM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CasadeiV12,
author = {Matteo Casadei and
Mirko Viroli},
title = {Toward Approximate Stochastic Model Checking of Computational Fields
for Pervasive Computing Systems},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2012, Lyon, France, September 10-14, 2012},
pages = {199--204},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASOW.2012.42},
doi = {10.1109/SASOW.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/CasadeiV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/StevensonFMRYTDSV12,
author = {Graeme Stevenson and
Jose Luis Fernandez{-}Marquez and
Sara Montagna and
Alberto Rosi and
Juan Ye and
Akla{-}Esso Tchao and
Simon Dobson and
Giovanna Di Marzo Serugendo and
Mirko Viroli},
title = {Towards Situated Awareness in Urban Networks: {A} Bio-Inspired Approach},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2012, Lyon, France, September 10-14, 2012},
pages = {223--228},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASOW.2012.46},
doi = {10.1109/SASOW.2012.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/StevensonFMRYTDSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CasadeiV12,
author = {Matteo Casadei and
Mirko Viroli},
editor = {Flavio De Paoli and
Giuseppe Vizzari},
title = {A Framework to Specify and Verify Computational Fields for Pervasive
Computing Systems},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents, Milano, Italy,
September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {892},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-892/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CasadeiV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MontagnaVPF12,
author = {Sara Montagna and
Mirko Viroli and
Danilo Pianini and
Jose Luis Fernandez{-}Marquez},
editor = {Flavio De Paoli and
Giuseppe Vizzari},
title = {Towards a Comprehensive Approach to Spontaneous self-composition in
Pervasive Ecosystems},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents, Milano, Italy,
September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {892},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-892/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/MontagnaVPF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MontagnaV12,
author = {Sara Montagna and
Mirko Viroli},
editor = {Ren{\'{e}} Doursat and
Hiroki Sayama and
Olivier Michel},
title = {A Computational Framework for Multilevel Morphologies},
booktitle = {Morphogenetic Engineering, Toward Programmable Complex Systems},
pages = {383--405},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33902-8\_15},
doi = {10.1007/978-3-642-33902-8\_15},
timestamp = {Tue, 16 May 2017 14:01:34 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MontagnaV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-5509,
author = {Jacob Beal and
Stefan Dulman and
Kyle Usbeck and
Mirko Viroli and
Nikolaus Correll},
title = {Organizing the Aggregate: Languages for Spatial Computing},
journal = {CoRR},
volume = {abs/1202.5509},
year = {2012},
url = {http://arxiv.org/abs/1202.5509},
eprinttype = {arXiv},
eprint = {1202.5509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-5509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/RicciPV11,
author = {Alessandro Ricci and
Michele Piunti and
Mirko Viroli},
title = {Environment programming in multi-agent systems: an artifact-based
perspective},
journal = {Auton. Agents Multi Agent Syst.},
volume = {23},
number = {2},
pages = {158--192},
year = {2011},
url = {https://doi.org/10.1007/s10458-010-9140-7},
doi = {10.1007/S10458-010-9140-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/RicciPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpcc/ZambonelliV11,
author = {Franco Zambonelli and
Mirko Viroli},
title = {A survey on nature-inspired metaphors for pervasive service ecosystems},
journal = {Int. J. Pervasive Comput. Commun.},
volume = {7},
number = {3},
pages = {186--204},
year = {2011},
url = {https://doi.org/10.1108/17427371111172997},
doi = {10.1108/17427371111172997},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpcc/ZambonelliV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/McBurneyPV11,
author = {Peter McBurney and
Simon Parsons and
Mirko Viroli},
title = {A quarter-century of \emph{The Knowledge Engineering Review}: Introduction
to the Special Issue},
journal = {Knowl. Eng. Rev.},
volume = {26},
number = {1},
pages = {1--3},
year = {2011},
url = {https://doi.org/10.1017/S0269888910000330},
doi = {10.1017/S0269888910000330},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/McBurneyPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/OmiciniV11,
author = {Andrea Omicini and
Mirko Viroli},
title = {Coordination models and languages: from parallel computing to self-organisation},
journal = {Knowl. Eng. Rev.},
volume = {26},
number = {1},
pages = {53--59},
year = {2011},
url = {https://doi.org/10.1017/S026988891000041X},
doi = {10.1017/S026988891000041X},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/OmiciniV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPV11,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.002},
doi = {10.1016/J.SCICO.2010.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RicciVP11,
author = {Alessandro Ricci and
Mirko Viroli and
Giulio Piancastelli},
title = {simpA: An agent-oriented approach for programming concurrent applications
on top of Java},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {37--62},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.012},
doi = {10.1016/J.SCICO.2010.06.012},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RicciVP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/ViroliCMZ11,
author = {Mirko Viroli and
Matteo Casadei and
Sara Montagna and
Franco Zambonelli},
title = {Spatial Coordination of Pervasive Services through Chemical-Inspired
Tuple Spaces},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {6},
number = {2},
pages = {14:1--14:24},
year = {2011},
url = {https://doi.org/10.1145/1968513.1968517},
doi = {10.1145/1968513.1968517},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/ViroliCMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/PianiniMV11,
author = {Danilo Pianini and
Sara Montagna and
Mirko Viroli},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {667--674},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078316/},
timestamp = {Mon, 09 Aug 2021 14:54:05 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/PianiniMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/Fernandez-Marquez11,
author = {Jose Luis Fernandez{-}Marquez and
Josep Llu{\'{\i}}s Arcos and
Giovanna Di Marzo Serugendo and
Mirko Viroli and
Sara Montagna},
editor = {Gianluigi Folino and
Carlo Mastroianni and
Sanaz Mostaghim and
Junichi Suzuki},
title = {Description and composition of bio-inspired design patterns: the gradient
case},
booktitle = {Proceedings of the 3rd Workshop on Biologically Inspired Algorithms
for Distributed Systems, {BADS} '11, Karlsruhe, Germany, June 14,
2011},
pages = {25--32},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998570.1998575},
doi = {10.1145/1998570.1998575},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/Fernandez-Marquez11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NardiniOV11,
author = {Elena Nardini and
Andrea Omicini and
Mirko Viroli},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Description spaces with fuzziness},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {869--876},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982375},
doi = {10.1145/1982185.1982375},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/NardiniOV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SbaragliaCV11,
author = {Marco Sbaraglia and
Matteo Casadei and
Mirko Viroli},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Programming coordination laws of artifacts in CArtAgO},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {885--886},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982378},
doi = {10.1145/1982185.1982378},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SbaragliaCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliBC11,
author = {Mirko Viroli and
Jacob Beal and
Matteo Casadei},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Core operational semantics of Proto},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1325--1332},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982472},
doi = {10.1145/1982185.1982472},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ViroliBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ViroliNCMZ11a,
author = {Mirko Viroli and
Elena Nardini and
Gabriella Castelli and
Marco Mamei and
Franco Zambonelli},
title = {A Coordination Approach to Adaptive Pervasive Service Ecosystems},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {114--119},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.19},
doi = {10.1109/SASOW.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ViroliNCMZ11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ViroliNCMZ11,
author = {Mirko Viroli and
Elena Nardini and
Gabriella Castelli and
Marco Mamei and
Franco Zambonelli},
title = {Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems},
booktitle = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011},
pages = {223--224},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASO.2011.42},
doi = {10.1109/SASO.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ViroliNCMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MontagnaVRPS11,
author = {Sara Montagna and
Mirko Viroli and
Matteo Risoldi and
Danilo Pianini and
Giovanna Di Marzo Serugendo},
editor = {Elena Troubitsyna},
title = {Self-organising Pervasive Ecosystems: {A} Crowd Evacuation Example},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_12},
doi = {10.1007/978-3-642-24124-6\_12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MontagnaVRPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ViroliNCMZ11,
author = {Mirko Viroli and
Elena Nardini and
Gabriella Castelli and
Marco Mamei and
Franco Zambonelli},
editor = {Giancarlo Fortino and
Alfredo Garro and
Luigi Palopoli and
Wilma Russo and
Giandomenico Spezzano},
title = {Coordinating Spatially-Situated Pervasive Service Ecosystems},
booktitle = {Proceedings of the 12th Workshop on Objects and Agents, Rende (CS),
Italy, Jul 4-6, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {741},
pages = {19--27},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-741/ID13\_ViroliNardiniCastelliMameiZambonelli.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/ViroliNCMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/PianiniVM11,
author = {Danilo Pianini and
Mirko Viroli and
Sara Montagna},
editor = {Giancarlo Fortino and
Alfredo Garro and
Luigi Palopoli and
Wilma Russo and
Giandomenico Spezzano},
title = {A Simulation Framework for Pervasive Services Ecosystems},
booktitle = {Proceedings of the 12th Workshop on Objects and Agents, Rende (CS),
Italy, Jul 4-6, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {741},
pages = {150--157},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-741/ID15\_PianiniViroliMontagna.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/PianiniVM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/ZambonelliCFMRSRTDSYNOMVFMW11,
author = {Franco Zambonelli and
Gabriella Castelli and
Laura Ferrari and
Marco Mamei and
Alberto Rosi and
Giovanna Di Marzo Serugendo and
Matteo Risoldi and
Akla{-}Esso Tchao and
Simon Dobson and
Graeme Stevenson and
Juan Ye and
Elena Nardini and
Andrea Omicini and
Sara Montagna and
Mirko Viroli and
Alois Ferscha and
Sascha Maschek and
Bernhard Wally},
editor = {Elisabeth Giacobino and
Rolf Pfeifer},
title = {Self-aware Pervasive Service Ecosystems},
booktitle = {Proceedings of the 2nd European Future Technologies Conference and
Exhibition, {FET} 2011, Budapest, Hungary, May 4-6, 2011},
series = {Procedia Computer Science},
volume = {7},
pages = {197--199},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.procs.2011.09.006},
doi = {10.1016/J.PROCS.2011.09.006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/procedia/ZambonelliCFMRSRTDSYNOMVFMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ncs/CasadeiMVVZ11,
author = {Matteo Casadei and
Marco Mamei and
Cynthia Villalba and
Mirko Viroli and
Franco Zambonelli},
editor = {Giovanna Di Marzo Serugendo and
Marie{-}Pierre Gleizes and
Anthony Karageorgos},
title = {Middleware Infrastructures for Self-organising Pervasive Computing
Systems},
booktitle = {Self-organising Software - From Natural to Artificial Adaptation},
series = {Natural Computing Series},
pages = {313--344},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17348-6\_13},
doi = {10.1007/978-3-642-17348-6\_13},
timestamp = {Wed, 07 Dec 2022 23:14:30 +0100},
biburl = {https://dblp.org/rec/series/ncs/CasadeiMVVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ViroliZ10,
author = {Mirko Viroli and
Franco Zambonelli},
title = {A biochemical approach to adaptive service ecosystems},
journal = {Inf. Sci.},
volume = {180},
number = {10},
pages = {1876--1892},
year = {2010},
url = {https://doi.org/10.1016/j.ins.2009.11.021},
doi = {10.1016/J.INS.2009.11.021},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/ViroliZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliC10,
author = {Mirko Viroli and
Matteo Casadei},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Chemical-inspired self-composition of competing services},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2029--2036},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774514},
doi = {10.1145/1774088.1774514},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ViroliC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NardiniVP10,
author = {Elena Nardini and
Mirko Viroli and
Emanuele Panzavolta},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Coordination in open and dynamic environments with TuCSoN semantic
tuple centres},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2037--2044},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774515},
doi = {10.1145/1774088.1774515},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/NardiniVP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PianiniVMOV10,
author = {Danilo Pianini and
Sascia Virruso and
Ronaldo Menezes and
Andrea Omicini and
Mirko Viroli},
title = {Self Organization in Coordination Systems Using a WordNet-Based Ontology},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27 September - 1 October
2010},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASO.2010.35},
doi = {10.1109/SASO.2010.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PianiniVMOV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ViroliCMZ10,
author = {Mirko Viroli and
Matteo Casadei and
Sara Montagna and
Franco Zambonelli},
title = {Spatial Coordination of Pervasive Systems through Chemical-Inspired
Tuple Spaces},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
Proceedings},
pages = {212--217},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASOW.2010.75},
doi = {10.1109/SASOW.2010.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ViroliCMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/NardiniVCO10,
author = {Elena Nardini and
Mirko Viroli and
Matteo Casadei and
Andrea Omicini},
editor = {Andrea Omicini and
Mirko Viroli},
title = {A Self-Organising Infrastructure for Chemical-Semantic Coordination:
Experiments in TuCSoN},
booktitle = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
Rimini, Italy, September 5-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {621},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-621/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/NardiniVCO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ZambonelliV10,
author = {Franco Zambonelli and
Mirko Viroli},
editor = {Andrea Omicini and
Mirko Viroli},
title = {From Service-Oriented Architectures to Nature-Inspired Pervasive Service
Ecosystems},
booktitle = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
Rimini, Italy, September 5-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {621},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-621/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/ZambonelliV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontagnaV10,
author = {Sara Montagna and
Mirko Viroli},
editor = {Jean Krivine and
Angelo Troina},
title = {A Framework for Modelling and Simulating Networks of Cells},
booktitle = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
pages = {115--129},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.009},
doi = {10.1016/J.ENTCS.2010.12.009},
timestamp = {Thu, 09 Mar 2023 16:02:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontagnaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woa/2010,
editor = {Andrea Omicini and
Mirko Viroli},
title = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
Rimini, Italy, September 5-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {621},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-621},
urn = {urn:nbn:de:0074-621-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/MolesiniOV09,
author = {Ambra Molesini and
Andrea Omicini and
Mirko Viroli},
title = {Environment in agent-oriented software engineering methodologies},
journal = {Multiagent Grid Syst.},
volume = {5},
number = {1},
pages = {37--57},
year = {2009},
url = {https://doi.org/10.3233/MGS-2009-0118},
doi = {10.3233/MGS-2009-0118},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/MolesiniOV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CasadeiVG09,
author = {Matteo Casadei and
Mirko Viroli and
Luca Gardelli},
title = {On the collective sort problem for distributed tuple spaces},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {702--722},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.018},
doi = {10.1016/J.SCICO.2008.09.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CasadeiVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CasadeiV09,
author = {Matteo Casadei and
Mirko Viroli},
title = {An experience on probabilistic model checking and stochastic simulation
to design self-organizing systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {1538--1545},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983125},
doi = {10.1109/CEC.2009.4983125},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/CasadeiV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MontagnaV09,
author = {Sara Montagna and
Mirko Viroli},
title = {A computational framework for modelling multicellular biochemistry},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {2233--2240},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983218},
doi = {10.1109/CEC.2009.4983218},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/MontagnaV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ViroliC09,
author = {Mirko Viroli and
Matteo Casadei},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {Biochemical Tuple Spaces for Self-organising Coordination},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {143--162},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_8},
doi = {10.1007/978-3-642-02053-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ViroliC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/NardiniOV09,
author = {Elena Nardini and
Andrea Omicini and
Mirko Viroli},
title = {General-Purpose Coordination Abstractions for Managing Interaction
in {MAS}},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {501--506},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.335},
doi = {10.1109/WI-IAT.2009.335},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/NardiniOV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DamianiGRV09a,
author = {Ferruccio Damiani and
Paola Giannini and
Alessandro Ricci and
Mirko Viroli},
editor = {Jos{\'{e}} Cordeiro and
Alpesh Ranchordas and
Boris Shishkov},
title = {A Calculus of Agents and Artifacts},
booktitle = {Software and Data Technologies - 4th International Conference, {ICSOFT}
2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {50},
pages = {124--136},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-20116-5\_10},
doi = {10.1007/978-3-642-20116-5\_10},
timestamp = {Fri, 30 Nov 2018 13:31:57 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/DamianiGRV09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DamianiGRV09,
author = {Ferruccio Damiani and
Paola Giannini and
Alessandro Ricci and
Mirko Viroli},
editor = {Boris Shishkov and
Jos{\'{e}} Cordeiro and
Alpesh Ranchordas},
title = {{FEATHERWEIGHT} {AGENT} {LANGUAGE} - {A} Core Calculus for Agents
and Artifacts},
booktitle = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
2009},
pages = {218--225},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 18 Sep 2009 15:00:58 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/DamianiGRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/RicciPV09,
author = {Alessandro Ricci and
Michele Piunti and
Mirko Viroli},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Jo{\~{a}}o Leite and
Paolo Torroni},
title = {Externalisation and Internalization: {A} New Perspective on Agent
Modularisation in Multi-Agent System Programming},
booktitle = {Languages, Methodologies, and Development Tools for Multi-Agent Systems,
Second International Workshop, {LADS} 2009, Torino, Italy, September
7-9, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6039},
pages = {35--54},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-13338-1\_3},
doi = {10.1007/978-3-642-13338-1\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lads/RicciPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/RicciPV09,
author = {Alessandro Ricci and
Michele Piunti and
Mirko Viroli},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Externalisation and Internalization: {A} New Perspective on Agent
Modularisation in Multi-Agent Systems Programming},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/ladspaper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/RicciPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/RicciVP09,
author = {Alessandro Ricci and
Mirko Viroli and
Michele Piunti},
editor = {Lars Braubach and
Jean{-}Pierre Briot and
John Thangarajah},
title = {Formalising the Environment in {MAS} Programming: {A} Formal Model
for Artifact-Based Environments},
booktitle = {Programming Multi-Agent Systems - 7th International Workshop, ProMAS
2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5919},
pages = {133--150},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14843-9\_9},
doi = {10.1007/978-3-642-14843-9\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/RicciVP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliCMZ09,
author = {Mirko Viroli and
Matteo Casadei and
Sara Montagna and
Franco Zambonelli},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A biochemical metaphor for developing eternally adaptive service ecosystems},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1221--1222},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529556},
doi = {10.1145/1529282.1529556},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ViroliCMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliCO09,
author = {Mirko Viroli and
Matteo Casadei and
Andrea Omicini},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A framework for modelling and implementing self-organising coordination},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1353--1360},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529585},
doi = {10.1145/1529282.1529585},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ViroliCO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CasadeiV09,
author = {Matteo Casadei and
Mirko Viroli},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Using probabilistic model checking and simulation for designing self-organizing
systems},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {2103--2104},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529747},
doi = {10.1145/1529282.1529747},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CasadeiV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/ViroliCNO09,
author = {Mirko Viroli and
Matteo Casadei and
Elena Nardini and
Andrea Omicini},
editor = {Danny Weyns and
Sam Malek and
Rog{\'{e}}rio de Lemos and
Jesper Andersson},
title = {Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising
Services},
booktitle = {Self-Organizing Architectures, First International Workshop, {SOAR}
2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {6090},
pages = {152--176},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14412-7\_8},
doi = {10.1007/978-3-642-14412-7\_8},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/ViroliCNO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/RicciPVO09,
author = {Alessandro Ricci and
Michele Piunti and
Mirko Viroli and
Andrea Omicini},
editor = {Rafael H. Bordini and
Mehdi Dastani and
J{\"{u}}rgen Dix and
Amal El Fallah Seghrouchni},
title = {Environment Programming in CArtAgO},
booktitle = {Multi-Agent Programming, Languages, Tools and Applications},
pages = {259--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-89299-3\_8},
doi = {10.1007/978-0-387-89299-3\_8},
timestamp = {Wed, 12 Aug 2020 21:55:15 +0200},
biburl = {https://dblp.org/rec/books/sp/09/RicciPVO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/09/ViroliGO09,
author = {Mirko Viroli and
Luca Gardelli and
Andrea Omicini},
editor = {Adelinde M. Uhrmacher and
Danny Weyns},
title = {Combining Simulation and Formal Tools for Developing Self-Organizing
{MAS}},
booktitle = {Multi-Agent Systems - Simulation and Applications},
series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
pages = {133--165},
publisher = {{CRC} Press / Taylor {\&} Francis},
year = {2009},
url = {https://doi.org/10.1201/9781420070248.ch5},
doi = {10.1201/9781420070248.CH5},
timestamp = {Fri, 12 Jul 2019 11:02:15 +0200},
biburl = {https://dblp.org/rec/books/tf/09/ViroliGO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/OmiciniPRV09,
author = {Andrea Omicini and
Michele Piunti and
Alessandro Ricci and
Mirko Viroli},
editor = {Max Bramer},
title = {Agents, Intelligence and Tools},
booktitle = {Artificial Intelligence: An International Perspective},
series = {Lecture Notes in Computer Science},
volume = {5640},
pages = {157--173},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03226-4\_9},
doi = {10.1007/978-3-642-03226-4\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/OmiciniPRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/OmiciniRV08,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
title = {Artifacts in the A{\&}A meta-model for multi-agent systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {17},
number = {3},
pages = {432--456},
year = {2008},
url = {https://doi.org/10.1007/s10458-008-9053-x},
doi = {10.1007/S10458-008-9053-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/OmiciniRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/GardelliVCO08,
author = {Luca Gardelli and
Mirko Viroli and
Matteo Casadei and
Andrea Omicini},
title = {Designing self-organising environments with agents and artefacts:
a simulation-driven approach},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {2},
number = {2},
pages = {171--195},
year = {2008},
url = {https://doi.org/10.1504/IJAOSE.2008.017314},
doi = {10.1504/IJAOSE.2008.017314},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/GardelliVCO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SaitoIV08,
author = {Chieri Saito and
Atsushi Igarashi and
Mirko Viroli},
title = {Lightweight family polymorphism},
journal = {J. Funct. Program.},
volume = {18},
number = {3},
pages = {285--331},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006405},
doi = {10.1017/S0956796807006405},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SaitoIV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/OlivaNRV08,
author = {Enrico Oliva and
Antonio Natali and
Alessandro Ricci and
Mirko Viroli},
title = {An Adaptation Logic Framework for Java-based Component Systems},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {13},
pages = {2158--2181},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-13-2158},
doi = {10.3217/JUCS-014-13-2158},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/OlivaNRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CimadamoreV08,
author = {Maurizio Cimadamore and
Mirko Viroli},
title = {On the reification of Java wildcards},
journal = {Sci. Comput. Program.},
volume = {73},
number = {2-3},
pages = {59--75},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.06.005},
doi = {10.1016/J.SCICO.2008.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CimadamoreV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/OlivaVOM08,
author = {Enrico Oliva and
Mirko Viroli and
Andrea Omicini and
Peter McBurney},
editor = {Iyad Rahwan and
Pavlos Moraitis},
title = {Argumentation and Artifact for Dialogue Support},
booktitle = {Argumentation in Multi-Agent Systems, Fifth International Workshop,
ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5384},
pages = {107--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00207-6\_7},
doi = {10.1007/978-3-642-00207-6\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/argmas/OlivaVOM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/ZambonelliV08,
author = {Franco Zambonelli and
Mirko Viroli},
editor = {Costin Badica and
Giuseppe Mangioni and
Vincenza Carchiolo and
Dumitru Dan Burdescu},
title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
booktitle = {Intelligent Distributed Computing, Systems and Applications, Proceedings
of the 2nd International Symposium on Intelligent Distributed Computing
- {IDC} 2008, Catania, Italy, 2008},
series = {Studies in Computational Intelligence},
volume = {162},
pages = {23--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85257-5\_3},
doi = {10.1007/978-3-540-85257-5\_3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/ZambonelliV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CimadamoreV08,
author = {Maurizio Cimadamore and
Mirko Viroli},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Integrating Java and Prolog through generic methods and type inference},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {198--205},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363740},
doi = {10.1145/1363686.1363740},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CimadamoreV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CasadeiV08,
author = {Matteo Casadei and
Mirko Viroli},
editor = {Sven A. Brueckner and
Paul Robertson and
Umesh Bellur},
title = {Applying Self-Organizing Coordination to Emergent Tuple Organization
in Distributed Networks},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
pages = {213--222},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASO.2008.18},
doi = {10.1109/SASO.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/CasadeiV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/VillalbaRVZ08,
author = {Cynthia Villalba and
Alberto Rosi and
Mirko Viroli and
Franco Zambonelli},
title = {Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008,
Venice, Italy},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASOW.2008.47},
doi = {10.1109/SASOW.2008.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/VillalbaRVZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/CasadeiVS08,
author = {Matteo Casadei and
Mirko Viroli and
Marco Santarelli},
title = {Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like
Networks},
booktitle = {17th {IEEE} International Workshops on Enabling Technologies: Infrastructures
for Collaborative Enterprises, {WETICE} 2008, Rome, Italy, June 23-25,
2008, Proceedings},
pages = {70--75},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WETICE.2008.21},
doi = {10.1109/WETICE.2008.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/CasadeiVS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/OlivaVO08,
author = {Enrico Oliva and
Mirko Viroli and
Andrea Omicini},
editor = {Matteo Baldoni and
Massimo Cossentino and
Flavio De Paoli and
Valeria Seidita},
title = {Arguments and Artifacts for Dispute Resolution},
booktitle = {Proceedings of the 9th Workshop "From Objects to Agents", Palermo,
Italy, July 17-18, 2008},
pages = {46--53},
publisher = {Seneca Edizioni Torino},
year = {2008},
timestamp = {Thu, 16 Nov 2023 15:16:18 +0100},
biburl = {https://dblp.org/rec/conf/woa/OlivaVO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2007,
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/194/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/ViroliOR07,
author = {Mirko Viroli and
Andrea Omicini and
Alessandro Ricci},
title = {Infrastructure for {RBAC-MAS:} An Approach Based on Agent Coordination
Contexts},
journal = {Appl. Artif. Intell.},
volume = {21},
number = {4{\&}5},
pages = {443--467},
year = {2007},
url = {https://doi.org/10.1080/08839510701253674},
doi = {10.1080/08839510701253674},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/ViroliOR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/ViroliHRSZ07,
author = {Mirko Viroli and
Tom Holvoet and
Alessandro Ricci and
Kurt Schelfthout and
Franco Zambonelli},
title = {Infrastructures for the environment of multiagent systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {14},
number = {1},
pages = {49--60},
year = {2007},
url = {https://doi.org/10.1007/s10458-006-9001-6},
doi = {10.1007/S10458-006-9001-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/ViroliHRSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Viroli07,
author = {Mirko Viroli},
title = {A core calculus for correlation in orchestration languages},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {1},
pages = {74--95},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.05.006},
doi = {10.1016/J.JLAP.2006.05.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Viroli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalV07,
author = {Carlos Canal and
Mirko Viroli},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {66},
number = {3},
pages = {181--183},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.02.001},
doi = {10.1016/J.SCICO.2007.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ViroliDR07,
author = {Mirko Viroli and
Enrico Denti and
Alessandro Ricci},
title = {Engineering a {BPEL} orchestration engine as a multi-agent system},
journal = {Sci. Comput. Program.},
volume = {66},
number = {3},
pages = {226--245},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.008},
doi = {10.1016/J.SCICO.2007.01.008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ViroliDR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wias/OmiciniRV07,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
title = {Timed environment for web agents},
journal = {Web Intell. Agent Syst.},
volume = {5},
number = {2},
pages = {161--175},
year = {2007},
url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wias/OmiciniRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RicciVO07,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Give agents their artifacts: the A{\&}A approach for engineering
working environments in {MAS}},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {150},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329308},
doi = {10.1145/1329125.1329308},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/RicciVO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CasadeiMVT07,
author = {Matteo Casadei and
Ronaldo Menezes and
Mirko Viroli and
Robert Tolksdorf},
title = {Self-organized over-clustering avoidance in tuple-space systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2007, 25-28 September 2007, Singapore},
pages = {1408--1415},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CEC.2007.4424636},
doi = {10.1109/CEC.2007.4424636},
timestamp = {Thu, 16 Dec 2021 14:01:04 +0100},
biburl = {https://dblp.org/rec/conf/cec/CasadeiMVT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/GardelliVO07,
author = {Luca Gardelli and
Mirko Viroli and
Andrea Omicini},
editor = {Hans{-}Dieter Burkhard and
Gabriela Lindemann and
Rineke Verbrugge and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Design Patterns for Self-organising Systems},
booktitle = {Multi-Agent Systems and Applications V, 5th International Central
and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
Leipzig, Germany, September 25-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4696},
pages = {123--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75254-7\_13},
doi = {10.1007/978-3-540-75254-7\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/GardelliVO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cia/CasadeiMVT07,
author = {Matteo Casadei and
Ronaldo Menezes and
Mirko Viroli and
Robert Tolksdorf},
editor = {Matthias Klusch and
Koen V. Hindriks and
Mike P. Papazoglou and
Leon Sterling},
title = {Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple
Distribution Mechanism},
booktitle = {Cooperative Information Agents XI, 11th International Workshop, {CIA}
2007, Delft, The Netherlands, September 19-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4676},
pages = {255--269},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75119-9\_18},
doi = {10.1007/978-3-540-75119-9\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cia/CasadeiMVT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsos/CasadeiMVT07,
author = {Matteo Casadei and
Ronaldo Menezes and
Mirko Viroli and
Robert Tolksdorf},
editor = {David Hutchison and
Randy H. Katz},
title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space
Systems},
booktitle = {Self-Organizing Systems, Second International Workshop, {IWSOS} 2007,
The Lake District, UK, September 11-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4725},
pages = {146--160},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74917-2\_13},
doi = {10.1007/978-3-540-74917-2\_13},
timestamp = {Mon, 26 Sep 2022 16:14:00 +0200},
biburl = {https://dblp.org/rec/conf/iwsos/CasadeiMVT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/RicciVP07,
author = {Alessandro Ricci and
Mirko Viroli and
Giulio Piancastelli},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Jo{\~{a}}o Leite and
Paolo Torroni},
title = {simpA: {A} Simple Agent-Oriented Java Extension for Developing Concurrent
Applications},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems,
First International Workshop, {LADS} 2007, Durham, UK, September 4-6,
2007. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5118},
pages = {261--278},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85058-8\_16},
doi = {10.1007/978-3-540-85058-8\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lads/RicciVP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/IgarashiV07,
author = {Atsushi Igarashi and
Mirko Viroli},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Variant path types for scalable extensibility},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {113--132},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297037},
doi = {10.1145/1297027.1297037},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/IgarashiV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/RicciV07,
author = {Alessandro Ricci and
Mirko Viroli},
editor = {Vasco Amaral and
Luis Marcelino and
Lu{\'{\i}}s Veiga and
H. Conrad Cunningham},
title = {simpA: an agent-oriented approach for prototyping concurrent applications
on top of Java},
booktitle = {Proceedings of the 5th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {272},
pages = {185--194},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294325.1294350},
doi = {10.1145/1294325.1294350},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/RicciV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/CimadamoreV07,
author = {Maurizio Cimadamore and
Mirko Viroli},
editor = {Vasco Amaral and
Luis Marcelino and
Lu{\'{\i}}s Veiga and
H. Conrad Cunningham},
title = {A Prolog-oriented extension of Java programming based on generics
and annotations},
booktitle = {Proceedings of the 5th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {272},
pages = {197--202},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294325.1294352},
doi = {10.1145/1294325.1294352},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/CimadamoreV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/RicciVO07,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Alessandro Ricci and
Michael Winikoff},
title = {The A{\&}AProgramming Model and Technology for Developing Agent
Environments in {MAS}},
booktitle = {Programming Multi-Agent Systems, 5th International Workshop, ProMAS
2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4908},
pages = {89--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79043-3\_6},
doi = {10.1007/978-3-540-79043-3\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/RicciVO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliCG07,
author = {Mirko Viroli and
Matteo Casadei and
Luca Gardelli},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {A self-organising solution to the collective sort problem in distributed
tuple spaces},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {354--359},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244086},
doi = {10.1145/1244002.1244086},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ViroliCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CimadamoreV07,
author = {Maurizio Cimadamore and
Mirko Viroli},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Reifying wildcards in Java using the {EGO} approach},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1315--1322},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244286},
doi = {10.1145/1244002.1244286},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CimadamoreV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CasadeiMTV07,
author = {Matteo Casadei and
Ronaldo Menezes and
Robert Tolksdorf and
Mirko Viroli},
title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
booktitle = {Proceedings of the First International Conference on Self-Adaptive
and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
2007},
pages = {303--306},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SASO.2007.42},
doi = {10.1109/SASO.2007.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/CasadeiMTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPV08,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.095},
doi = {10.1016/J.ENTCS.2008.03.095},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CasadeiOV08,
author = {Matteo Casadei and
Andrea Omicini and
Mirko Viroli},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Prototyping A{\&}A ReSpecT in Maude},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {93--109},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.101},
doi = {10.1016/J.ENTCS.2008.03.101},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CasadeiOV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RicciVC08,
author = {Alessandro Ricci and
Mirko Viroli and
Maurizio Cimadamore},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework
and Core Calculus},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {111--132},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.102},
doi = {10.1016/J.ENTCS.2008.03.102},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RicciVC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2006,
editor = {Carlos Canal and
Mirko Viroli},
title = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/RicciVO06,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
title = {Agent coordination contexts in a mas coordination infrastructure},
journal = {Appl. Artif. Intell.},
volume = {20},
number = {2-4},
pages = {179--202},
year = {2006},
url = {https://doi.org/10.1080/08839510500484207},
doi = {10.1080/08839510500484207},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/RicciVO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ViroliO06,
author = {Mirko Viroli and
Andrea Omicini},
title = {Coordination as a Service},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {507--534},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ViroliO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/ViroliRO06,
author = {Mirko Viroli and
Alessandro Ricci and
Andrea Omicini},
title = {Operating instructions for intelligent agent coordination},
journal = {Knowl. Eng. Rev.},
volume = {21},
number = {1},
pages = {49--69},
year = {2006},
url = {https://doi.org/10.1017/S0269888906000774},
doi = {10.1017/S0269888906000774},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/ViroliRO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OmiciniRV06,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
title = {Agent Coordination Contexts for the formal specification and enactment
of coordination and security policies},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {88--107},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.014},
doi = {10.1016/J.SCICO.2005.07.014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/OmiciniRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiV06,
author = {Atsushi Igarashi and
Mirko Viroli},
title = {Variant parametric types: {A} flexible subtyping scheme for generics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {5},
pages = {795--847},
year = {2006},
url = {https://doi.org/10.1145/1152649.1152650},
doi = {10.1145/1152649.1152650},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/IgarashiV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/RicciVO06,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Danny Weyns and
H. Van Dyke Parunak and
Fabien Michel},
title = {CArtA gO : {A} Framework for Prototyping Artifact-Based Environments
in {MAS}},
booktitle = {Environments for Multi-Agent Systems III, Third International Workshop,
{E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4389},
pages = {67--86},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71103-2\_4},
doi = {10.1007/978-3-540-71103-2\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/RicciVO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/RicciOVGO06,
author = {Alessandro Ricci and
Andrea Omicini and
Mirko Viroli and
Luca Gardelli and
Enrico Oliva},
editor = {Danny Weyns and
H. Van Dyke Parunak and
Fabien Michel},
title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
booktitle = {Environments for Multi-Agent Systems III, Third International Workshop,
{E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4389},
pages = {124--140},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71103-2\_7},
doi = {10.1007/978-3-540-71103-2\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/RicciOVGO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/GardelliVCO06,
author = {Luca Gardelli and
Mirko Viroli and
Matteo Casadei and
Andrea Omicini},
editor = {Danny Weyns and
H. Van Dyke Parunak and
Fabien Michel},
title = {Designing Self-organising {MAS} Environments: The Collective Sort
Case},
booktitle = {Environments for Multi-Agent Systems III, Third International Workshop,
{E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4389},
pages = {254--271},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71103-2\_15},
doi = {10.1007/978-3-540-71103-2\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/GardelliVCO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/ViroliCG06,
author = {Mirko Viroli and
Matteo Casadei and
Luca Gardelli},
editor = {Barbara Dunin{-}Keplicz and
Andrea Omicini and
Julian A. Padget},
title = {A Case of Self-Organising Environment for {MAS:} the Collective Sort
Problem},
booktitle = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06,
Lisbon, Portugal, December 14-15, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {223},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-223/24.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/eumas/ViroliCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AnconaV06,
author = {Davide Ancona and
Mirko Viroli},
editor = {Hisham Haddad},
title = {Editorial message: special track on object oriented programming languages
and systems},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1402--1403},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141603},
doi = {10.1145/1141277.1141603},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/AnconaV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CasadeiGV06,
author = {Matteo Casadei and
Luca Gardelli and
Mirko Viroli},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Collective Sorting Tuple Spaces},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/P01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CasadeiGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/OlivaVO06,
author = {Enrico Oliva and
Mirko Viroli and
Andrea Omicini},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Simulation of Minority Game in TuCSoN},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/D03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/OlivaVO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/OlivaVO06a,
author = {Enrico Oliva and
Mirko Viroli and
Andrea Omicini},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Minority Game: {A} Logic-Based Approach in TuCSoN},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/P02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/OlivaVO06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/RicciBZNVO06,
author = {Alessandro Ricci and
Claudio Buda and
Nicola Zaghini and
Antonio Natali and
Mirko Viroli and
Andrea Omicini},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {simpA-WS: An Agent-Oriented Computing Technology for WS-based {SOA}
Applications},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/D01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/RicciBZNVO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalV07,
author = {Carlos Canal and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.001},
doi = {10.1016/J.ENTCS.2007.03.001},
timestamp = {Tue, 06 Dec 2022 11:55:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CasadeiGV07,
author = {Matteo Casadei and
Luca Gardelli and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Simulating Emergent Properties of Coordination in Maude: the Collective
Sort Case},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {59--80},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.022},
doi = {10.1016/J.ENTCS.2007.05.022},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CasadeiGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2005,
editor = {Carlos Canal and
Mirko Viroli},
title = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/ViroliO05,
author = {Mirko Viroli and
Andrea Omicini},
title = {Process-algebraic approaches for multi-agent systems: an overview},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {16},
number = {2-3},
pages = {69--75},
year = {2005},
url = {https://doi.org/10.1007/s00200-005-0170-3},
doi = {10.1007/S00200-005-0170-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/ViroliO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/OmiciniRV05,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
title = {An algebraic approach for modelling organisation, roles and contexts
in {MAS}},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {16},
number = {2-3},
pages = {151--178},
year = {2005},
url = {https://doi.org/10.1007/s00200-005-0174-z},
doi = {10.1007/S00200-005-0174-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/OmiciniRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/RicciV05,
author = {Alessandro Ricci and
Mirko Viroli},
title = {Coordination Artifacts: {A} Unifying Abstraction for Engineering Environment-Mediated
Coordination in {MAS}},
journal = {Informatica (Slovenia)},
volume = {29},
number = {4},
pages = {433--444},
year = {2005},
url = {http://www.informatica.si/index.php/informatica/article/view/59},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/RicciV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/ViroliR05,
author = {Mirko Viroli and
Giovanni Rimassa},
title = {On Access Restriction with Java Wildcards},
journal = {J. Object Technol.},
volume = {4},
number = {10},
pages = {117--139},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.10.a6},
doi = {10.5381/JOT.2005.4.10.A6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/ViroliR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/WeynsSRVH05,
author = {Danny Weyns and
Michael Schumacher and
Alessandro Ricci and
Mirko Viroli and
Tom Holvoet},
title = {Environments in multiagent systems},
journal = {Knowl. Eng. Rev.},
volume = {20},
number = {2},
pages = {127--141},
year = {2005},
url = {https://doi.org/10.1017/S0269888905000457},
doi = {10.1017/S0269888905000457},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/WeynsSRVH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ViroliOR05,
author = {Mirko Viroli and
Andrea Omicini and
Alessandro Ricci},
editor = {Stefania Bandini and
Sara Manzoni},
title = {An Organisation Infrastructure for Multi-agent Systems Based on Agent
Coordination Contexts},
booktitle = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
Italian Association for Artificial Intelligence, Milan, Italy, September
21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3673},
pages = {198--211},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11558590\_21},
doi = {10.1007/11558590\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ViroliOR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IgarashiSV05,
author = {Atsushi Igarashi and
Chieri Saito and
Mirko Viroli},
editor = {Kwangkeun Yi},
title = {Lightweight Family Polymorphism},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {161--177},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_12},
doi = {10.1007/11575467\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/IgarashiSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GardelliVO05,
author = {Luca Gardelli and
Mirko Viroli and
Andrea Omicini},
editor = {Sven Brueckner and
Giovanna Di Marzo Serugendo and
David Hales and
Franco Zambonelli},
title = {On the Role of Simulations in Engineering Self-organising {MAS:} The
Case of an Intrusion Detection System in},
booktitle = {Engineering Self-Organising Systems, Third International Workshop,
{ESOA} 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3910},
pages = {153--166},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734697\_12},
doi = {10.1007/11734697\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/GardelliVO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ViroliRO05,
author = {Mirko Viroli and
Alessandro Ricci and
Andrea Omicini},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {An organisation infrastructure for Multi-Agent Systems based on Agent
Coordination Contexts},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {1189--1190},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082687},
doi = {10.1145/1082473.1082687},
timestamp = {Fri, 26 Apr 2019 14:26:42 +0200},
biburl = {https://dblp.org/rec/conf/atal/ViroliRO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/OmiciniRV05,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Time-Aware Coordination in ReSpecT},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {268--282},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_18},
doi = {10.1007/11417019\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/OmiciniRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/RicciOVGO05,
author = {Alessandro Ricci and
Andrea Omicini and
Mirko Viroli and
Luca Gardelli and
Enrico Oliva},
editor = {Marie{-}Pierre Gleizes and
Gal A. Kaminka and
Ann Now{\'{e}} and
Sascha Ossowski and
Karl Tuyls and
Katja Verbeeck},
title = {Cognitive Stigmergy: {A} Framework Based on Agents and Artifacts},
booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
Systems, Brussels, Belgium, December 7-8, 2005},
pages = {332--343},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/eumas/RicciOVGO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/RicciVO05,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Rafael H. Bordini and
Mehdi Dastani and
J{\"{u}}rgen Dix and
Amal El Fallah Seghrouchni},
title = {Programming {MAS} with Artifacts},
booktitle = {Programming Multi-Agent Systems, Third International Workshop, ProMAS
2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3862},
pages = {206--221},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11678823\_13},
doi = {10.1007/11678823\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/RicciVO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RicciV05,
author = {Alessandro Ricci and
Mirko Viroli},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {A timed extension of ReSpecT},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {420--427},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066776},
doi = {10.1145/1066677.1066776},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/RicciV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AnconaRV05,
author = {Davide Ancona and
Rajeev R. Raje and
Mirko Viroli},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Editorial message: special track on object oriented programming languages
and systems},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1256--1257},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066962},
doi = {10.1145/1066677.1066962},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AnconaRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RimassaV05,
author = {Giovanni Rimassa and
Mirko Viroli},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Understanding access restriction of variant parametric types and Java
wildcards},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1390--1397},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066993},
doi = {10.1145/1066677.1066993},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/RimassaV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/OmiciniRV05,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Alessandro F. Garcia and
Ricardo Choren and
Carlos Jos{\'{e}} Pereira de Lucena and
Paolo Giorgini and
Tom Holvoet and
Alexander B. Romanovsky},
title = {Coordination Artifacts as First-Class Abstractions for {MAS} Engineering:
State of the Research},
booktitle = {Software Engineering for Multi-Agent Systems IV, Research Issues and
Practical Applications [the book is a result of {SELMAS} 2005]},
series = {Lecture Notes in Computer Science},
volume = {3914},
pages = {71--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11738817\_5},
doi = {10.1007/11738817\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/selmas/OmiciniRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/GardelliVO05,
author = {Luca Gardelli and
Mirko Viroli and
Andrea Omicini},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {On the Role of Simulation in the Engineering of Self-Organising Systems:
Detecting Abnormal Behaviour in {MAS}},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {85--90},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/12.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/GardelliVO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalV06,
author = {Carlos Canal and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.029},
doi = {10.1016/J.ENTCS.2005.12.029},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoldinV05,
author = {Dina Q. Goldin and
Mirko Viroli},
editor = {Dina Q. Goldin and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {5},
pages = {1--4},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.013},
doi = {10.1016/J.ENTCS.2005.05.013},
timestamp = {Tue, 13 Dec 2022 10:25:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoldinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmiciniRV06,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Guido Boella and
Leendert van der Torre},
title = {\emph{Agens Faber}: Toward a Theory of Artefacts for {MAS}},
booktitle = {Proceedings of the First International Workshop on Coordination and
Organisation, CoOrg@COORDINATION 2005, Namur, Belgium, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {150},
number = {3},
pages = {21--36},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.03.003},
doi = {10.1016/J.ENTCS.2006.03.003},
timestamp = {Fri, 20 Jan 2023 09:17:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmiciniRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NataliORV06,
author = {Antonio Natali and
Enrico Oliva and
Alessandro Ricci and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {A Framework for Engineering Interactions in Java-based Component Systems},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {43--61},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.032},
doi = {10.1016/J.ENTCS.2005.12.032},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NataliORV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabanoDRV06,
author = {Michele Cabano and
Enrico Denti and
Alessandro Ricci and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Designing a {BPEL} Orchestration Engine Based on ReSpecT Tuple Centres},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {139--158},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.037},
doi = {10.1016/J.ENTCS.2005.12.037},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CabanoDRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2005finco,
editor = {Dina Q. Goldin and
Mirko Viroli},
title = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {5},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/141/issue/5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2005finco.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/OmiciniRVCR04,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli and
Marco Cioffi and
Giovanni Rimassa},
title = {Multi-Agent Infrastructures For Objective And Subjective Coordination},
journal = {Appl. Artif. Intell.},
volume = {18},
number = {9-10},
pages = {815--831},
year = {2004},
url = {https://doi.org/10.1080/08839510490509036},
doi = {10.1080/08839510490509036},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/OmiciniRVCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acom/ViroliR04,
author = {Mirko Viroli and
Alessandro Ricci},
editor = {Rogier M. van Eijk and
Marc{-}Philippe Huget and
Frank Dignum},
title = {Agent Interaction Semantics by Timed Operating Instructions},
booktitle = {Agent Communication, International Workshop on Agent Communication,
{AC} 2004, New York, NY, USA, July 19, 2004, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3396},
pages = {173--192},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32258-0\_12},
doi = {10.1007/978-3-540-32258-0\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acom/ViroliR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ViroliR04,
author = {Mirko Viroli and
Alessandro Ricci},
title = {Instructions-Based Semantics of Agent Mediated Interaction},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10042},
doi = {10.1109/AAMAS.2004.10042},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ViroliR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/OmiciniRVCT04,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli and
Cristiano Castelfranchi and
Luca Tummolini},
title = {Coordination Artifacts: Environment-Based Coordination for Intelligent
Agents},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {286--293},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10070},
doi = {10.1109/AAMAS.2004.10070},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/OmiciniRVCT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/RicciVO04,
author = {Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Danny Weyns and
H. Van Dyke Parunak and
Fabien Michel},
title = {Environment-Based Coordination Through Coordination Artifacts},
booktitle = {Environments for Multi-Agent Systems, First International Workshop,
{E4MAS} 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3374},
pages = {190--214},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32259-7\_10},
doi = {10.1007/978-3-540-32259-7\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/RicciVO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/TummoliniCRVO04,
author = {Luca Tummolini and
Cristiano Castelfranchi and
Alessandro Ricci and
Mirko Viroli and
Andrea Omicini},
editor = {Danny Weyns and
H. Van Dyke Parunak and
Fabien Michel},
title = {"Exhibitionists" and "Voyeurs" Do It Better: {A}
Shared Environment for Flexible Coordination with Tacit Messages},
booktitle = {Environments for Multi-Agent Systems, First International Workshop,
{E4MAS} 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3374},
pages = {215--231},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32259-7\_11},
doi = {10.1007/978-3-540-32259-7\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/TummoliniCRVO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OmiciniRVR04,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli and
Giovanni Rimassa},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Integrating objective {\&} subjective coordination in multi-agent
systems},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {449--455},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.967995},
doi = {10.1145/967900.967995},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/OmiciniRVR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AnconaRV04,
author = {Davide Ancona and
Rajeev R. Raje and
Mirko Viroli},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Editorial message: special track on object oriented programming language
and systems},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1265--1266},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968158},
doi = {10.1145/967900.968158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AnconaRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ViroliR04,
author = {Mirko Viroli and
Alessandro Ricci},
editor = {Matteo Baldoni and
Flavio De Paoli and
Alberto Martelli and
Andrea Omicini},
title = {Timed Coordination Artifacts with ReSpecT},
booktitle = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Complex Systems and Rational Agents, 30
November - 1 December 2004, Torino, Italy},
pages = {77--85},
publisher = {Pitagora Editrice Bologna},
year = {2004},
timestamp = {Mon, 17 Jan 2005 15:51:59 +0100},
biburl = {https://dblp.org/rec/conf/woa/ViroliR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/OmiciniRVCT04,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli and
Cristiano Castelfranchi and
Luca Tummolini},
editor = {Matteo Baldoni and
Flavio De Paoli and
Alberto Martelli and
Andrea Omicini},
title = {A Conceptual Framework for Self-Organising {MAS}},
booktitle = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Complex Systems and Rational Agents, 30
November - 1 December 2004, Torino, Italy},
pages = {100--109},
publisher = {Pitagora Editrice Bologna},
year = {2004},
timestamp = {Mon, 17 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/OmiciniRVCT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viroli04a,
author = {Mirko Viroli},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Towards a Formal Foundation to Orchestration Languages},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {51--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.008},
doi = {10.1016/J.ENTCS.2004.05.008},
timestamp = {Fri, 09 Dec 2022 11:51:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Viroli04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmiciniRV05,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {{RBAC} for Organisation and Security in an Agent Coordination Infrastructure},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {65--85},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.045},
doi = {10.1016/J.ENTCS.2004.11.045},
timestamp = {Mon, 12 Dec 2022 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmiciniRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viroli05,
author = {Mirko Viroli},
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {Effective and Efficient Compilation of Run-Time Generics in Java},
booktitle = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
pages = {95--116},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.013},
doi = {10.1016/J.ENTCS.2005.09.013},
timestamp = {Tue, 13 Dec 2022 09:16:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Viroli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ViroliO07,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {123--144},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.049},
doi = {10.1016/J.ENTCS.2006.10.049},
timestamp = {Tue, 06 Dec 2022 11:39:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ViroliO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Viroli03,
author = {Mirko Viroli},
title = {Full-fledged generics for object-oriented programming languages},
school = {University of Bologna, Italy},
year = {2003},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0002494},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Viroli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Viroli03,
author = {Mirko Viroli},
title = {A Type-Passing Approach for the Implementation of Parametric Methods
in Java},
journal = {Comput. J.},
volume = {46},
number = {3},
pages = {263--294},
year = {2003},
url = {https://doi.org/10.1093/comjnl/46.3.263},
doi = {10.1093/COMJNL/46.3.263},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Viroli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BergentiRV03,
author = {Federico Bergenti and
Giovanni Rimassa and
Mirko Viroli},
title = {Operational semantics for agents: the grey-box modeling approach},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {934--935},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860732},
doi = {10.1145/860575.860732},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BergentiRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BergentiRV03,
author = {Federico Bergenti and
Giovanni Rimassa and
Mirko Viroli},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {Operational Semantics for Agents by Iterated Refinement},
booktitle = {Declarative Agent Languages and Technologies, First International
Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2990},
pages = {37--53},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_3},
doi = {10.1007/978-3-540-25932-9\_3},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BergentiRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Viroli03,
author = {Mirko Viroli},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Comparing Semantic Frameworks for Coordination: On the Conformance
Issue for Coordination Media},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {394--401},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952610},
doi = {10.1145/952532.952610},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/Viroli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/OmiciniRRV03,
author = {Andrea Omicini and
Alessandro Ricci and
Giovanni Rimassa and
Mirko Viroli},
editor = {Giuliano Armano and
Flavio De Paoli and
Andrea Omicini and
Eloisa Vargiu},
title = {Integrating Objective {\&} Subjective Coordination in {FIPA:}
{A} Roadmap to TuCSoN},
booktitle = {{WOA} 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Intelligent Systems and Pervasive Computing,
10-11 September 2003, Villasimius, CA, Italy},
pages = {85--91},
publisher = {Pitagora Editrice Bologna},
year = {2003},
timestamp = {Tue, 18 Jan 2005 10:04:54 +0100},
biburl = {https://dblp.org/rec/conf/woa/OmiciniRRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmiciniRV03,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Formal Specification and Enactment of Security Policies through Agent
Coordination Contexts},
booktitle = {First International Workshop on Security Issues in Coordination Models,
Languages, and Systems, SecCo 2003, Satellite Event for {ICALP} 2003,
Eindhoven, The Netherlands, June 28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {3},
pages = {17--36},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80682-0},
doi = {10.1016/S1571-0661(04)80682-0},
timestamp = {Thu, 08 Dec 2022 14:22:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmiciniRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viroli04,
author = {Mirko Viroli},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Verifying Properties of Coordination by Well-Structured Transition
Systems},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {67--96},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.032},
doi = {10.1016/J.ENTCS.2004.04.032},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Viroli04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenezesOV04,
author = {Ronaldo Menezes and
Andrea Omicini and
Mirko Viroli},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {On the Semantics of Coordination Models for Distributed Systems: The
LogOp Case Study},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {97--124},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.033},
doi = {10.1016/J.ENTCS.2004.04.033},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MenezesOV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/ViroliO02,
author = {Mirko Viroli and
Andrea Omicini},
title = {An Observation Approach to the Semantics of Agent Communication Languages},
journal = {Appl. Artif. Intell.},
volume = {16},
number = {9-10},
pages = {775--793},
year = {2002},
url = {https://doi.org/10.1080/08839510290030480},
doi = {10.1080/08839510290030480},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/ViroliO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ViroliO02,
author = {Mirko Viroli and
Andrea Omicini},
title = {Modelling Agents as Observable Sources},
journal = {J. Univers. Comput. Sci.},
volume = {8},
number = {4},
pages = {423--451},
year = {2002},
url = {https://doi.org/10.3217/jucs-008-04-0423},
doi = {10.3217/JUCS-008-04-0423},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ViroliO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ViroliO02,
author = {Mirko Viroli and
Andrea Omicini},
title = {Specifying agent observable behaviour},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {712--720},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544913},
doi = {10.1145/544862.544913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ViroliO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ViroliO02,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Tuple-Based Models in the Observation Framework},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {364--379},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_33},
doi = {10.1007/3-540-46000-4\_33},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ViroliO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/IgarashiV02,
author = {Atsushi Igarashi and
Mirko Viroli},
editor = {Boris Magnusson},
title = {On Variance-Based Subtyping for Parametric Types},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {441--469},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_19},
doi = {10.1007/3-540-47993-7\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/IgarashiV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/RimassaV02,
author = {Giovanni Rimassa and
Mirko Viroli},
editor = {Paolo Petta and
Robert Tolksdorf and
Franco Zambonelli},
title = {An Operational Framework for the Semantics of Agent Communication
Languages},
booktitle = {Engineering Societies in the Agents World III, Third International
Workshop, {ESAW} 2002, Madrid, Spain, September 16-17, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2577},
pages = {111--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-39173-8\_9},
doi = {10.1007/3-540-39173-8\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/esaw/RimassaV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/ViroliO02,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {A Specification Language for Agents Observable Behavior},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 1},
pages = {321--327},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Mon, 03 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icai/ViroliO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/ViroliR02,
author = {Mirko Viroli and
Alessandro Ricci},
title = {Tuple-Based Coordination Models in Event-Based Scenarios},
booktitle = {22nd International Conference on Distributed Computing Systems, Workshops
{(ICDCSW} '02) July 2-5, 2002, Vienna, Austria, Proceedings},
pages = {595--601},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICDCSW.2002.1030835},
doi = {10.1109/ICDCSW.2002.1030835},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/ViroliR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/RicciOV02,
author = {Alessandro Ricci and
Andrea Omicini and
Mirko Viroli},
editor = {Hamid R. Arabnia},
title = {Extending ReSpecT for Multiple Coordination Flows},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
2002, Las Vegas, Nevada, USA, Volume 3},
pages = {1407--1413},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 05 Dec 2003 09:24:05 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/RicciOV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/ViroliOR02,
author = {Mirko Viroli and
Andrea Omicini and
Alessandro Ricci},
editor = {Hamid R. Arabnia},
title = {On the Expressiveness of Event-based Coordination Media},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
2002, Las Vegas, Nevada, USA, Volume 3},
pages = {1414--1420},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Wed, 31 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/ViroliOR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MenezesOV02,
author = {Ronaldo Menezes and
Andrea Omicini and
Mirko Viroli},
editor = {Flavio De Paoli and
Sara Manzoni and
Agostino Poggi},
title = {Have ReSpecT for LogOp},
booktitle = {{WOA} 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop
"From Objects to Agents": From Information to Knowledge, 18-19 November
2002, Milano, Italy},
pages = {94--99},
publisher = {Pitagora Editrice Bologna},
year = {2002},
timestamp = {Tue, 18 Jan 2005 10:06:14 +0100},
biburl = {https://dblp.org/rec/conf/woa/MenezesOV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ViroliO03,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordination as a Service: Ontological and Formal Foundation},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {457--482},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80383-4},
doi = {10.1016/S1571-0661(05)80383-4},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ViroliO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MoroV01,
author = {Gianluca Moro and
Mirko Viroli},
title = {Enabling Business Cooperation using a Publish-Subscribe Architecture
Aware of Transactions},
booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
January 3-6, 2001, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HICSS.2001.927281},
doi = {10.1109/HICSS.2001.927281},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MoroV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ViroliMO01,
author = {Mirko Viroli and
Gianluca Moro and
Andrea Omicini},
editor = {Gary B. Lamont},
title = {On observation as a coordination paradigm: an ontology and a formal
framework},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {166--175},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372306},
doi = {10.1145/372202.372306},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ViroliMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Viroli01,
author = {Mirko Viroli},
editor = {Gary B. Lamont},
title = {Parametric polymorphism in Java: an efficient implementation for parametric
methods},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {610--619},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372785},
doi = {10.1145/372202.372785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Viroli01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ViroliO01,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Andrea Omicini and
Mirko Viroli},
title = {Multi-Agent Systems as Composition of Observable Systems},
booktitle = {{WOA} 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop
"From Objects to Agents": Evolutive Trends of Software Systems, 4-5
September 2001, Modena, Italy},
pages = {62--67},
publisher = {Pitagora Editrice Bologna},
year = {2001},
timestamp = {Mon, 17 Jan 2005 15:56:23 +0100},
biburl = {https://dblp.org/rec/conf/woa/ViroliO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woa/2001,
editor = {Andrea Omicini and
Mirko Viroli},
title = {{WOA} 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop
"From Objects to Agents": Evolutive Trends of Software Systems,
4-5 September 2001, Modena, Italy},
publisher = {Pitagora Editrice Bologna},
year = {2001},
isbn = {88-371-1272-6},
timestamp = {Mon, 17 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/MoroV00,
author = {Gianluca Moro and
Mirko Viroli},
editor = {Andrea Omicini and
Robert Tolksdorf and
Franco Zambonelli},
title = {On Observing and Constraining Active Systems},
booktitle = {Engineering Societies in the Agent World, First International Workshop,
{ESAW} 2000, Berlin, Germany, August 21, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1972},
pages = {34--50},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44539-0\_3},
doi = {10.1007/3-540-44539-0\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/esaw/MoroV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ViroliN00,
author = {Mirko Viroli and
Antonio Natali},
editor = {Mary Beth Rosson and
Doug Lea},
title = {Parametric polymorphism in Java: an approach to translation based
on reflective features},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {146--165},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353182},
doi = {10.1145/353171.353182},
timestamp = {Wed, 30 Mar 2022 13:58:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ViroliN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MoroNV00,
author = {Gianluca Moro and
Antonio Natali and
Mirko Viroli},
editor = {Antonio Corradi and
Andrea Omicini and
Agostino Poggi},
title = {On the Consistent Observation of Active Systems},
booktitle = {{WOA} 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop
"From Objects to Agents": Evolutive Trends of Software Systems, 29-30
May 2000, Parma, Italy},
pages = {47--51},
publisher = {Pitagora Editrice Bologna},
year = {2000},
timestamp = {Mon, 17 Jan 2005 15:51:56 +0100},
biburl = {https://dblp.org/rec/conf/woa/MoroNV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
