Per Year

16 publications without IEEE No  /  2019  /  Mirko Viroli
 @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{ABDV-AAMAS2019,
 author = {Audrito, Giorgio and Bergamini, Sergio and Damiani, Ferruccio and Viroli, Mirko},
 title = {Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems},
 booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
 series = {AAMAS '19},
 year = {2019},
 isbn = {978-1-4503-6309-9},
 location = {Montreal QC, Canada},
 pages = {1618--1626},
 numpages = {9},
 url = {http://dl.acm.org/citation.cfm?id=3306127.3331882},
 acm = {3331882},
 publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
 address = {Richland, SC},
 keywords = {adaptive algorithm, aggregate programming, computational field, data aggregation, gradient},
}  
 @inproceedings{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{DBLP:conf/saso/CasadeiPSV19,
  author    = {Roberto Casadei and
               Danilo Pianini and
               Guido Salvaneschi and
               Mirko Viroli},
  title     = {On Context-Orientation in Aggregate Programming},
  booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
               2019},
  pages     = {92--97},
  year      = {2019},
  crossref  = {DBLP:conf/saso/2019fasw},
  url       = {https://doi.org/10.1109/FAS-W.2019.00035},
  doi       = {10.1109/FAS-W.2019.00035},
  timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
} 
 @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}
}
 
 @proceedings{,
	year = 2019,
	keywords = {Fluidware; IoT programming; coordination},
	status = {Published},
	venue_list = {--},
	series = {CEUR Workshop Proceedings},
	author = {Mariani, Stefano and Casadei, Roberto and Fornari, Fabrizio and Fortino, Giancarlo and Pianini, Danilo and Re, Barbara and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zambonelli, Franco},
	title = {Case studies for a new IoT programming paradigm: Fluidware},
	abstract = {A number of scientific and technological advancements enabled turning the Internet of Things vision into reality. However, there is still a bottleneck in designing and developing IoT applications and services: each device has to be programmed individually, and services are deployed to specific devices. The Fluidware approach advocates that to
truly scale and raise the level of abstraction a novel perspective is needed, focussing on device ensembles and dynamic allocation of resources. In this paper, we motivate the need for such a paradigm shift through three
case studies emphasising a mismatch between state of art solutions and desired properties to achieve},
	volume = 2502} 
 @inproceedings{DBLP:conf/saso/PianiniCV19,
  author    = {Danilo Pianini and
               Roberto Casadei and
               Mirko Viroli},
  title     = {Security in Collective Adaptive Systems: {A} Roadmap},
  booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
               2019},
  pages     = {86--91},
  year      = {2019},
  crossref  = {DBLP:conf/saso/2019fasw},
  url       = {https://doi.org/10.1109/FAS-W.2019.00034},
  doi       = {10.1109/FAS-W.2019.00034},
  timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
} 
16 publications in 2019 without IEEE No • topindexbottom