Per Year
@article{smartcollectiveservices-ieeeiotj9,
author = {Casadei, Roberto and Giancarlo Fortino and Pianini, Danilo and Placuzzi, Andrea and Claudio Savaglio and Viroli, Mirko},
dblp = {journals/iotj/CasadeiFPPSV22},
doi = {10.1109/JIOT.2022.3172470},
ieee = {9768117},
journal = {IEEE Internet of Things Journal},
keywords = {cloud services, collective services, cyber–physical systems, deployment methodology, edge intelligence, mobile and ubiquitous systems, pulverizable architectures, service middleware and platform, simulation},
number = 20,
pages = {20136--20148},
title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge},
url = {http://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
} @article{selforgcoord-fgcs114,
author = {Pianini, Danilo and Casadei, Roberto and Viroli, Mirko and Natali, Antonio},
doi = {10.1016/j.future.2020.07.032},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
keywords = {Coordination, Distributed systems, Design patterns, Self-organisation, Self-improving integration, Edge computing, Aggregate programming},
pages = {44--68},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
volume = 114,
year = 2021} @inproceedings{10.1007/978-3-030-50029-0_13,
address = {Cham},
author = {Pianini, Danilo and Mariani, Stefano and Viroli, Mirko and Zambonelli, Franco},
booktitle = {Coordination Models and Languages},
doi = {10.1007/978-3-030-50029-0_13},
editor = {Bliudze, Simon and Bocchi, Laura},
isbn = {978-3-030-50029-0},
pages = {193--210},
publisher = {Springer International Publishing},
status = {Published},
title = {Time-Fluid Field-Based Coordination},
url = {https://link.springer.com/chapter/10.1007/978-3-030-50029-0_13},
year = 2020
} @inproceedings{spatiotemporaltuples-ecas2020,
author = {Casadei, Roberto and Viroli, Mirko and Ricci, Alessandro},
booktitle = {2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
doi = {10.1109/ACSOS-C51401.2020.00045},
eisbn = {978-1-7281-8414-2},
ieee = {9196218},
isbn = {978-1-7281-8415-9},
location = {Washington, DC, USA},
month = sep,
pages = {139--144},
status = {Accepted with revision},
title = {Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time},
url = {https://ieeexplore.ieee.org/document/9196218},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9196218},
year = 2020
} @inproceedings{CV-FMEC2019,
author={Casadei, Roberto AND Viroli, Mirko},
booktitle={2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC)},
title={Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach},
year={2019},
volume={},
number={},
pages={60-67},
keywords={edge computing;self-organization;decentralized computing;spatial computing;distributed coordination},
doi={10.1109/FMEC.2019.8795355},
ISSN={},
month={June}}
@inproceedings{FRVZ-ROCCO2019,
author = {Fortino, Giancarlo and Re, Barbara and Viroli, Mirko and Zambonelli, Franco},
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},
pages = {411--427},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_22},
doi = {10.1007/978-3-030-21485-2\_22},
editor = {Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario},
volume = {11665},
publisher = {Springer},
isbn = {978-3-030-21484-5}
}
@inproceedings{CVAPD-COORD2019,
Author = {Casadei, Roberto and Viroli, Mirko and Audrito, Giorgio and Pianini, Danilo and Damiani, Ferruccio},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/978-3-030-22397-7_12},
Editor = {Riis Nielson, Hanne and Tuosto, Emilio},
Note = {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},
Pages = {200--217},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Aggregate Processes in Field Calculus},
Url = {http://link.springer.com/10.1007978-3-030-22397-7_12},
Volume = 11533,
Year = 2019} @inproceedings{ABDPV-COORD2019,
author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
title = {The share Operator for Field-Based Coordination},
booktitle = {Coordination Models and Languages, Proceedings},
pages = {54--71},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_4},
doi = {10.1007/978-3-030-22397-7\_4},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
volume = {11533},
series = {Lecture Notes in Computer Science},
volume = {11533},
publisher = {Springer}
}
@inproceedings{AVDPB-FORTE2019,
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
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},
pages = {289--292},
year = {2019},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-030-21759-4\_17},
doi = {10.1007/978-3-030-21759-4\_17},
editor = {P{\'{e}}rez, Jorge A. and
Yoshida, Nobuko},
series = {Lecture Notes in Computer Science},
volume = {11535},
isbn = {978-3-030-21758-7},
} @inproceedings{ZVFR-PERFOT2019,
author = {Zambonelli, Franco and Viroli, Mirko and Fortino, Giancarlo and Re, Barbara},
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},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730736},
doi = {10.1109/PERCOMW.2019.8730736},
isbn = {978-1-5386-9151-9}
} @article{fieldcalculusTocl20,
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
doi = {10.1145/3285956},
journal = {{ACM} Transactions on Computational Logic},
month = jan,
number = 1,
pages = {1--55},
publisher = {ACM},
title = {A Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1145/3285956},
volume = 20,
year = 2019} @inproceedings{CTVD-SCC2019,
author={Casadei, Roberto and Tsigkanos, Christos and Viroli, Mirko and Dustdar, Schahram},
booktitle={2019 IEEE International Conference on Services Computing (SCC)},
title={Engineering Resilient Collaborative Edge-Enabled IoT},
year={2019},
volume={},
number={},
pages={36-45},
keywords={self organization;situated problem solving;decentralized coordination;collective intelligence;edge computing},
doi={10.1109/SCC.2019.00019},
ISSN={2474-2473},
month={July}} @inproceedings{ADDSVW-BDSVA2019,
author = {Ali, Shaukat and Damiani, Ferruccio and Dustdar, Schahram and Sanseverino, Marialuisa and Viroli, Mirko and Weyns, Danny},
title = {Big Data from the Cloud to the Edge: The Aggregate Computing Solution},
booktitle = {Proceedings of the 13th European Conference on Software Architecture - Volume 2},
series = {ECSA '19},
year = {2019},
isbn = {978-1-4503-7142-1},
location = {Paris, France},
pages = {177--180},
numpages = {4},
url = {http://doi.acm.org/10.1145/3344948.3344988},
doi = {10.1145/3344948.3344988},
acm = {3344988},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {adaptation, dependability, formal methods},
}
@article{VBDACP-JLAMP2019,
title = {From distributed coordination to field calculus and aggregate computing},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {109},
year = {2019},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2019.100486},
url = "http://www.sciencedirect.com/science/article/pii/S235222081930032X",
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
keywords = "Distributed systems, Aggregate computing, Field calculus, Spatial computing",
publisher = {Elsevier},
} @article{CFPRSV-INFSCI2019,
title = {A development approach for collective opportunistic {Edge-of-Things} services},
journal = {Information Sciences},
publisher = {Elsevier},
volume = {498},
pages = {154--169},
year = {2019},
issn = {0020-0255},
doi = {10.1016/j.ins.2019.05.058},
url = {http://www.sciencedirect.com/science/article/pii/S002002551930461X},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
abstract = {Technological advances have recently fostered the Internet of Things vision, in which systems of situated entities perceive and act upon the world, and interact with one another to provide novel kinds of services, which are inherently cyber-physical, increasingly contextual and opportunistic in nature, and possibly span different scales and domains. The requirements of such IoT applications, however, pose significant non/functional challenges to engineering efforts, mitigated by emerging computing paradigms. On the infrastructure side, Cloud, Fog, and Edge Computing provide virtualised, on-demand, elastic resource provisioning – at the distant data centres, Network core and Edge – supporting the abstraction and scalability needs of IoT settings while also altogether giving options for QoS-driven trade-offs. However, despite intense research in these fields, there is still a gap of approaches supporting the engineering of dynamic, heterogeneous smart environments, such as those involving “collectives” of devices coordinating in a complex fashion to provide “global” services. In this paper, we integrate the Aggregate Computing and Opportunistic IoT Service models and propose a full-fledged approach for the engineering – from analysis to simulation – of complex “Edge of Things” applications. We compare by simulation two deployment targets for the same collective application: one centralised/Cloud-based, and the other decentralised/Edge-based. We discuss the trade-offs each one introduces, and we draw recommendations on application-driven choices of the appropriate deployment.}
} @article{opportunisticaggregate-fgcs91,
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.future.2018.09.005},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
pages = {252--262},
publisher = {Elsevier B.V.},
title = {Modelling and Simulation of Opportunistic {IoT} Services with Aggregate Computing},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X18307246},
volume = 91,
year = 2019} @inproceedings{CPVN-COORD2019,
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio },
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
booktitle = {Coordination Models and Languages, Proceedings},
pages = {182--199},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
series = {Lecture Notes in Computer Science},
volume = {11533},
publisher = {Springer}
}
@inproceedings{blockchain-goodtechs2018,
acm = {10.1145/3284869.3284870},
address = {New Work, NY, USA},
author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
dblp = {conf/goodtechs/PianiniCC0VO18},
doi = {10.1145/3284869.3284870},
iris = {11585/655097},
keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
location = {Bologna, Italy},
month = nov,
pages = {271--276},
publisher = {ACM},
scholar = {3798219571928546753},
scopus = {2-s2.0-85061088949},
title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
url = {http://dl.acm.org/citation.cfm?doid=3284870},
wos = {000470918900046},
year = 2018
} @inproceedings{ADV-ALP4IOT2018,
author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
title = {Aggregate Graph Statistics},
booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
pages = {18--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.264.2},
doi = {10.4204/EPTCS.264.2},
editor = {Pianini, Danilo and Salvaneschi, Guido},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {264},
year = {2018}
} @inproceedings{FRSVZ-WFIOT2018,
author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
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},
year = {2018},
url = {https://doi.org/10.1109/WF-IoT.2018.8355174},
doi = {10.1109/WF-IoT.2018.8355174}
} @article{VABDP-TOMACS2018,
author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
journal = {ACM Transaction on Modelling and Computer Simulation},
issue_date = {March 2018},
volume = {28},
number = {2},
month = mar,
year = {2018},
issn = {1049-3301},
pages = {16:1--16:28},
articleno = {16},
numpages = {28},
url = {http://doi.acm.org/10.1145/3177774},
doi = {10.1145/3177774},
acm = {3177774},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
}
@article{gradients-scp166,
Author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.06.002},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {146--166},
Title = {Optimal single-path information propagation in gradient-based algorithms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318302387},
Volume = 166,
Year = 2018} @inproceedings{VBDACP-COORDNATION2018,
author = {Viroli, Mirko and
Beal, Jacob and
Damiani, Ferruccio and
Audrito, Giorgio and
Casadei, Roberto and
Pianini, Danilo },
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},
editor = {Di Marzo Serugendo, Giovanna and
Loreti, Michele},
series = {Lecture Notes in Computer Science},
volume = {10852},
publisher = {Springer},
pages = {252--279},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3_12},
doi = {10.1007/978-3-319-92408-3_12},
} @article{spatialtuples-exsys35,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
dblp = {journals/es/RicciVOMCP18},
doi = {10.1111/exsy.12273},
editor = {Camacho, David and Novais, Paulo},
iris = {11585/646034},
issn = {0266-4720},
journal = {Expert Systems},
keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
month = oct,
note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
number = 5,
publisher = {Wiley},
scholar = {15432439871249761138},
scopus = {2-s2.0-85045836760},
title = {Spatial Tuples: Augmenting Reality with Tuples},
url = {http://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
volume = 35,
wos = {000446560700003},
year = 2018
} @inproceedings{ABDV-COORDINATION2018,
author = {Audrito, Giorgio and
Beal, Jacob and
Damiani, Ferruccio and
Viroli, Mirko },
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},
pages = {1--20},
year = {2018},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10852},
url = {https://doi.org/10.1007/978-3-319-92408-3_1},
doi = {10.1007/978-3-319-92408-3_1},
editor = {Di Marzo Serugendo, Giovanna and
Loreti, Michele }
} @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages={507--522},
abstract={Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour of large collections of interacting devices. Aggregate computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through a functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top of it. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
isbn={978-3-319-74781-1}
} @article{CAV-SCP2018,
Author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.07.006},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {114--137},
Title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318303046},
Volume = 167,
Year = 2018}
@inproceedings{casadei2018ecas,
booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
year = 2018,
status = {Published},
author = {Casadei, Roberto and Viroli, Mirko},
title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT},
pages = {106--111},
doi = {10.1109/FAS-W.2018.00033}} @incollection{ActorsAggregate2018,
booktitle = {Programming with Actors: State-of-the-Art and Research Perspectives},
year = 2018,
url = {https://doi.org/10.1007/978-3-030-00302-9_4},
editor = {Ricci, Alessandro and Haller, Philipp},
series = {Lecture Notes in Computer Science},
publisher = {Springer International Publishing},
author = {Casadei, Roberto and Viroli, Mirko},
title = {Programming Actor-Based Collective Adaptive Systems},
pages = {94--122},
volume = 10789,
doi = {10.1007/978-3-030-00302-9_4}} @INPROCEEDINGS{ADVB-RTSS2018,
author={Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Bini, Enrico},
booktitle={2018 IEEE Real-Time Systems Symposium (RTSS)},
title={Distributed Real-Time Shortest-Paths Computations with the Field Calculus},
year={2018},
volume={},
number={},
pages={23-34},
keywords={Calculus;Aggregates;Programming;Computational modeling;Real-time systems;Sensors;Wireless sensor networks;aggregate computing;field calculus;shortest path;IoT;distributed systems},
doi={10.1109/RTSS.2018.00013},
ISSN={2576-3172},
month={Dec}} @article{VPRC-IJAOSE2017,
Author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Croatti, Angelo},
Issn = {1746-1375},
eissn = {1746-1383},
Journal = {International Journal of Agent-Oriented Software Engineering},
Number = 5,
Volume = 4,
Pages = {336--365},
Publisher = {Inderscience Publishers},
Title = {Aggregate plans for multiagent systems},
Year = 2017}
@inproceedings{PianiniSASOTutorial2017,
author = {Pianini, Danilo and
Beal, Jacob and
Viroli, Mirko},
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},
year = {2017},
url = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
doi = {10.1109/FAS-W.2017.186},
timestamp = {Mon, 23 Oct 2017 12:54:11 +0200},
biburl = {http://dblp.org/rec/bib/conf/saso/PianiniBV17},
bibsource = {dblp computer science bibliography, http://dblp.org}
} @inproceedings{DobsonSASO2017,
author = {Pianini, Danilo and
Dobson, Simon and
Viroli, Mirko},
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},
year = {2017},
url = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.10},
doi = {10.1109/SASO.2017.10},
publisher = {{IEEE} Computer Society},
isbn = {978-1-5090-6555-4}
}
@article{safe-ijdst17,
acm = {10.4018/IJDST.2017010104},
author = {Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
dblp = {journals/ijdst/CroattiRV17},
doi = {10.4018/IJDST.2017010104},
iris = {11585/582002},
journal = {International Journal of Distributed Systems and Technologies (IJDST)},
number = 1,
pages = {46--58},
publisher = {IGI Global},
scopus = {2-s2.0-84998910333},
title = {Towards a Mobile Augmented Reality System for Emergency Management: The Case of {SAFE}},
url = {http://www.igi-global.com/article/towards-a-mobile-augmented-reality-system-for-emergency-management/171982},
volume = 8,
wos = {000390173100004},
year = 2017
} @inproceedings{spatialtuples-idc2016,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
booktitle = {Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing -- IDC 2016, Paris, France, October 10-12 2016},
chapter = 12,
dblp = {conf/idc/RicciVOMCP16},
doi = {10.1007/978-3-319-48829-5_12},
editor = {Badica, Costin and El Fallah Seghrouchni, Amal and Beynier, Aur{\'e}lie and Camacho, David and Herpson, C{\'e}dric and Hindriks, Koen and Novais, Paulo},
eisbn = {978-3-319-48829-5},
iris = {11585/586449},
isbn = {978-3-319-48828-8},
issn = {1860-949X},
keywords = {Multi-Agent Systems, Space-based Coordination, Spatial Computing, Augmented/Mixed Reality},
location = {Paris, France},
pages = {121--130},
publisher = {Springer},
scopus = {2-s2.0-84992336025},
series = {Studies in Computational Intelligence},
title = {{S}patial {T}uples: Augmenting Physical Reality with Tuple Spaces},
url = {http://link.springer.com/10.1007/978-3-319-48829-5_12},
volume = 678,
wos = {000398722900012},
year = 2017
} @inproceedings{FranciaECAS17,
author = {Francia, Matteo and Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
booktitle = {2nd {IEEE} International Workshops on Foundations and Applications},
dblp = {conf/saso/FranciaPBV17},
doi = {10.1109/FAS-W.2017.116},
pages = {27--32},
timestamp = {Mon, 23 Oct 2017 12:54:11 +0200},
title = {Towards a Foundational {API} for Resilient Distributed Systems Design},
url = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.116},
year = 2017
} @article{BVPD-TAAS2017,
author = {Beal, Jacob and Viroli, Mirko and Pianini, Danilo and Damiani, Ferruccio},
title = {Self-Adaptation to Device Distribution in the {Internet of Things}},
journal = {ACM Transaction on Autonomous and Adaptive Systems},
issue_date = {September 2017},
volume = {12},
number = {3},
month = sep,
year = {2017},
issn = {1556-4665},
pages = {12:1--12:29},
articleno = {12},
numpages = {29},
url = {http://doi.acm.org/10.1145/3105758},
doi = {10.1145/3105758},
acm = {3105758},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing},
} @inproceedings{ACDV-SASO2017,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Viroli, Mirko},
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},
year = {2017},
url = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.18},
doi = {10.1109/SASO.2017.18},
publisher = {{IEEE} Computer Society},
isbn = {978-1-5090-6555-4}
} @inproceedings{casadei-mass2016,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
pages = {1495--1504},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
month = {11-14 September},
publisher = {IEEE Computer Society Press},
address = {Gdansk, Poland},
year = {2016},
status = {Published},
url = {http://dx.doi.org/10.15439/2016F407},
doi = {10.15439/2016F407},
timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
} @INPROCEEDINGS{AFVC-ECAS2016,
author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
title = {Run-Time Management of Computation Domains in Field Calculus},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
pages = {192--197},
year = 2016,
url = {https://doi.org/10.1109/FAS-W.2016.50},
doi = {10.1109/FAS-W.2016.50},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6}
}
@INPROCEEDINGS{VBPB-ECAS2016,
author = {Viroli, Mirko and
Bucchiarone, Antonio and
Pianini, Danilo and
Beal, Jacob},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
pages = {186--191},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.49},
doi = {10.1109/FAS-W.2016.49},
editor = {Elnikety, Sameh and
Lewis, Peter R. and
M{\"{u}}ller{-}Schloer}, Christian}
publisher = {{IEEE}},
isbn = {978-1-5090-3651-6}
} @inproceedings{AggregatecomputingVlsubicomp16,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {On Execution Platforms for Large-scale Aggregate Computing},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
series = {UbiComp '16},
year = {2016},
isbn = {978-1-4503-4462-3},
location = {Heidelberg, Germany},
pages = {1321--1326},
numpages = {6},
url = {http://doi.acm.org/10.1145/2968219.2979129},
doi = {10.1145/2968219.2979129},
acm = {2979129},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
} @Inproceedings{VB-FORECAST2016,
author = "Viroli, Mirko and Beal, Jacob",
year = "2016",
title = "Resiliency with Aggregate Computing: State of the Art and Roadmap",
editor = "ter Beek, Maurice H. and Loreti, Michele",
booktitle = "{\rm Proceedings of the Workshop on}
FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems,
{\rm Vienna, Austria, 8 July 2016}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "217",
publisher = "Open Publishing Association",
pages = "5-18",
doi = "10.4204/EPTCS.217.3",
}
@inproceedings{aggregatescala-pmldc2016,
acm = {2957372},
Address = {New York, NY, USA},
Articleno = {5},
Author = {Casadei, Roberto and Viroli, Mirko},
Booktitle = {1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16)},
Doi = {10.1145/2957319.2957372},
Isbn = {978-1-4503-4775-4},
Keywords = {DSL, Scala, aggregate programming, complex adaptive systems, distributed platform},
Location = {Rome, Italy},
Month = {17}}},
Publisher = {ACM},
Title = {Towards Aggregate Programming in {S}cala},
Url = {http://doi.acm.org/10.1145/2957319.2957372},
Year = 2016} @article{compfields-scp117,
Author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
Doi = {10.1016/j.scico.2015.11.005},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
Pages = {17--44},
Title = {A type-sound calculus of computational fields},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
Volume = 117,
Year = 2016} @article{sapere-ker31,
author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
doi = {10.1017/S0269888916000199},
iris = {11585/587618},
journal = {The Knowledge Engineering Review},
month = sep,
number = 4,
numpages = 24,
pages = {343-366},
scopus = {2-s2.0-85002973358},
title = {Spatial awareness in pervasive ecosystems},
url = {http://journals.cambridge.org/abstract_ S0269888916000199},
volume = 31,
year = 2016
} @inproceedings{viroli-ecas2016,
author = {Viroli, Mirko and Antonio Bucchiarone and Pianini, Danilo and Jacob Beal},
booktitle = {2016 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2016, Augsburg, Germany, September 18-22, 2016},
doi = {10.1109/FAS-W.2016.49},
ieee = {7789466},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://ieeexplore.ieee.org/document/7789466},
year = 2016
} @article{VPMSZ-SCP2015,
title = "A coordination model of pervasive service ecosystems",
journal = "Science of Computer Programming",
volume = "110",
number = "",
pages = "3 - 22",
year = "2015",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264",
author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco",
keywords = "Coordination models and languages",
keywords = "Pervasive computing",
keywords = "Service ecosystems",
keywords = "Process algebras",
keywords = "Self-organisation "
}
@article{sapere-pmc10years,
author = {Zambonelli, Franco and Omicini, Andrea and Anzengruber, Bernhard and Castelli, Gabriella and DeAngelis, Francesco L. and Di Marzo Serugendo, Giovanna and Dobson, Simon and Fernandez-Marquez, José Luis and Ferscha, Alois and Mamei, Marco and Mariani, Stefano and Molesini, Ambra and Montagna, Sara and Nieminen, Jussi and Pianini, Danilo and Risoldi, Matteo and Rosi, Alberto and Stevenson, Graeme and Viroli, Mirko and Ye, Juan},
dblp = {journals/percom/ZambonelliOACAS15},
doi = {10.1016/j.pmcj.2014.12.002},
editor = {Kumar, Mohan and Becker, Christian},
iris = {11585/480586},
issn = {1574-1192},
journal = {Pervasive and Mobile Computing},
keywords = {Pervasive computing; Multi-agent systems; Coordination models; Self-organization},
month = feb,
note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
pages = {236–252},
part = {B},
scholar = {15583593111038826907},
scopus = {2-s2.0-84924155453},
semanticscholar = {16555450},
title = {Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination},
url = {http://www.sciencedirect.com/science/article/pii/S1574119214001904},
volume = 17,
wos = {000350826800007},
year = 2015
} @ARTICLE{7274429,
author={Beal, Jacob and Pianini, Danilo and Viroli, Mirko},
journal={Computer},
title={Aggregate Programming for the Internet of Things},
year={2015},
volume={48},
number={9},
pages={22-30},
keywords={Aggregate programmin;Embedded systems;Internet of things;Pervasive computing;Programming;DSLs;Internet of Things;IoT;aggregate programming;distributed systems;domain-specific languages;embedded systems;field calculus;pervasive computing},
doi={10.1109/MC.2015.261},
ISSN={0018-9162},
month={Sept},} @article{aggregatecomputing-saso2015,
abstract = {{Self-organising systems are notoriously difficult to engineer},
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
booktitle = {Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015)},
doi = {10.1109/SASO.2015.16},
ieee = {7306598},
keywords = {Aggregate computing, computational fields, self-stabilisation},
pages = {81--90},
title = {Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields},
url = {https://ieeexplore.ieee.org/document/7306598},
year = 2015
} @proceedings{ProtelisSAC14,
address = {Salamanca, Spain},
author = {Pianini, Danilo and Viroli, Mirko and Beal, Jacob},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
doi = {10.1145/2695664.2695913},
editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman},
isbn = {978-1-4503-3196-8},
pages = {1846--1853},
publisher = {ACM},
title = {Protelis: Practical Aggregate Programming},
url = {http://doi.acm.org/10.1145/2695664.2695913},
year = 2015} @article{DV-LMCS2015,
author = {Damiani, Ferruccio and Viroli, Mirko},
doi = {10.2168/LMCS-11(4:21)2015},
issn = {1860-5974},
journal = {Logical Methods in Computer Science},
number = 4,
numpages = 53,
pages = {1--53},
publisher = {EPI Sciences},
title = {Type-based Self-stabilisation for Computational Fields},
url = {http://lmcs.episciences.org/1622},
volume = 11,
year = 2015
} @incollection{VPRBC-PRIMA2015,
author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Brunetti, Pietro and Croatti, Angelo},
booktitle = {PRIMA 2015: Principles and Practice of Multi-Agent Systems},
dblp = {conf/prima/ViroliPRBC15},
doi = {10.1007/978-3-319-25524-8_4},
editor = {Chen, Qingliang and Torroni, Paolo and Villata, Serena and Hsu, Jane and Omicini, Andrea},
iris = {11585/521212},
isbn = {978-3-319-25523-1},
keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
language = {English},
pages = {49--64},
publisher = {Springer International Publishing},
scopus = {2-s2.0-84950323451},
series = {Lecture Notes in Computer Science},
title = {Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan},
url = {http://dx.doi.org/10.1007/978-3-319-25524-8_4},
volume = 9387,
wos = {000367782600004},
year = 2015
} @article{spacetime-rsta373,
address = {London, UK},
author = {Beal, Jacob and Viroli, Mirko},
doi = {10.1098/rsta.2014.0220},
isbn = {1471-2962},
issn = {1364-503X},
journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
number = 2046,
publisher = {The Royal Society},
title = {Space--Time Programming},
url = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220},
urlpdf = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220.full-text.pdf},
volume = 373,
year = 2015
} @article{msbionet-simulation91,
author = {Montagna, Sara and Viroli, Mirko and Roli, Andrea},
doi = {10.1177/0037549715585569},
eissn = {1741-3133},
issn = {0037-5497},
journal = {SIMULATION: Transactions of the Society for Modeling and Simulation International},
keywords = {Multicellular systems biology, developmental biology, spatial stochastic multiscale model, Drosophila melanogaster, parameter estimation, metaheuristics},
month = jun,
number = 7,
pages = {666--685},
publisher = {SAGE},
title = {A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development},
volume = 91,
year = 2015
} @incollection{computationalfields-forte2015,
Author = {Damiani, Ferruccio and Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
Booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
Doi = {10.1007/978-3-319-19195-9_8},
Editor = {Graf, Susanne and Viswanathan, Mahesh},
Isbn = {978-3-319-19194-2},
Pages = {113--128},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields},
Url = {http://link.springer.com/10.1007/978-3-319-19195-9_8},
Volume = 9039,
Year = 2015} @inproceedings{7306561,
author={Pianini, Danilo and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
booktitle={2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops},
title={Computational Fields Meet Augmented Reality: Perspectives and Challenges},
year=2015,
pages={80--85},
doi={10.1109/SASOW.2015.18},
month=sep} @inproceedings{mirrorworlds-emas2015,
acm = {10.1007/978-3-319-26184-3_11},
author = {Ricci, Alessandro and Croatti, Angelo and Brunetti, Pietro and Viroli, Mirko},
booktitle = {Engineering Multi-Agent Systems (EMAS 2015)},
dblp = {conf/atal/RicciCBV15},
doi = {10.1007/978-3-319-26184-3_11},
iris = {11585/520878},
location = {Istanbul, Turkey},
numpages = 21,
scopus = {2-s2.0-84951273866},
title = {Programming Mirror-Worlds: An Agent-Oriented Programming Perspective},
wos = {000367684000011},
year = 2015
} @inproceedings{augmentedfields-icth2015,
author = {Brunetti, Pietro and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Procedia Computer Science},
dblp = {conf/euspn/BrunettiCRV15},
doi = {10.1016/j.procs.2015.08.358},
iris = {11585/538763},
issn = {1877-0509},
keywords = {Healthcare},
location = {Berlin, Germany},
month = sep,
note = {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},
numpages = 8,
pages = {392--399},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84954144309},
series = {Procedia Computer Science},
title = {Smart Augmented Fields for Emergency Operations},
url = {http://www.sciencedirect.com/science/article/pii/S187705091502493X},
urlpdf = {http://ac.els-cdn.com/S187705091502493X/1-s2.0-S187705091502493X-main.pdf?_tid=684d780e-20f7-11e6-ba1e-00000aacb361&acdnat=1464015946_6d656e32785b1aabe27fa5997b5dbbcb},
volume = 63,
wos = {000373842900051},
year = 2015
} @article{BV-SPATIAL2015,
author = {Beal, Jacob and Viroli, Mirko},
title = {Formal Foundations of Sensor Network Applications},
journal = {SIGSPATIAL Special},
issue_date = {July 2015},
volume = {7},
number = {2},
month = sep,
year = {2015},
issn = {1946-7729},
pages = {36--42},
numpages = {7},
url = {http://doi.acm.org/10.1145/2826686.2826693},
doi = {10.1145/2826686.2826693},
acm = {2826693},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{BV-FOCAS2014,
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},
year = {2014},
url = {http://dx.doi.org/10.1109/SASOW.2014.6},
doi = {10.1109/SASOW.2014.6},
}
@incollection{spatial-coordination2014,
author = {Viroli, Mirko and Ferruccio Damiani},
booktitle = {Coordination Languages and Models},
doi = {10.1007/978-3-662-43376-8_11},
editor = {Kühn, eva and Pugliese, Rosario},
issn = {0302-9743},
month = jun,
note = {Proceedings of the 16th Conference on Coordination Models and Languages (Coordination 2014), Berlin (Germany), 3-5 June},
pages = {163--178},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {A Calculus of Self-stabilising Computational Fields},
url = {http://link.springer.com/10.1007/978-3-662-43376-8_11},
volume = 8459,
year = 2014
} @INPROCEEDINGS{PianiniHPCS2014,
author={Pianini, Danilo and Viroli, Mirko and Zambonelli, Franco and Ferscha, Alois},
booktitle={High Performance Computing Simulation (HPCS), 2014 International Conference on},
title={HPC from a self-organisation perspective: The case of crowd steering at the urban scale},
year={2014},
month={July},
pages={460-467},
keywords={Cities and towns;Computational modeling;Context;Global Positioning System;Legged locomotion;XML;Distribution;Self-Organisation;Situatedness},
doi={10.1109/HPCSim.2014.6903721},} @incollection{argumentation-argbook2014,
address = {Bussum, Netherlands},
author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
booktitle = {Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications},
chapter = 8,
doi = {10.2174/9781608058242114010009},
editor = {Lopes, Fernando and Coelho, Helder},
eisbn = {978-1-60805-824-2},
iris = {11585/480573},
isbn = {978-1-60805-825-9},
keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming},
pages = {191--232},
part = {II -- Theories and Systems},
publisher = {Bentham Science Publishers},
title = {Argumentation and Artifacts for Negotiation Support},
url = {http://ebooks.benthamscience.com/book/9781608058242/chapter/121481/},
year = 2014
} @article{TAAS2014,
acm = {2628613},
address = {New York, NY, USA},
articleno = 6,
author = {Fernandez-Marquez, Jose Luis and Viroli, Mirko and Castelli, Gabriella},
doi = {10.1145/2628613},
issn = {1556-4665},
issue_date = {July 2014},
journal = {ACM Trans. Auton. Adapt. Syst.},
month = jul,
number = 2,
numpages = 2,
pages = {6:1--6:2},
publisher = {ACM},
title = {Best ACM SAC Articles on Coordination and Self-Adaptation},
url = {http://doi.acm.org/10.1145/2628613},
volume = 9,
year = 2014
} @article{aosesimulation-scp78,
acm = {10.1016/j.scico.2011.09.007},
author = {Molesini, Ambra and Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2011.09.007},
editor = {Cabri, Giacomo and Ganzha, Maria},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Agent-Oriented Software Engineering, Methodologies, Simulation, MAS Environment, SODA},
month = jun,
note = {Special Section on Agent-oriented Design methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments},
number = 6,
pages = {705–-714},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84875701894},
title = {Simulation in {A}gent-{O}riented {S}oftware {E}ngineering: The {{\sf SODA}} Case Study},
url = {http://www.sciencedirect.com/science/article/pii/S0167642311001778},
volume = 78,
wos = {000318134400008},
year = 2013
} @inproceedings{SYDVM-ASENSIS2012,
Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.39},
Editor = {Pitt, Jeremy},
Keywords = {bio-inspired, resource discovery, semantic matching},
Isbn = {978-1-4673-5153-9},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {181-186},
Publisher = {IEEE CS},
Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
Year = 2013,
abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
@incollection{FieldCalculusFOCLASA2013,
location = {Malaga, Spain},
booktitle = {Advances in Service-Oriented and Cloud Computing},
year = 2013,
keywords = {Spatial Computing, Self-Organising Coordination, Core Calculus},
pdf-local = {CR.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/book/10.1007/978-3-642-45364-9},
editor = {Canal, Carlos and Villari, Massimo},
series = {Communications in Computer and Information Science},
eisbn = {978-3-642-45363-2},
urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-45364-9_11.pdf},
publisher = {Springer Berlin Heidelberg},
author = {Viroli, Mirko AND Damiani, Ferruccio AND Beal, Jacob},
chapter = 10,
title = {A calculus of computation fields},
note = {Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}},
abstract = {A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. This calculus can act as a core for actual implementation of coordination languages and models, as well as pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations.},
pages = {114-128},
address = {Berlin, Germany},
volume = 393,
doi = {10.1007/978-3-642-45364-9_11}} @article{semcoord-scp78,
acm = {10.1016/j.scico.2012.10.004},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.004},
editor = {Casadei, Matteo and Mamei, Marco and Menezes, Ronaldo},
iris = {11585/134307},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models, Tuple spaces, Description logics, OWL, Semantic tuple centres, TuCSoN, Pellet},
month = may,
note = {Special section: Self-Organizing Coordination},
number = 5,
pages = {569--582},
scopus = {2-s2.0-84875230312},
title = {Semantic Tuple Centres},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001876},
volume = 78,
wos = {000317544500011},
year = 2013
} @incollection{sapereaose-emasI,
acm = {10.5555/3100666.3100677},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
booktitle = {Engineering Multi-Agent Systems},
chapter = 11,
doi = {10.1007/978-3-642-45343-4_11},
editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
eisbn = {978-3-642-45343-4},
iris = {11585/256515},
isbn = {978-3-642-45342-7},
issn = {0302-9743},
month = dec,
note = {1st International Workshop (EMAS 2013), Saint Paul, Minnesota, USA, 6--7~} # may # {~2013, Revised Selected Papers},
pages = {196--214},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-84893042546},
series = {Lecture Notes in Computer Science},
title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
url = {http://link.springer.com/10.1007/978-3-642-45343-4_11},
volume = 8245,
year = 2013
} @article{Montagna-MONET2012,
iissn = {1383-469X},
publisher = {Springer Netherlands},
journal = {Mobile Networks and Applications},
author = {Montagna, Sara and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Di Marzo Serugendo, Giovanna and Zambonelli, Franco},
title = {Injecting Self-organisation into Pervasive Service Ecosystems},
volume = {18},
number = {3},
year = {2013},
keywords = {Pervasive Computing, Self-organisation, Chemical-inspired computing},
issn = {1572-8153},
status = {Published},
pages = {398-412},
url = {http://www.springerlink.com/content/x3j4776323717w7h/},
doi = {10.1007/s11036-012-0411-1}} @article{chemicalts-scp78,
author = {Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.002},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models and languages, Self-Organisation, Self-Composition, Chemical-Inspired Computing},
month = may,
number = 5,
pages = {556--568},
publisher = {Elsevier Science B.V.},
title = {On Competitive Self-composition in Pervasive Services},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001852},
volume = 78,
year = 2013
} @article{alchemist-jos2013,
Author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
Doi = {10.1057/jos.2012.27},
Issn = {1747-7778},
eissn = {1747-7786},
Journal = {Journal of Simulation},
Keywords = {Stochastic simulation, chemical-oriented computing, pervasive service ecosystems},
Publisher = {Palgrave McMillan},
Title = {Chemical-oriented Simulation of Computational Systems with {ALCHEMIST}},
Url = {http://link.springer.com/10.1057/jos.2012.27},
Year = 2013} @article{spatialcomputing-scp78,
Author = {Viroli, Mirko and Beal, Jacob and Usbeck, Kyle},
Doi = {10.1016/j.scico.2012.12.003},
Editor = {Mernik, Marjan},
Journal = {Science of Computer Programming},
Month = jun,
Number = 6,
Pages = {633--656},
Pdf-Local = {1-s2.0-S0167642312002146-main.pdf},
Publisher = {Elsevier Science B.V.},
Title = {Operational Semantics of {P}roto},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642312002146},
Volume = 78,
Year = 2013} @incollection{SpatialIGI2013,
booktitle = {Formal and Practical Aspects of Domain-Specific Languages: Recent Developments},
publisher = {IGI Global },
author = {Beal, Jacob and Dulman, Stefan and Usbeck, Kyle and Viroli, Mirko and Correll, Nikolaus},
title = {Organizing the Aggregate: Languages for Spatial Computing},
chapter = 16,
year = 2013,
note = {A longer version available at: {\tt http://arxiv.org/abs/1202.5509}},
abstract = {As the number of computing devices embedded into engineered systems continues to rise, there is a
widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.
},
keywords = {Spatial Computing, Sensor Networks, Agent-Based Systems},
eissn = {978-1-4666-2092-6},
status = {Published},
pages = {436--501},
venue_list = {--},
url = {http://www.igi-global.com/chapter/organizing-aggregate-languages-spatial-computing/71829},
editor = {Mernik, Marjan},
doi = {10.4018/978-1-4666-2092-6.ch016}} @article{Naco2013,
author = {Jose Luis Fernandez-Marquez and
Giovanna Di Marzo Serugendo and
Sara Montagna and
Mirko Viroli and
Josep Llu\'{\i}s Arcos},
title = {Description and composition of bio-inspired design patterns:
a complete overview},
journal = {Natural Computing},
volume = {12},
number = {1},
year = {2013},
pages = {43-67},
ee = {http://dx.doi.org/10.1007/s11047-012-9324-y}
} @inproceedings{sitrecognition-asensis2012,
author={Stevenson, Graeme and Fernandez-Marquez, Jose Luis and Montagna, Sara and Rosi, Alberto and Ye, Juan and Tchao, Akla and Dobson, Simon and Serugendo, Giovanna Di Marzo and Viroli, Mirko},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.46},
Editor = {Pitt, Jeremy},
Keywords = {bio-inspired, resource discovery, semantic matching},
Isbn = {978-1-4673-5153-9},
pdf-local = {PID2504559.pdf},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {223--228},
Publisher = {IEEE CS},
Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
Year = 2013,
} @inproceedings{VC-ASENSIS2012,
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.42},
Editor = {Pitt, Jeremy},
Keywords = {Self-organisation patterns, computational fields, formal verification, pervasive service ecosystems},
Isbn = {978-1-4673-5153-9},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {199-204},
Publisher = {IEEE CS},
Title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
Year = 2013,
abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
@inproceedings{sapereecolaws-sac2012,
Address = {Riva del Garda, TN, Italy},
Author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme},
Booktitle = {27th Annual ACM Symposium on Applied Computing (SAC 2012)},
Doi = {10.1145/2245276.2245336},
Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
Isbn = {978-1-4503-0857-1},
Month = {26--30}}},
Url = {http://dl.acm.org/citation.cfm?doid=2245276.2245336},
Year = 2012} @inCollection{SpatialCoordination2012,
author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
booktitle = {Coordination Languages and Models},
editor = {Sirjani, Marjan},
volume = 7274,
series = {LNCS},
year = 2012,
month = jun,
publisher = {Springer-Verlag},
pages = {212--229},
note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
issn = {0302-9743}
}
@incollection{semanticsapere-igi2012,
Author = {Viroli, Mirko and Zambonelli, Franco and Stevenson, Graeme and Dobson, Simon},
Booktitle = {Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution},
Chapter = 8,
Doi = {10.4018/978-1-4666-2089-6.ch008},
Editor = {Cubo, Javier and Ortiz, Guadalupe},
Isbn = {978-1-4666-2091-9},
Isbn-10 = {9781466620896},
Isbn-13 = 1466620897,
Keywords = {Pervasive Computing, Service Oriented Architectures, RDF, Pervasive Ecosystems},
Pages = {207--237},
Pdf-Local = {chapter.pdf},
Publisher = {IGI Global},
Title = {From {SOA} to Pervasive Service Ecosystems: An Approach based on {S}emantic {W}eb technologies},
Url = {http://www.igi-global.com/chapter/soa-pervasive-service-ecosystems/69475},
Year = 2012} @article{DGRV-SACS2012,
title={Standard Type Soundness for Agents and Artifacts},
author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
journal={Scientific Annals of Computer Science},
volume={22},
number={2},
organization={``A.I. Cuza'' University, Iacsi, Romania},
year={2012},
pages={267--326},
doi={10.7561/SACS.2012.2.267},
publisher={``A.I. Cuza'' University Press, Iacsi}
}
@incollection{montagna-morphoeng,
year={2012},
isbn={978-3-642-33901-1},
booktitle={Morphogenetic Engineering},
series={Understanding Complex Systems},
editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
doi={10.1007/978-3-642-33902-8_15},
title={A Computational Framework for Multilevel Morphologies},
url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
publisher={Springer Berlin Heidelberg},
author={Montagna, Sara and Viroli, Mirko},
pages={383--405},
language={English}
}
@inproceedings{logop-sac2012,
acm = {2232025},
address = {Riva del Garda, TN, Italy},
author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
doi = {10.1145/2245276.2232025},
editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
iris = {11585/115125},
isbn = {978-1-4503-0857-1},
keywords = {Coordination models, Pervasive systems, LogOp, Linear logic},
month = {26--30}}},
scopus = {2-s2.0-84863558967},
title = {Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of {{\it\sffamily LogOp}}{}},
url = {http://dl.acm.org/citation.cfm?id=2232025},
volume = 2,
year = 2012
} @inproceedings{anticipativegradient-SASO12,
location = {Lyon, France},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
year = 2012,
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
venue = {SASO},
month = {September},
isbn = {978-0-7695-4851-7},
doi = {10.1109/SASO.2012.25},
ee = {http://doi.ieeecomputersociety.org/10.1109/SASO.2012.25},
pages = {169--174}
} @article{simpa-scp76,
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
Doi = {10.1016/j.scico.2010.06.012},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = jan,
Number = 1,
Pages = {37--62},
Publisher = {Elsevier Science B.V.},
Title = {{simpA}: An Agent-oriented Approach for Programming Concurrent Applications on top of {J}ava},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001346},
Volume = 76,
Year = 2011} @article{cartago-jaamas23,
Author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
Doi = {10.1007/s10458-010-9140-7},
Editor = {Bordini, Rafael H. and Dastani, Mehdi and Dix, J{\"u}rgen and El Fallah Seghrouchni, Amal},
Issn = {1387-2532},
eissn = {1573-7454},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = sep,
Note = {Special Issue: Multi-Agent Programming},
Number = 2,
Pages = {158--192},
Title = {Environment Programming in Multi-Agent Systems -- An Artifact-Based Perspective},
Url = {http://www.springerlink.com/content/b323338888286147/},
Volume = 23,
Year = 2011} @incollection{ArtifactsCalculusSDT2011,
series = {Communications in Computer and Information Science},
location = {Sofia, Bulgaria},
booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
publisher = {Springer-Verlag},
journal = {Communications in Computer and Information Science},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {A Calculus of Agents and Artifacts},
isbn = {978-3-642-20115-8},
year = 2011,
abstract = {A library-based extension of Java, the simpA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of simpA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.},
keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
eissn = {1865-0929},
status = {Published},
pages = {124--136},
venue_list = {--},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
address = {Berlin, Germany},
volume = 50,
doi = {10.1007/978-3-642-20116-5_10}} @article{ecosystems-jpcc7,
Author = {Zambonelli, Franco and Viroli, Mirko},
Doi = {10.1108/17427371111172997},
Issn = {1742-7371},
Journal = {International Journal of Pervasive Computing and Communications},
Keywords = {Context-aware computing, Ecosystems, Metaphors, Middleware, Nature-inspired approaches, Pervasive computing, Self-organization},
Number = 3,
Pages = {186--204},
Publisher = {Emerald},
Title = {A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems},
Url = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3},
urlpdf = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3&articleid=1949170&show=pdf},
Volume = 7,
Year = 2011} @inproceedings{sapere-procedia7,
address = {Budapest, Hungary},
author = {Zambonelli, Franco and Castelli, Gabriella and Ferrari, Laura and Mamei, Marco and Rosi, Alberto and Di Marzo Serugendo, Giovanna and Risoldi, Matteo and Tchao, Akla-Esso and Dobson, Simon and Stevenson, Graeme and Ye, Yuan and Nardini, Elena and Omicini, Andrea and Montagna, Sara and Viroli, Mirko and Ferscha, Alois and Maschek, Sascha and Wally, Bernhard},
booktitle = {Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)},
doi = {10.1016/j.procs.2011.09.006},
editor = {Giacobino, Elisabeth and Pfeifer, Rolf},
iris = {11585/114963},
issn = {1877-0509},
keywords = {Self-awareness in Autonomic Systems; Pervasive Computing Service; Nature-inspired Computing},
month = {4--6}}},
scopus = {2-s2.0-84856490082},
series = {Procedia Computer Science},
title = {Self-aware Pervasive Service Ecosystems},
url = {http://www.sciencedirect.com/science/article/pii/S1877050911005667},
volume = 7,
wos = {000299100900065},
year = 2011
} @article{spatial-taas11,
urlpdf = {http://portal.acm.org/ft_gateway.cfm?id=1968517&ftid=991523&dwn=1&CFID=31487229&CFTOKEN=42827646},
issn = {1556-4665},
publisher = {ACM},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
author = {Viroli, Mirko and Casadei, Matteo and Montagna, Sara and Zambonelli, Franco},
title = {Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces},
year = 2011,
keywords = {Chemical-inspired computation, tuple spaces},
status = {Published},
pages = {14:1--14:24},
number = 2,
venue = {TAAS},
url = {http://doi.acm.org/10.1145/1968513.1968517},
address = {New York, NY, USA},
volume = 6,
month = {June},
doi = {10.1145/1968513.1968517}} @article{ehealth-acr11,
acm = {10.1145/1964144.1964150},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko and Schumacher, Michael I.},
doi = {10.1145/1964144.1964150},
eissn = {1931-0161},
iris = {11585/101810},
issn = {1559-6915},
journal = {Applied Computing Review},
keywords = {e-Health, coordination middleware, TuCSoN, semantic tuple centres},
month = {Spring},
number = 2,
numpages = 10,
organization = {ACM SIGAPP},
pages = {43--52},
publisher = {ACM},
title = {Coordinating e-Health Systems with {{\sf TuCSoN}} Semantic Tuple Centres},
url = {http://portal.acm.org/citation.cfm?id=1964150},
urlpdf = {http://www.sigapp.org/acr/Issues/V11.2/ACR-11-2.pdf},
volume = 11,
wos = {WOS:000217426300004},
year = 2011
} @article{preface-scp76,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2010.06.002},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '07)},
Number = 1,
Pages = {1--2},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001000},
Volume = 76,
Year = 2011} @incollection{montagna-serene2011,
Address = {Geneva, Switzerland},
Author = {Montagna, Sara and Viroli, Mirko and Risoldi, Matteo and Pianini, Danilo and Di Marzo Serugendo, Giovanna},
Booktitle = {3rd International Workshop on Software Engineering for Resilient Systems},
Doi = {10.1007/978-3-642-24124-6_12},
Keywords = {pervasive computing, software ecosystems, self-adaptation, self-organisation},
Month = {29--30}}},
Series = {Lecture Notes in Computer Science},
Title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
Url = {http://www.springerlink.com/content/096hh324410xj820},
Volume = 6968,
Year = 2011}
@article{intro-ker25years,
Author = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
Doi = {10.1017/S0269888910000330},
Editor = {Viroli, Mirko and Parsons, Simon and McBurney, Peter},
Issn = {0269-8889},
Journal = {The Knowledge Engineering Review},
Month = mar,
Note = {Special Issue 01 (25th Anniversary Issue)},
Number = 1,
Pages = {1--3},
Title = {A Quarter-century of {T}he {K}nowledge {E}ngineering {R}eview: Introduction to the {S}pecial {I}ssue},
Url = {http://journals.cambridge.org/action/displayAbstract?aid=8038620},
Volume = 26,
Year = 2011} @inproceedings{logicartifacts-sac2011,
acm = {1982378},
address = {Taichun, Taiwan},
author = {Sbaraglia, Marco and Casadei, Matteo and Viroli, Mirko},
booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
doi = {10.1145/1982185.1982378},
keywords = {CArtAgO, coordination artifact, declarative coordination language},
month = {21--25}}},
title = {Programming Coordination Laws of Artifacts in CArtAgO},
url = {http://apice.unibo.it/xwiki/bin/download/Publications/LogicArtifactSac2011},
year = 2011
} @article{selforgcoord-ker25years,
acm = {10.1017/S026988891000041X},
author = {Omicini, Andrea and Viroli, Mirko},
doi = {10.1017/S026988891000041X},
editor = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
iris = {11585/97437},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = mar,
note = {Special Issue 01 (25th Anniversary Issue)},
number = 1,
pages = {53--59},
publisher = {Cambridge University Press},
scopus = {2-s2.0-79953142564},
title = {Coordination Models and Languages: From Parallel Computing To Self-Organisation},
url = {http://journals.cambridge.org/abstract_S026988891000041X},
urlpdf = {http://journals.cambridge.org/repo_A80tRwy1},
volume = 26,
wos = {000288060200009},
year = 2011
} @inproceedings{fuzzycoord-sac11,
acm = {10.1145/1982185.1982375},
address = {Tunghai University, TaiChung, Taiwan},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
doi = {10.1145/1982185.1982375},
editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
iris = {11585/102110},
isbn = {978-1-4503-0113-8},
month = {21--25}}},
scopus = {2-s2.0-79959300590},
title = {Description Spaces with Fuzziness},
url = {http://dl.acm.org/citation.cfm?id=1982375},
urlpdf = {http://delivery.acm.org/10.1145/1990000/1982375/p869-nardini.pdf},
volume = {II: Artificial Intelligence \& Agents, Information Systems, and Software Development},
year = 2011
} @article{ecoservices-ins180,
Author = {Viroli, Mirko and Zambonelli, Franco},
Doi = {10.1016/j.ins.2009.11.021},
Issn = {0020-0255},
Journal = {Information Sciences},
Keywords = {Pervasive Computing, Self-organisation, Biochemical computing},
Number = 10,
Pages = {1876--1892},
Publisher = {Elsevier},
Title = {A Biochemical Approach to Adaptive Service Ecosystems},
Volume = 180,
Year = 2010} @incollection{FormalAAPROMAS09,
Author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
Booktitle = {Programming Multi-Agent Systems},
Doi = {10.1007/978-3-642-14843-9_9},
Editor = {Braubach, Lars and Briot, Jean-Pierre and Thangarajah, John},
Isbn = {978-3-540-79042-6},
Issn = {0302-9743},
eissn = {1611-3349},
Note = {7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
Pages = {133--150},
Publisher = {Springer},
Series = {LNAI},
Title = {Formalising the Environment in {MAS} Programming: A Formal Model for Artifact-Based Environments },
Url = {http://www.springerlink.com/content/112756w186286622},
Volume = 5919,
Year = 2010} @inproceedings{selforgwordnet-saso2010,
acm = {10.1109/SASO.2010.35},
address = {Budapest, Hungary},
author = {Pianini, Danilo and Virruso, Sascia and Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
booktitle = {4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010)},
doi = {10.1109/SASO.2010.35},
editor = {Gupta, Indranil and Hassas, Salima and Jerome, Rolia},
eisbn = {978-0-7695-4232-4},
ieee = {5630506},
iris = {11585/93506},
isbn = {978-1-4244-8537-6},
month = {27}}},
publisher = {IEEE CS},
scopus = {2-s2.0-79952067343},
title = {Self Organization in Coordination Systems using a {WordNet}-based Ontology},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630506},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5630506},
year = 2010
} @inproceedings{semcoord-sac10,
address = {Sierre, Switzerland},
author = {Nardini, Elena and Viroli, Mirko and Panzavolta, Emanuele},
booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
doi = {10.1145/1774088.1774515},
editor = {Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew and Hung, Chih-Cheng and Shin, Dongwan},
isbn = {978-1-60558-638-0},
keywords = {Pervasive Computing, SemanticWeb, Description Logic, Semantic Tuple Space Computing, Semantic Tuple Centre, Co- ordination Infrastructure, TuCSoN, ReSpecT},
month = {22--26}}},
publisher = {ACM},
title = {Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres},
url = {http://portal.acm.org/citation.cfm?id=1774515},
volume = {III},
year = 2010
} @article{Montagna2010115,
Author = {Montagna, Sara and Viroli, Mirko},
Title = {A Framework for Modelling and Simulating Networks of Cells},
Journal = {Electronic Notes in Theoretical Computer Science},
Volume = {268},
Pages = {115--129},
Month = dec,
Note = {Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)},
Issn = {1571-0661},
Doi = {10.1016/j.entcs.2010.12.009},
Publisher = {Elsevier Science B.V.},
Keyword = {Formal methods, Multi-level model, Developmental biology},
Year = 2010} @incollection{chemcoord-soarbook,
author = {Viroli, Mirko and Casadei, Matteo and Nardini, Elena and Omicini, Andrea},
booktitle = {Self-Organizing Architectures},
chapter = 8,
doi = {10.1007/978-3-642-14412-7_8},
editor = {Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper},
eissn = {1611-3349},
iris = {11585/90749},
isbn = {978-3-642-14411-0},
issn = {0302-9743},
month = jul,
note = {1st International Workshop on Self-Organizing Architectures (SOAR 2009), Cambridge, UK, 14-17~} # sep # {~2009, Revised Selected and Invited Papers},
pages = {152--176},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-77955454179},
series = {Lecture Notes in Computer Science},
title = {Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services},
url = {http://link.springer.com/chapter/10.1007/978-3-642-14412-7_8},
volume = 6090,
wos = {000281987900008},
year = 2010
} @article{RVP-PROMAS09,
series = {Lecture Notes Computer Science},
booktitle = {Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers},
publisher = {Springer},
author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
title = {Formalising the Environment in MAS Programming: a Formal Model},
isbn = {978-3-642-14842-2},
year = 2009,
status = {Published},
pages = {133--150},
venue = {LNCS},
volume = 5919,
doi = {10.1007/978-3-642-14843-9}} @incollection{artifacts-argmasV,
acm = {10.1007/978-3-642-00207-6_7},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
booktitle = {Argumentation in Multi-Agent Systems},
chapter = 7,
doi = {10.1007/978-3-642-00207-6_7},
editor = {Rahwan, Iyad and Moraitis, Pavlos},
eissn = {1611-3349},
iris = {11585/82472},
isbn = {978-3-642-00206-9},
issn = {0302-9743},
keywords = {Argumentation; Artifact; Dialogue; Multi-Agent Systems},
month = feb,
note = {4th International Workshop (ArgMAS 2008), Estoril, Portugal, 12~} # may # {~2008. Revised Selected and Invited Papers},
pages = {107--121},
part = {II},
publisher = {Springer},
scopus = {2-s2.0-61649095715},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
subtitle = {Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers},
title = {Argumentation and Artifact for Dialog Support},
url = {http://link.springer.com/10.1007/978-3-642-00207-6_7},
volume = 5384,
wos = {000266106900007},
year = 2009
} @incollection{simulation-massimulationbook09,
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Multi-Agent Systems: Simulation and Applications},
chapter = 5,
doi = {10.1201/9781420070248-15},
editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
eisbn = {978-1-3152-1878-6},
iris = {11585/82469},
isbn = {978-1-4200-7023-1},
isbn10 = {1-4200-7023-1},
isbn13 = {978-1-4200-7023-1},
month = jun,
pages = {133--165},
publisher = {CRC Press},
scopus = {2-s2.0-85068357847},
series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
url = {http://crcpress.com/product/isbn/9781420070231},
year = 2009
} @incollection{cartago-promasbookII,
author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko and Omicini, Andrea},
booktitle = {Multi-Agent Programming II: Languages, Platforms and Applications},
chapter = 8,
doi = {10.1007/978-0-387-89299-3_8},
editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jurgen and El Fallah Seghrouchni, Amal},
eisbn = {978-0-387-89299-3},
iris = {11585/82468},
isbn = {978-0-387-89298-6},
month = jun,
pages = {259--288},
part = {II},
publisher = {Springer},
series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
title = {Environment Programming in {{\sf CArtAgO,
url = {http://link.springer.com/chapter/10.1007/978-0-387-89299-3_8},
year = 2009
} }}}
@inproceedings{ecosystem-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Doi = {10.1145/1529282.1529556},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12}}},
Title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
Url = {http://dl.acm.org/citation.cfm?id=1529556},
Volume = {II},
Year = 2009}
@incollection{ai-ifipbook2009,
acm = {10.5555/1793943.1793952},
author = {Omicini, Andrea and Piunti, Michele and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Artificial Intelligence: An International Perspective},
chapter = 9,
doi = {10.1007/978-3-642-03226-4_9},
editor = {Bramer, Max},
eissn = {1611-3349},
iris = {11585/82470},
isbn10 = {3-642-03225-7},
isbn13 = {978-3-642-03225-7},
issn = {0302-9743},
pages = {157--173},
publisher = {Springer},
scopus = {2-s2.0-70350627497},
series = {Lecture Notes in Computer Science},
subseries = {LNAI: State-of-the-Art Survey},
title = {Agents, Intelligence, and Tools},
url = {http://link.springer.com/10.1007/978-3-642-03226-4_9},
volume = 5640,
wos = {000268976000009},
year = 2009
} @inproceedings{selforgcoord-sac09,
acm = {1529585},
author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
doi = {10.1145/1529282.1529585},
editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
iris = {11585/71835},
isbn = {978-1-60558-166-8},
location = {Honolulu, Hawai'i, USA},
month = {8--12}}},
scopus = {2-s2.0-68749114381},
title = {A Framework for Modelling and Implementing Self-Organising Coordination},
url = {http://dl.acm.org/citation.cfm?id=1529585},
volume = {III},
year = 2009
} @inproceedings{acc-iat2009,
acm = {1632219},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
booktitle = {The WI-IAT 2009 Workshops Proceedings},
doi = {10.1109/WI-IAT.2009.335},
eisbn = {978-1-4244-5331-3},
ieee = {5285035},
iris = {11585/82473},
isbn = {978-0-7695-3801-3},
keywords = {Agent Coordination Context; MAS Infrastructure; Coordination; TuCSoN; ReSpecT},
location = {Milano, Italy},
month = {15--18}}},
publisher = {IEEE Computer Society},
scholar = {4632009932343186181},
scopus = {2-s2.0-84856824070},
title = {General-Purpose Coordination Abstractions for Managing Interaction in {MAS}},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5285035},
wos = {000279801400123},
year = 2009
} @article{collectivesort-scp74,
Author = {Casadei, Matteo and Viroli, Mirko and Gardelli, Luca},
Booktitle = {Special Issue on the 5th International Workshop on Foundations of Coordination Languages and Architectures (FOCLASA '06)},
Doi = {10.1016/j.scico.2008.09.018},
Editor = {Pimentel, Ernesto and Jacquet, Jean-Marie},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Self-Organising Systems, Tuple Spaces, Stochastic Simulations, Collective Sort},
Number = 9,
Pages = {702--722},
Publisher = {Elsevier Science B. V.},
Title = {On the Collective Sort Problem for Distributed Tuple Spaces},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642309000318},
Volume = 74,
Year = 2009} @article{aose-mags5,
acm = {10.5555/1544150.1544153},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko},
doi = {10.3233/MGS-2009-0118},
editor = {Weyns, Danny and Omicini, Andrea},
eissn = {1875-9076},
iris = {11585/82467},
issn = {1574-1702},
journal = {Multiagent and Grid Systems},
note = {Special Issue ``Engineering Environments in Multi-Agent Systems''},
number = 1,
pages = {37--57},
publisher = {IOS Press},
scopus = {2-s2.0-85006305758},
title = {Environment in {A}gent-{O}riented {S}oftware {E}ngineering Methodologies},
url = {http://content.iospress.com/articles/multiagent-and-grid-systems/mgs00118},
volume = 5,
wos = {WOS:000212584100003},
year = 2009
} @incollection{biochemicaltuplespaces-coordination09,
Address = {Lisbon, Portugal},
Author = {Viroli, Mirko and Casadei, Matteo},
Booktitle = {Coordination Languages and Models},
Doi = {10.1007/978-3-642-02053-7_8},
Editor = {Field, John and Vasconcelos, Vasco T.},
Isbn = {978-3-642-02052-0},
Issn = {0302-9743},
Month = jun,
Note = {11th International Conference (COORDINATION 2009), Lisbon, Portugal, } # jun # { 2009. Proceedings},
Pages = {143--162},
Publisher = {Springer},
Series = {LNCS},
Title = {Biochemical Tuple Spaces for Self-Organising Coordination},
Url = {http://www.springerlink.com/content/jx783250031742uu/},
Volume = 5521,
Year = 2009} @incollection{EcoservicesIdc08,
Author = {Zambonelli, Franco and Viroli, Mirko},
Booktitle = {Intelligent Distributed Computing, Systems and Applications},
Doi = {10.1007/978-3-540-85257-5_3},
Isbn = {978-3-540-85256-8},
Issn = {1860-949X},
eissn = {1860-9503},
Keywords = {Self-organising systems, Ecoservices, Bio-inspired models, Adaptive systems, Infrastructures},
Month = sep,
Note = {2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Italy, 18--19~} # sep # {~2008. Proceedings},
Pages = {23--32},
Publisher = {Springer},
Series = {Studies in Computational Intelligence},
Title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
Volume = {162/2008},
Year = 2008}
@incollection{intro-entcs194,
Author = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
Doi = {10.1016/j.entcs.2008.03.095},
Editor = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Number = 4,
Pages = {1--3},
Publisher = {Elsevier Science B.V.},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Preface},
Volume = 194,
Year = 2008}
@article{RVC-FOCLASA2007-ENTCS2008,
Author = {Ricci, Alessandro and Viroli, Mirko and Cimadamore, Maurizio},
Doi = {10.1016/j.entcs.2008.03.102},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {multiprogramming, agents and artifacts, Multiagent systems, concurrent programming, core calculi},
Month = apr,
Note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
Number = 4,
Pages = {111--132},
Publisher = {Elsevier Science B.V.},
Title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus},
Volume = 194,
Year = 2008} @article{generics-scp73,
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2008.06.005},
Editor = {Mernik, Marjan},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Generic types, Wildcards, Java, Reification},
Month = oct,
Note = {Selected Papers from the 22th ACM Symposium on Applied Computing (SAC 2007)},
Number = {2--3},
Pages = {59--75},
Publisher = {Elsevier Science B.V.},
Title = {On the reification of {J}ava wildcards},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230800066X},
Volume = 73,
Year = 2008} @article{selforg-ijaose2,
acm = {10.1504/IJAOSE.2008.017314},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
doi = {10.1504/IJAOSE.2008.017314},
editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
eissn = {1746-1383},
iris = {11585/62551},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {collective sorting; self-organisation; emergence; simulation; tuning; patterns; multi-agent systems; MAS design; artefacts; agent-based systems; metamodelling; environmental agents; tuple spaces; social insects},
note = {Special Issue on Multi-Agent Systems and Simulation},
number = 2,
pages = {171--195},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-77954568138},
title = {Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach},
url = {http://www.inderscience.com/info/inarticle.php?artid=17314},
urlpdf = {http://inderscience.metapress.com/content/t062gp2g6j688pvl/fulltext.pdf},
volume = 2,
year = 2008
} @inproceedings{patj-sac08,
Address = {Fortaleza, Cear{\'a}, Brazil},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
Doi = {10.1145/1363686.1363740},
Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-59593-753-7},
Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
Month = {16--20}}},
Publisher = {ACM},
Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
Volume = 1,
Year = 2008}
@incollection{aea-promasV,
acm = {1793542},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Programming Multi-Agent Systems},
doi = {10.1007/978-3-540-79043-3_6},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
eissn = {1611-3349},
iris = {11585/62539},
isbn = {978-3-540-79042-6},
issn = {0302-9743},
month = apr,
note = {5th International Workshop (ProMAS 2007), Honolulu, HI, USA, 15~} # may # {~2007. Revised and Invited Papers},
numpages = 4908,
pages = {89--106},
publisher = {Springer},
scopus = {2-s2.0-43949095159},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {A\&A} Programming Model and Technology for Developing Agent Environments in {MAS}},
url = {http://link.springer.com/10.1007/978-3-540-79043-3_6},
volume = 4908,
wos = {000255942800006},
year = 2008
} @article{PolymorphismJfp18,
issn = {0956-7968},
volume = 18,
title = {Lightweight Family Polymorphism},
publisher = {Cambridge University Press},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1827916},
number = 3,
month = may,
doi = {10.1017/S0956796807006405},
keywords = {inheritance, family polymorphism, Featherweight Java},
note = {A preliminary summary appeared in the proceedings of the third Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, Tsukuba, Japan, November 2005, Springer-Verlag, pp. 161-177},
eissn = {1469-7653},
year = 2008,
pages = {285-331},
journal = {Journal of Functional Programming},
author = {Saito, Chieri and Igarashi, Atsushi and Viroli, Mirko}} @article{artifacts-jaamas17,
acm = {10.1007/s10458-008-9053-x},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s10458-008-9053-x},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1573-7454},
iris = {11585/62574},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {Artifact, A&A meta-model, MAS environment, Activity theory, Distributed cognition, Coordination, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure},
month = dec,
note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
number = 3,
pages = {432--456},
publisher = {Springer},
publonsid = {13197269},
scopus = {2-s2.0-52949149709},
title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
url = {http://link.springer.com/10.1007/s10458-008-9053-x},
volume = 17,
wos = {000259411800004},
year = 2008
} @incollection{simpa-lads07,
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
issn = {0302-9743},
venue = {LNCS},
volume = {5118},
title = {{simpA}: A Simple Agent-Oriented {J}ava Extension for Developing Concurrent Applications},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems},
publisher = {Springer Berlin / Heidelberg},
doi-springer = {10.1007/978-3-540-85058-8_16},
url = {http://www.springerlink.com/content/ew0v841266521414/},
series = {LNCS},
month = {July},
doi = {10.1007/978-3-540-85058-8_16},
isbn-13 = {978-3-540-85057-1},
isbn = {978-3-540-85057-1},
status = {Published},
eissn = {1611-3349},
year = 2008,
pages = {261--278},
note = {First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers}
} @article{respect-entcs194,
acm = {10.1016/j.entcs.2008.03.101},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
doi = {10.1016/j.entcs.2008.03.101},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
iris = {11585/62571},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
month = apr,
note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
number = 4,
pages = {93--109},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-41949136030},
series = {Electronic Notes in Theoretical Computer Science},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
volume = 194,
wos = {WOS:000214264700007},
year = 2008
} @inproceedings{collectivesort-coma08,
venue = {Rome, Italy},
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. Workshop on Coordination Models and Applications (CoMA 2008)},
Editor = {Nixon, Lyndon J. B. and Bortenschlager, Manfred and Simperl, Elena and Tolksdorf, Robert},
Isbn={978-0-7695-3315-5},
Month = {23--25}}},
year = 2008,
author = {Casadei, Matteo and Viroli, Mirko and Santarelli, Marco}}
@inproceedings{selforgcoord-saso08,
Address = {Venice, Italy},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08)},
Doi = {10.1109/SASO.2008.18},
Editor = {Brueckner, Sven and Roberson, Paul and Bellur, Umesh},
Isbn={978-0-7695-3404-6},
Month = {20--24}}},
Title = {Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks},
Url ={http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4663425},
Year = 2008} @incollection{swarmlinda-lncs4725,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Self-Organizing Systems},
Doi = {10.1007/978-3-540-74917-2},
Editor = {Hutchison, Davis and Katz, Randy},
Elsevier-Ref = {LNCS4725},
Isbn = {978-3-540-74916-5},
Issn = {0302-9743},
eissn = {1611-3349},
Month = aug,
Note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11--13~} # sep # {~2007. Proceedings},
Pages = {146--160},
Publisher = {Springer},
Series = {LNCS},
Title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems},
Url = {http://www.springerlink.com/content/f602r041350x5u8v/},
Volume = 4725,
Year = 2007} @article{collectivesort-entcs175,
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Doi = {10.1016/j.entcs.2007.03.006},
Editor = {Canal, Carlos and Viroli, Mirko},
Elsevier-Ref = {ENTCS1735},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
Month = jun,
Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
Number = 2,
Pages = {59--80},
Publisher = {Elsevier Science B.V.},
Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
Volume = 175,
Year = 2007} @incollection{cartago-e4masIII,
acm = {1759348},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Environments for MultiAgent Systems III},
chapter = 4,
doi = {10.1007/978-3-540-71103-2_4},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
pages = {67--86},
part = {Models, Architecture, and Design},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049162300},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{{\sf CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_4},
volume = 4389,
wos = {000245775800004},
year = 2007
} }}})))
((({{{ @inproceedings{swarmlinda-cec07,
title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). },
publisher = {IEEE Computer Society},
month = {25--28}}},
author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}} }}})))
((({{{ @incollection{selforg-ceemas07,
acm = {10.1007/978-3-540-75254-7_13},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Multi-Agent Systems and Applications {V}},
doi = {10.1007/978-3-540-75254-7_13},
editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
eisbn = {978-3-540-75254-7},
isbn = {978-3-540-75253-0},
issn = {0302-9743},
month = sep,
note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
pages = {123--132},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049127353},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Design Patterns for Self-Organising Systems},
url = {http://link.springer.com/10.1007/978-3-540-75254-7_13},
volume = 4696,
wos = {000250900900013},
year = 2007
} }}})))
((({{{ @article{envinfra-jaamas14,
Author = {Viroli, Mirko and Holvoet, Tom and Ricci, Alessandro and Schelfthout, Kurt and Zambonelli, Franco},
Doi = {10.1007/s10458-006-9001-6},
Editor = {Weyns, Danny and Parunak, H. Van Dyke},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = jul,
Note = {Special Issue: Environment for Multi-Agent Systems},
Publisher = {Springer Netherlands},
Title = {Infrastructures for the Environment of Multiagent Systems},
Volume = 14,
Number = 1,
Pages = {49--60},
Year = 2007} }}})))
((({{{ @article{orchestration-scp66,
Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
Doi = {doi:10.1016/j.scico.2007.01.008},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
Month = may,
Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
Number = 3,
Pages = {226--245},
Publisher = {Elsevier Science B.V.},
Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
Volume = 66,
Year = 2007}
}}})))
((({{{ @article{OrchestrationJLAP70,
Author = {Viroli, Mirko},
Doi = {doi:10.1016/j.jlap.2006.05.006},
Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
Issn = {1567-8326},
Journal = {Journal of Logic and Algebraic Programming},
Keywords = {Web Services, Orchestration, Process Algebra},
Month = jan,
Note = {Special Issue on Web Services and Formal Methods},
Number = 1,
Pages = {74--95},
Publisher = {Elsevier Science B.V.},
Title = {A core calculus for correlation in orchestration languages},
Volume = 70,
Year = 2007} }}})))
((({{{ @incollection{selforg-e4masIII,
acm = {1759362},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
booktitle = {Environments for MultiAgent Systems III},
chapter = 15,
doi = {10.1007/978-3-540-71103-2_15},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
numpages = 18,
pages = {254--271},
part = {Applications},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-38049129687},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_15},
volume = 4389,
wos = {000245775800015},
year = 2007
} }}})))
((({{{ @inproceedings{artifacts-aamas07,
acm = {1329308},
address = {Honolulu, Hawai'i, USA},
articleno = 150,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
doi = {10.1145/1329125.1329308},
editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
iris = {11585/45688},
isbn = {978-81-904262-7-5},
keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
month = {14--18}}},
scopus = {2-s2.0-60349099652},
title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
url = {http://dl.acm.org/citation.cfm?id=1329308},
year = 2007
} }}})))
((({{{ @inproceedings{simpa-pppj07,
Address = {Lisboa, Portugal},
Author = {Ricci, Alessandro and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007)},
Doi = {10.1145/1294325.1294350},
Editor = {Amaral, Vasco},
Isbn = {978-1-59593-672-1},
Month = {5--7}}},
Series = {ACM International Conference Proceeding},
Title = {{{\sf simpA}}: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of {J}ava},
Volume = {272},
Year = 2007}
}}})))
((({{{ @inproceedings{swarmlinda-lncs4676,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Cooperative Information Agents XI},
Doi = {10.1007/978-3-540-75119-9\_18},
Editor = {Klusch, Matthias and Hindriks, Koen and Papazoglou, Mike and Sterling, Mike},
Elsevier-Ref = {LNCS4676},
Isbn = {978-3-540-75118-2},
Issn = {0302-9743},
eissn = {1611-3349},
Month = sep,
Note = {11th International Workshop on Cooperative Information Agents (CIA 2007), Delf, The Netherland, 19--21~} # sep # {~2007. Proceedings},
Pages = {255--269},
Publisher = {Springer},
Series = {LNCS},
Title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
Url = {http://www.springerlink.com/content/t04756206478j775/},
Volume = 4676,
Year = 2007} }}})))
((({{{ @article{IntroJOT6,
issn = {1660-1769},
publisher = {ETH Swiss Federal Institute of Technology},
journal = {Journal of Object Technology},
author = {Ancona, Davide and Viroli, Mirko},
title = {Guest Editorial},
year = 2007,
note = {Special Issue: OOPS Track at SAC 2006 / France},
number = 2,
url = {http://www.jot.fm/contents/issue_2007_02/editorial.html},
editor = {Ancona, Davide and Viroli, Mirko},
volume = 6,
doi = {10.5381/jot.2007.6.2.e1}} }}})))
((({{{ @article{rbacmas-aai21,
acm = {10.1080/08839510701253674},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
doi = {10.1080/08839510701253674},
editor = {Bandini, Stefania and Manzoni, Sara},
eissn = {1087-6545},
iris = {11585/45413},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = apr,
note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
number = 4--5,
pages = {443--467},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-34248579034},
title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
url = {http://www.tandfonline.com/doi/10.1080/08839510701253674},
volume = 21,
wos = {000246536600011},
year = 2007
} }}})))
((({{{ @inproceedings{swarmlinda-saso07,
Address = {Boston, Massachusetts, USA},
Author = {Casadei, Matteo and Menezes, Ronaldo and Tolksdorf, Robert and Viroli, Mirko},
Booktitle = {1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)},
Editor = {Babaoglu, Ozalp and Shrobe, Howard},
Month = {9--11}}},
Title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
Doi = {10.1109/SASO.2007.42},
Year = 2007} }}})))
((({{{ @article{preface-scp66,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2007.02.001},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05)},
Number = 3,
Pages = {181--183},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000342},
Volume = 66,
Year = 2007} }}})))
((({{{ @inproceedings{patj-pppj07,
Address = {New York, NY, USA},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
Doi = {10.1145/1294325.1294352},
Isbn = {978-1-59593-672-1},
Location = {Lisboa, Portugal},
Pages = {197--202},
Publisher = {ACM},
Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
Year = 2007}
}}})))
((({{{ @inproceedings{collectivesort-coord-sac07,
title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
address = {New York, NY, USA},
booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
publisher = {ACM },
doi = {10.1145/1244002.1244086},
isbn = {1-59593-480-4},
editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard },
year = 2007,
pages = {354--359},
author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca}} }}})))
((({{{ @inCollection{IntroENTCS175,
author = {Carlos, Canal and Viroli, Mirko},
title = {Preface},
series = {Electronic Notes in Theoretical Computer Science},
editor = {Carlos, Canal and Viroli, Mirko},
volume = 175,
number = 2,
pages = {1--2},
year = 2007,
publisher = {Elsevier Science B.V.},
issn = {1571-0661},
booktitle = {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
doi = {10.1016/j.entcs.2005.12.029}
}
}}})))
((({{{ @article{PolymorphismOoplsa2007,
issn = {0362-1340},
volume = 42,
title = {Variant path types for scalable extensibility},
address = {New York, NY, USA},
publisher = {ACM},
number = 10,
doi = {10.1145/1297027.1297037},
keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
isbn = {978-1-59593-786-5},
note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and Steele, Jr., Guy L.},
year = 2007,
pages = {113--132},
journal = {ACM SIGPLAN Notices},
author = {Igarashi, Atsushi and Viroli, Mirko}} }}})))
((({{{ @incollection{cogstig-e4masIII,
acm = {1759352},
author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
booktitle = {Environments for MultiAgent Systems III},
chapter = 7,
doi = {10.1007/978-3-540-71103-2_7},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eisbn = {978-3-540-71103-2},
iris = {11585/45690},
isbn = {978-3-540-71102-5},
issn = {0302-9743},
month = may,
note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
numpages = 4389,
pages = {124--140},
part = {Mediated Interaction and Stigmery},
publisher = {Springer Berlin Heidelberg},
publonsid = {13197240},
scholar = {8497596473192410111},
scopus = {2-s2.0-38049179113},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
volume = 4389,
wos = {000245775800007},
year = 2007
} }}})))
((({{{ @article{respect-entcs180,
acm = {10.1016/j.entcs.2006.10.049},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
doi = {10.1016/j.entcs.2006.10.049},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
month = jun,
note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
number = 2,
numpages = 180,
pages = {123--144},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-34250167192},
series = {Electronic Notes in Theoretical Computer Science},
title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
volume = 180,
wos = {WOS:000214244100009},
year = 2007
} }}})))
</div>
<div class="mainselectbottom">
22 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2006" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2006&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2006
</a>
</div>
<div>
((({{{ @incollection{artifacts-selmasIV,
acm = {2168364},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
doi = {10.1007/11738817_5},
editor = {Garcia, Alessandro F. and Choren, Ricardo and Lucena, Carlos and Giorgini, Paolo and Holvoet, Tom and Romanovsky, Alexander},
eisbn = {978-3-540-33583-2},
isbn = {978-3-540-33580-1},
isbn10 = {3-540-33580-3},
issn = {0302-9743},
month = apr,
note = {Invited Paper},
pages = {71--90},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-34250005140},
series = {Lecture Notes in Computer Science},
title = {Coordination Artifacts as First-class Abstractions for {MAS} Engineering: State of the Research},
url = {http://link.springer.com/10.1007/11738817_5},
volume = 3914,
wos = {000238283600005},
year = 2006
} }}})))
((({{{ @article{acc-scp63,
acm = {10.1016/j.scico.2005.07.014},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1016/j.scico.2005.07.014},
editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
iris = {11585/29647},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
month = nov,
note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
number = 1,
pages = {88--107},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-33748754195},
title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
volume = 63,
wos = {000241356300006},
year = 2006
} }}})))
((({{{ @article{artifacts-ker21,
acm = {10.1017/S0269888906000774},
author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
doi = {10.1017/S0269888906000774},
eissn = {1469-8005},
iris = {11585/28316},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = mar,
number = 1,
pages = {49--69},
publisher = {Cambridge University Press},
scopus = {2-s2.0-33745864838},
title = {Operating Instructions for Intelligent Agent Coordination},
url = {http://journals.cambridge.org/action/displayAbstract?aid=451122},
volume = 21,
wos = {000239352500003},
year = 2006
} }}})))
((({{{ @article{Cabano2006139,
title = "Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "154",
number = "1",
pages = "139 - 158",
year = "2006",
issn = "1571-0661",
doi = "10.1016/j.entcs.2005.12.037",
url = "http://www.sciencedirect.com/science/article/pii/S1571066106001836",
author = "Michele Cabano and Enrico Denti and Alessandro Ricci and Mirko Viroli",
} }}})))
((({{{ @inCollection{IntroENTCS154,
author = {Carlos, Canal AND Viroli, Mirko},
title = {Preface},
series = {Electronic Notes in Theoretical Computer Science},
editor = {Carlos, Canal AND Viroli, Mirko},
volume = 154,
number = 1,
pages = {1--2},
year = 2006,
publisher = {Elsevier Science B.V.},
issn = {1571-0661},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
doi = {10.1016/j.entcs.2005.12.029}
}
}}})))
((({{{ @incollection{selforg-esoaIII,
acm = {10.1007/11734697_12},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {Engineering Self-Organising Systems},
chapter = 12,
doi = {10.1007/11734697_12},
editor = {Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
eisbn = {978-3-540-33352-4},
iris = {11585/27763},
isbn = {978-3-540-33342-5},
isbn-10 = {3-540-33342-8},
isbn10 = {3-540-33342-8},
issn = {0302-9743},
note = {3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26~} # jul # {~2005. Revised Selected Papers},
pages = {153--168},
part = {II},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-33745800439},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {On the Role of Simulations in Engineering Self-Organising {MAS}: The Case of an Intrusion Detection System in \textsf{TuCSoN}},
url = {http://link.springer.com/10.1007/11734697_12},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11734697_12.pdf},
volume = 3910,
wos = {000238109300012},
year = 2006
} }}})))
((({{{ @article{framework-foclasa06,
author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
doi = {10.1016/j.entcs.2005.12.032},
journal = {Electronic Notes in Theoretical Computer Science},
number = 1,
pages = {43--61},
series = {Electronic Notes in Theoretical Computer Science},
title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
url = {http://www.sciencedirect.com/science/article/pii/S1571066106001782},
volume = 154,
year = 2006
} }}})))
((({{{ @incollection{interaction-interbook,
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Interactive Computation: The New Paradigm},
chapter = 15,
doi = {10.1007/3-540-34874-3_15},
editor = {Goldin, Dina Q. and Smolka, Scott A. and Wegner, Peter},
eisbn = {978-3-540-34874-0},
iris = {11585/31257},
isbn = {978-3-540-34666-1},
isbn10 = {3-540-34666-X},
month = sep,
pages = {395--414},
part = {IV},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-34249978147},
title = {The Multidisciplinary Patterns of Interaction from Sciences to {C}omputer {S}cience},
url = {http://link.springer.com/10.1007/3-540-34874-3_15},
year = 2006
} }}})))
((({{{ @article{acc-aai20,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
doi = {10.1080/08839510500484207},
editor = {Petta, Paolo and Müller, Jörg P.},
eissn = {1087-6545},
iris = {11585/27302},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = feb # {--} # apr,
note = {Special Issue: Best of ``From Agent Theory to Agent Implementation (AT2AI) -- 4''},
number = 2--4,
pages = {179--202},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-33645779466},
title = {Agent Coordination Contexts in a {MAS} Coordination Infrastructure},
url = {http://www.tandfonline.com/doi/full/10.1080/08839510500484207},
volume = 20,
wos = {000236388900005},
year = 2006
} }}})))
((({{{ @article{agensfaber-entcs150,
acm = {10.1016/j.entcs.2006.03.003},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005)},
doi = {10.1016/j.entcs.2006.03.003},
editor = {Boella, Guido and van der Torre, Leendert},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
month = {29~} # may,
note = {1st International Workshop ``Coordination and Organization'' (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22~} # apr # {~2005. Proceedings},
number = 3,
pages = {21--36},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-33646702626},
series = {Electronic Notes in Theoretical Computer Science},
title = {{\sl {A}gens {F}aber}: Toward a Theory of Artefacts for {MAS}},
url = {http://www.sciencedirect.com/science/article/pii/S1571066106003276},
volume = 150,
year = 2006
} }}})))
((({{{ @incollection{artifacts-promasIII,
acm = {2180118},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Programming Multi-Agent Systems},
doi = {10.1007/11678823_13},
editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
eisbn = {978-3-540-32617-5},
isbn = {978-3-540-32616-8},
isbn10 = {3-540-66281-2},
issn = {0302-9743},
keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing, programming MAS},
month = mar,
note = {3rd International Workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26~} # jul # {~2005. Revised and Invited Papers},
numpages = 16,
pages = {206--221},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-33745661012},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Programming {MAS} with Artifacts},
url = {http://link.springer.com/10.1007/11678823_13},
volume = 3862,
wos = {000236893200013},
year = 2006
} }}})))
((({{{ @article{generics-toplas28,
Address = {New York, NY, USA},
Author = {Igarashi, Atsushi and Viroli, Mirko},
Doi = {10.1145/1152649.1152650},
Issn = {0164-0925},
Journal = {ACM Transactions on Programming Languages and Systems},
Month = sep,
Number = 5,
Pages = {795--847},
Publisher = {ACM Press},
Title = {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
Volume = 28,
Year = 2006} }}})))
</div>
<div class="mainselectbottom">
12 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2006 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2005" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2005&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2005
</a>
</div>
<div>
((({{{ @incollection{oi-acIII,
Author = {Viroli, Mirko and Ricci, Alessandro},
Booktitle = {Agent Communication},
Doi = {10.1007/b106468},
Editor = {van Eijk, Rogier M. and Huget, Marc-Philippe and Dignum, Frank},
Isbn = {978-3-540-25015-9},
Isbn-10 = {3-540-25015-8},
Issn = {0302-9743},
eissn = {1611-3349},
Keywords = {artifacts, operating instructions, timing},
Month = jan,
Note = {AAMAS 2004 International Workshop (AC 2004), New York, NY, USA, 19~} # jul # {~2004. Revised Selected and Invited Papers},
Pages = {173--192},
Publisher = {Springer},
Series = {LNAI},
Title = {Agent Interaction Semantics by Timed Operating Instructions},
Url = {http://www.springerlink.com/content/76j4c80xvvjqpwkc/},
Volume = 3396,
Year = 2005}
}}})))
((({{{ @incollection{coord-e4masI,
acm = {10.1007/978-3-540-32259-7_10},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Environments for Multi-Agent Systems},
doi = {10.1007/b106134},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eissn = {1611-3349},
isbn = {978-3-540-24575-9},
isbn10 = {3-540-24575-8},
issn = {0302-9743},
month = feb,
note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
pages = {190--214},
publisher = {Springer},
scopus = {2-s2.0-24144449939},
series = {LNAI},
title = {Environment-Based Coordination Through Coordination Artifacts},
url = {http://link.springer.com/10.1007/978-3-540-32259-7_10},
volume = 3374,
wos = {000228360200010},
year = 2005
} }}})))
((({{{ @article{env-ker20,
author = {Weyns, Danny and Schumacher, Michael I. and Ricci, Alessandro and Viroli, Mirko and Holvoet, Tom},
doi = {10.1017/S0269888905000457},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1469-8005},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = jun,
note = {Special Issue ``{R}evised Reports from Selected {T}echnical {F}orum {G}roups at the 1st \& 2nd {A}gent{L}ink {III} {T}echnical {F}orums''},
number = 2,
pages = {127--141},
publisher = {Cambridge University Press},
title = {Environments in Multiagent Systems},
url = {http://journals.cambridge.org/abstract_S0269888905000457},
volume = 20,
year = 2005
} }}})))
((({{{ @article{rbac-entcs128,
acm = {10.1016/j.entcs.2004.11.045},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)},
doi = {10.1016/j.entcs.2004.11.045},
editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keywords = {Role-based access control, multi-agent systems, coordination infrastructure},
month = {3~} # may,
note = {2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), 30~} # aug # {~2004. Proceedings},
number = 5,
pages = {65--85},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-18444388612},
series = {Electronic Notes in Theoretical Computer Science},
title = {{RBAC} for Organisation and Security in an Agent Coordination Infrastructure},
url = {http://www.sciencedirect.com/science/article/pii/S1571066105001994},
volume = 128,
wos = {WOS:000214054000007},
year = 2005
} }}})))
((({{{ @inproceedings{acc-aamas05,
acm = {1082687},
address = {Utrecht, The Netherlands},
author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
booktitle = {4th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2005)},
doi = {10.1145/1082473.1082687},
editor = {Dignum, Frank and Dignum, Virginia and Koenig, Sven and Kraus, Sarit and Singh, Munindar P. and Wooldridge, Michael},
iris = {11585/4698},
isbn = {1-59593-094-9},
month = {25--29}}},
publisher = {ACM},
scopus = {2-s2.0-33644791018},
title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
url = {http://dl.acm.org/citation.cfm?doid=1082687},
volume = 3,
year = 2005
} }}})))
((({{{ @article{overview-aaecc16,
acm = {10.1007/s00200-005-0170-3},
author = {Viroli, Mirko and Omicini, Andrea},
doi = {10.1007/s00200-005-0170-3},
editor = {Viroli, Mirko and Omicini, Andrea},
eissn = {1432-0622},
iris = {11585/4116},
issn = {0938-1279},
journal = {Applicable Algebra in Engineering, Communication and Computing},
month = aug,
note = {Special Issue: Process Algebras and Multi-Agent Systems. Editorial},
number = {2-3},
pages = {69--75},
publisher = {Springer},
scopus = {2-s2.0-23844538485},
title = {Process-Algebraic Approaches for Multi-Agent Systems: An Overview},
url = {http://link.springer.com/10.1007/s00200-005-0170-3},
volume = 16,
wos = {000231164800001},
year = 2005
} }}})))
((({{{ @incollection{timed-coord05,
acm = {10.1007/11417019_18},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Coordination Models and Languages},
doi = {10.1007/11417019_18},
editor = {Jacquet, Jean-Marie and Picco, Gian Pietro},
eisbn = {978-3-540-32006-7},
isbn = {978-3-540-25630-4},
isbn10 = {3-540-25630-X},
issn = {0302-9743},
month = apr,
note = {7th International Conference (COORDINATION 2005), Namur, Belgium, 20--23~} # apr # {~2005. Proceedings},
pages = {268--282},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-24644471622},
series = {LNCS},
title = {Time-Aware Coordination in {{\sf ReSpecT}}},
url = {http://link.springer.com/10.1007/11417019_18},
volume = 3454,
wos = {000229104200018},
year = 2005
} }}})))
((({{{ @incollection{bic-e4masI,
acm = {10.1007/978-3-540-32259-7_11},
author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Environments for Multi-Agent Systems},
doi = {10.1007/978-3-540-32259-7_11},
editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
eissn = {1611-3349},
isbn = {978-3-540-24575-9},
isbn10 = {3-540-24575-8},
issn = {0302-9743},
month = feb,
note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
pages = {215--231},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-24144485892},
series = {LNAI},
title = {``{E}xhibitionists'' and ``Voyeurs'' do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages},
url = {http://link.springer.com/10.1007/978-3-540-32259-7_11},
volume = 3374,
wos = {000228360200011},
year = 2005
} }}})))
((({{{ @inproceedings{acc-aiia05,
acm = {10.1007/11558590_21},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
booktitle = {AI*IA 2005: Advances in Artificial Intelligence},
doi = {10.1007/11558590_21},
editor = {Bandini, Stefania and Manzoni, Sara},
eisbn = {978-3-540-31733-3},
iris = {11585/4114},
isbn = {978-3-540-29041-4},
isbn-10 = {3-540-29041-9},
isbn10 = {3-540-29041-9},
issn = {0302-9743},
month = {21-23~} # sep,
note = {9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Milano, Italy, 21--23~} # sep # {~2005. Proceedings},
pages = {198--211},
publisher = {Springer},
scopus = {2-s2.0-33646123774},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
url = {http://link.springer.com/10.1007/11558590_21},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11558590_21.pdf},
volume = 3673,
wos = {WOS:000233291300021},
year = 2005
} }}})))
((({{{ @article{rbacmas-aaecc16,
acm = {10.1007/s00200-005-0174-z},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s00200-005-0174-z},
editor = {Viroli, Mirko and Omicini, Andrea},
eissn = {1432-0622},
iris = {11585/4115},
issn = {0938-1279},
journal = {Applicable Algebra in Engineering, Communication and Computing},
month = aug,
note = {Special Issue: Process Algebras and Multi-Agent Systems},
number = {2-3},
pages = {151--178},
publisher = {Springer},
scopus = {2-s2.0-23844445300},
title = {An Algebraic Approach for Modelling Organisation, Roles and Contexts in {MAS}},
url = {http://link.springer.com/10.1007/s00200-005-0174-z},
volume = 16,
wos = {000231164800004},
year = 2005
} }}})))
</div>
<div class="mainselectbottom">
10 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2005 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2004" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2004&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2004
</a>
</div>
<div>
((({{{ @inproceedings{coord-aamas04,
acm = {1018752},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
booktitle = {3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)},
doi = {10.1109/AAMAS.2004.10070},
editor = {Jennings, Nicholas R. and Sierra, Carles and Sonenberg, Liz and Tambe, Milind},
iris = {11585/3962},
isbn = {1-58113-864-4},
location = {New York, NY, USA},
month = {19--23}}},
scopus = {2-s2.0-4544292991},
title = {Coordination Artifacts: Environment-based Coordination for Intelligent Agents},
url = {http://dl.acm.org/citation.cfm?id=1018752},
volume = 1,
year = 2004
} }}})))
((({{{ @article{logop-entcs97,
author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
booktitle = {Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003},
doi = {10.1016/j.entcs.2004.04.033},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
iris = {11585/1799},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
month = {22~} # jul,
note = {2nd International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2003), Marseille, France, 2~} # sep # {~2003. Proceedings},
pages = {97--124},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-18944385606},
series = {Electronic Notes in Theoretical Computer Science},
title = {On the Semantics of Coordination Models for Distributed Systems: The {{\sc LogOp}} Case Study},
url = {http://www.sciencedirect.com/science/article/pii/S157106610405042X},
volume = 97,
year = 2004
} }}})))
((({{{ @article{coord-aai18,
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Cioffi, Marco and Rimassa, Giovanni},
doi = {10.1080/08839510490509036},
editor = {D'Inverno, Mark and Sierra, Carles and Zambonelli, Franco and Luck, Michael and Willmott, Steven},
eissn = {1087-6545},
iris = {11585/1797},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = oct # {--} # dec,
note = {Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems},
number = 9--10,
pages = {815--831},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-9244231130},
title = {Multi-agent Infrastructures for Objective and Subjective Coordination},
url = {http://www.tandfonline.com/doi/10.1080/08839510490509036},
volume = 18,
wos = {000224818800004},
year = 2004
} }}})))
((({{{ @inproceedings{fipa-sac2004,
acm = {967995},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Rimassa, Giovanni},
booktitle = {19th ACM Symposium on Applied Computing (SAC 2004)},
doi = {10.1145/967900.967995},
iris = {11585/6327},
isbn = {1-58113-812-1},
location = {Nicosia, Cyprus},
month = {14--17}}},
publisher = {ACM},
scopus = {2-s2.0-2442453665},
title = {Integrating Objective \& Subjective Coordination in Multi-Agent Systems},
url = {http://portal.acm.org/citation.cfm?doid=967900.967995},
year = 2004
} }}})))
</div>
<div class="mainselectbottom">
4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2004 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2003" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2003&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2003
</a>
</div>
<div>
((({{{ @article{GenericsCompJ46,
venue = {--},
volume = 46,
title = {A Type-Passing Approach for the Implementation of Parametric Methods in {Java}},
publisher = {Oxford University Press},
url = {http://comjnl.oxfordjournals.org/cgi/content/abstract/46/3/263},
number = 3,
doi = {doi:10.1093/comjnl/46.3.263},
status = {Published},
year = 2003,
pages = {263--294},
journal = {The Computer Journal},
author = {Viroli, Mirko}} }}})))
((({{{ @article{acc-entcs85,
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)},
doi = {10.1016/S1571-0661(04)80682-0},
editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
isbn = {0-444-50916-X},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
month = aug,
note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
number = 3,
pages = {17--36},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-2442460553},
series = {Electronic Notes in Theoretical Computer Science},
title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
volume = 85,
year = 2003
} }}})))
((({{{ @article{coord-entcs68,
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)},
doi = {10.1016/S1571-0661(05)80383-4},
editor = {Brogi, Antonio and Jacquet, Jean-Marie},
isbn = {0-444-51416-3},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
month = mar,
note = {1st International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24~} # aug # {~2002. Proceedings},
number = 3,
pages = {457--482},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-2442495814},
series = {Electronic Notes in Theoretical Computer Science},
title = {Coordination as a Service: Ontological and Formal Foundation},
url = {http://www.sciencedirect.com/science/article/pii/S1571066105803834},
volume = 68,
year = 2003
} }}})))
</div>
<div class="mainselectbottom">
3 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2003 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2002" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2002&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2002
</a>
</div>
<div>
((({{{ @inproceedings{obs-aamas02,
acm = {544913},
address = {Bologna, Italy},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
doi = {10.1145/544862.544913},
editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
isbn = {1-58113-480},
month = {15--19}}},
scopus = {2-s2.0-0036355135},
title = {Specifying Agent Observable Behaviour},
url = {http://dl.acm.org/citation.cfm?id=544913},
volume = 2,
year = 2002
} }}})))
((({{{ @incollection{obs-coord02,
acm = {713583},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Coordination Models and Languages},
doi = {10.1007/3-540-46000-4_33},
editor = {Arbab, Farhad and Talcott, Carolyn},
eisbn = {978-3-540-46000-8},
eissn = {1611-3349},
iris = {11585/951000},
isbn = {978-3-540-43410-8},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
pages = {364--379},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-23044534697},
series = {Lecture Notes in Computer Science},
title = {Tuple-based Models in the Observation Framework},
url = {http://link.springer.com/10.1007/3-540-46000-4_33},
volume = 2315,
wos = {000181348700033},
year = 2002
} }}})))
((({{{ @article{observation-jucs8,
author = {Viroli, Mirko and Omicini, Andrea},
doi = {10.3217/jucs-008-04-0423},
eissn = {0948-6968},
iris = {11585/950202},
issn = {0948-695x},
journal = {Journal of Universal Computer Science},
keywords = {coordination patterns, formal models, multi-agent systems},
month = apr,
number = 4,
pages = {423--451},
publisher = {J.UCS consortium},
scopus = {2-s2.0-0010220748},
title = {Modelling Agents as Observable Sources},
url = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable},
urlpdf = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable/Viroli_M.pdf},
volume = 8,
wos = {000177112700003},
year = 2002
} }}})))
((({{{ @inproceedings{coordevents-dcsw2002,
Author = {Viroli, Mirko and Ricci, Alessandro},
Booktitle = {22nd International Conference on Distributed Computing Systems},
Doi = {10.1109/ICDCSW.2002.1030835},
Isbn = {0-7695-1588-6},
Keywords = {JavaSpaces, multiagent systems, TSpaces, coordination infrastructures,coordination level, event notification,event-based systems, tuple-based coordination models},
Note = {Proceedings of the Workshops},
Pages = {595--601},
Publisher = {IEEE CS},
Title = {Tuple-based Coordination Models in Event-based Scenarios},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1030835},
Year = 2002} }}})))
((({{{ @article{observation-aai16,
author = {Viroli, Mirko and Omicini, Andrea},
doi = {10.1080/08839510290030480},
eissn = {1087-6545},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
keywords = {Multiagent Systems, Observation, Operational Semantics},
month = oct # {--} # dec,
note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
number = 9-10,
pages = {775--793},
publisher = {Taylor \& Francis},
scholar = {11585/950374},
scopus = {2-s2.0-0036819454},
title = {An Observation Approach to Semantics of Agents Communication Languages},
url = {http://www.tandfonline.com/doi/abs/10.1080/08839510290030480},
urlopenaccess = {https://www.tandfonline.com/doi/epdf/10.1080/08839510290030480},
urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030480},
volume = 16,
wos = {000179222400006},
year = 2002
} }}})))
</div>
<div class="mainselectbottom">
5 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2002 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2001" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2001&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2001
</a>
</div>
<div>
((({{{ @inproceedings{obs-sac2001,
acm = {372306},
address = {New York, NY, USA},
author = {Viroli, Mirko and Moro, Gianluca and Omicini, Andrea},
booktitle = {16th ACM Symposium on Applied Computing (SAC 2001)},
doi = {10.1145/372202.372306},
isbn = {1-58113-287-5},
location = {Las Vegas, NV, USA},
month = {11--14 } # mar,
note = {Special Track on Coordination Models, Languages and Applications},
pages = {166--175},
publisher = {ACM},
scopus = {2-s2.0-0002164742},
title = {On Observation as a Coordination Pattern: An Ontology and a Formal Framework},
url = {http://dl.acm.org/citation.cfm?id=372306},
year = 2001
} }}})))
</div>
<div class="mainselectbottom">
1 {{stringEngIta eng='publication in' ita='pubblicazione nel'/}} 2001 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2000" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2000&service=doi&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2000
</a>
</div>
<div>
((({{{ @article{GenericsOopsla2000,
volume = 35,
title = {Parametric polymorphism in {Java}: an approach to translation based on reflective features},
address = {New York, NY, USA},
doi = {10.1145/354222.353182},
publisher = {ACM},
number = 10,
keywords = {Generics, parametric polymorphism, Java},
journal = {ACM SIGPLAN Notices},
issn = {0362-1340},
status = {Published},
note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19
, Oct 2000},
year = 2000,
pages = {146--165},
author = {Viroli, Mirko and Natali, Antonio}} }}})))
</div>
<div id="bottom" class="mainselectbottom">
1 {{stringEngIta eng='publication in' ita='pubblicazione nel'/}} 2000 {{stringEngIta eng='with' ita='con'/}} DOI • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
0000-0003-2702-5702