Per Sort
@article{fieldvmc-complintsys12,
abstract = {The vascular morphogenesis controller (VMC) is an approach to structure development inspired by the way plants branch and distribute nutrients. It has proven useful to guide shape formation in modular robotics as well as resource distribution in hierarchically-structured organisations, such as large companies. In this work, we propose FieldVMC: a generalisation of VMC, founded on the field-based approach known as aggregate computing, which is applicable to arbitrary topologies (i.e., undirected graphs rather than trees) and supports asynchronous and decentralised execution. We redesign VMC as a field-based computation, hence enabling the emergence of organisational hierarchies out of self-organising interactions among local entities. The benefits of our approach are manifold. Being decentralised and free from topological constraints, our approach makes VMC applicable to arbitrary networks; being based on a well-known computational model, inheriting scalability, asynchronicity, and self-organising capabilities; being implemented in a functional field-based computation framework, fostering reuse and composability. To support our claims, we conduct in-silico quantitative experiments comparing FieldVMC with the original VMC. The results demonstrate that FieldVMC is a monotonic extension of VMC, offering {{{(i)}}} faster convergence, and (ii) enhanced capabilities for capturing, analyzing, and engineering novel phenomena.},
apice = {FieldvmcComplintsys12},
author = {Angela Cortecchia and Giovanni Ciatto and Roberto Casadei and Danilo Pianini},
bibsource = {dblp computer science bibliography, https://dblp.org},
dblp = {journals/comintsys/CortecchiaCCP26},
doi = {10.1007/S40747-025-02141-Y},
journal = {Complex \& Intelligent Systems},
keywords = {Pattern formation, Growth regulation, Vascular morphogenesis controller, Self-organisation, Plant-inspired computing, Aggregate computing},
number = 2,
title = {{FieldVMC}: an asynchronous model and platform for self-organising morphogenesis of artificial structures},
url = {https://doi.org/10.1007/s40747-025-02141-y},
volume = 12,
year = 2026
}
abstract = {The vascular morphogenesis controller (VMC) is an approach to structure development inspired by the way plants branch and distribute nutrients. It has proven useful to guide shape formation in modular robotics as well as resource distribution in hierarchically-structured organisations, such as large companies. In this work, we propose FieldVMC: a generalisation of VMC, founded on the field-based approach known as aggregate computing, which is applicable to arbitrary topologies (i.e., undirected graphs rather than trees) and supports asynchronous and decentralised execution. We redesign VMC as a field-based computation, hence enabling the emergence of organisational hierarchies out of self-organising interactions among local entities. The benefits of our approach are manifold. Being decentralised and free from topological constraints, our approach makes VMC applicable to arbitrary networks; being based on a well-known computational model, inheriting scalability, asynchronicity, and self-organising capabilities; being implemented in a functional field-based computation framework, fostering reuse and composability. To support our claims, we conduct in-silico quantitative experiments comparing FieldVMC with the original VMC. The results demonstrate that FieldVMC is a monotonic extension of VMC, offering {{{(i)}}} faster convergence, and (ii) enhanced capabilities for capturing, analyzing, and engineering novel phenomena.},
apice = {FieldvmcComplintsys12},
author = {Angela Cortecchia and Giovanni Ciatto and Roberto Casadei and Danilo Pianini},
bibsource = {dblp computer science bibliography, https://dblp.org},
dblp = {journals/comintsys/CortecchiaCCP26},
doi = {10.1007/S40747-025-02141-Y},
journal = {Complex \& Intelligent Systems},
keywords = {Pattern formation, Growth regulation, Vascular morphogenesis controller, Self-organisation, Plant-inspired computing, Aggregate computing},
number = 2,
title = {{FieldVMC}: an asynchronous model and platform for self-organising morphogenesis of artificial structures},
url = {https://doi.org/10.1007/s40747-025-02141-y},
volume = 12,
year = 2026
}
@article{bdidesimulation-jaamas40,
abstract = {Multi-agent systems are designed to deal with open, distributed systems with unpredictable dynamics, which makes them inherently hard to test. The value of using simulation for this purpose is recognized in the literature, although achieving sufficient fidelity (i.e., the degree of similarity between the simulation and the real-world system) remains a challenging task. This is exacerbated when dealing with cognitive agent models, such as the Belief Desire Intention (BDI) model, where the agent codebase is not suitable to run unchanged in simulation environments, thus increasing the reality gap between the deployed and simulated systems. We argue that BDI developers should be able to test in simulation the same specification that will be later deployed, with no surrogate representations. Thus, in this paper, we discuss how the control flow of BDI agents can be mapped onto a Discrete Event Simulation (DES), showing that such integration is possible at different degrees of granularity. We substantiate our claims by producing an open-source prototype integration between two pre-existing tools (JaKtA and Alchemist), showing that it is possible to produce a simulation-based testing environment for distributed BDI agents, and that different granularities in mapping BDI agents over DESs may lead to different degrees of fidelity.},
apice = {BdidesimulationJaamas40},
articleno = 18,
author = {Martina Baiardi and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
dblp = {journals/aamas/BaiardiBCP26.bib},
doi = {10.1007/S10458-026-09744-W},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {BDI agents, BDI models, Beliefs-desires-intentions, Multi-agent systems engineering, Discrete event simulation, Software testing},
number = 1,
title = {Testing {BDI}-based multi-agent systems using discrete event simulation},
url = {https://doi.org/10.1007/s10458-026-09744-w},
volume = 40,
year = 2026
}
abstract = {Multi-agent systems are designed to deal with open, distributed systems with unpredictable dynamics, which makes them inherently hard to test. The value of using simulation for this purpose is recognized in the literature, although achieving sufficient fidelity (i.e., the degree of similarity between the simulation and the real-world system) remains a challenging task. This is exacerbated when dealing with cognitive agent models, such as the Belief Desire Intention (BDI) model, where the agent codebase is not suitable to run unchanged in simulation environments, thus increasing the reality gap between the deployed and simulated systems. We argue that BDI developers should be able to test in simulation the same specification that will be later deployed, with no surrogate representations. Thus, in this paper, we discuss how the control flow of BDI agents can be mapped onto a Discrete Event Simulation (DES), showing that such integration is possible at different degrees of granularity. We substantiate our claims by producing an open-source prototype integration between two pre-existing tools (JaKtA and Alchemist), showing that it is possible to produce a simulation-based testing environment for distributed BDI agents, and that different granularities in mapping BDI agents over DESs may lead to different degrees of fidelity.},
apice = {BdidesimulationJaamas40},
articleno = 18,
author = {Martina Baiardi and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
dblp = {journals/aamas/BaiardiBCP26.bib},
doi = {10.1007/S10458-026-09744-W},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {BDI agents, BDI models, Beliefs-desires-intentions, Multi-agent systems engineering, Discrete event simulation, Software testing},
number = 1,
title = {Testing {BDI}-based multi-agent systems using discrete event simulation},
url = {https://doi.org/10.1007/s10458-026-09744-w},
volume = 40,
year = 2026
}
@article{jakta-sncs2024,
abstract = {The popularity of multi-paradigm languages is on the rise, enabling developers to select the most appropriate paradigm for each task. While object-oriented (OOP) and functional programming (FP) are commonly combined, other paradigms can also be hybridized. This paper introduces JaKtA, an internal Domain-Specific Language (DSL) designed to support the definition of BDI agents in Kotlin. Our work represents an initial exploration into blending Agent-Oriented Programming (AOP) with other prevalent paradigms, emphasizing the potential benefits of using internal DSLs. We demonstrate, through JaKtA, how this approach facilitates the creation of compact and expressive Belief-Desire-Intention (BDI) agents that seamlessly integrate with the host language, its libraries, and tooling.},
apice = {SncsExtendedEumasJakta2024},
author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
journal = {SN Computer Science},
keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
publisher = {Springer},
title = {Blending BDI agents with object-oriented and functional programming with JaKtA},
year = 2024
}
abstract = {The popularity of multi-paradigm languages is on the rise, enabling developers to select the most appropriate paradigm for each task. While object-oriented (OOP) and functional programming (FP) are commonly combined, other paradigms can also be hybridized. This paper introduces JaKtA, an internal Domain-Specific Language (DSL) designed to support the definition of BDI agents in Kotlin. Our work represents an initial exploration into blending Agent-Oriented Programming (AOP) with other prevalent paradigms, emphasizing the potential benefits of using internal DSLs. We demonstrate, through JaKtA, how this approach facilitates the creation of compact and expressive Belief-Desire-Intention (BDI) agents that seamlessly integrate with the host language, its libraries, and tooling.},
apice = {SncsExtendedEumasJakta2024},
author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
journal = {SN Computer Science},
keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
publisher = {Springer},
title = {Blending BDI agents with object-oriented and functional programming with JaKtA},
year = 2024
}
@article{smartcollectiveservices-ieeeiotj9,
apice = {SmartcollectiveservicesIeeeiotj9},
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 = {https://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
}
apice = {SmartcollectiveservicesIeeeiotj9},
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 = {https://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
}
@article{selforgcoord-fgcs114,
apice = {SelforgcoordFtgs114},
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},
numpages = 25,
pages = {44--68},
publisher = {Elsevier Science B.V.},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
urlpdf = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775/pdfft},
volume = 114,
year = 2021
}
apice = {SelforgcoordFtgs114},
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},
numpages = 25,
pages = {44--68},
publisher = {Elsevier Science B.V.},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
urlpdf = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775/pdfft},
volume = 114,
year = 2021
}
@article{optimal-cjcee21,
apice = {OptimalCJCEE21},
articleno = 107580,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
dblp = {journals/cee/AudritoCDPV21},
doi = {10.1016/j.compeleceng.2021.107580},
issn = {0045-7906},
journal = {Computers \& Electrical Engineering},
keywords = {Data aggregation, Adaptive algorithm, Aggregate programming, Computational field},
month = dec,
number = {Part B},
numpages = 16,
pages = {1--16},
publisher = {Elsevier B.V.},
title = {Optimal resilient distributed data collection in mobile edge environments},
url = {https://doi.org/10.1016/j.compeleceng.2021.107580},
volume = 96,
year = 2021
}
apice = {OptimalCJCEE21},
articleno = 107580,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
dblp = {journals/cee/AudritoCDPV21},
doi = {10.1016/j.compeleceng.2021.107580},
issn = {0045-7906},
journal = {Computers \& Electrical Engineering},
keywords = {Data aggregation, Adaptive algorithm, Aggregate programming, Computational field},
month = dec,
number = {Part B},
numpages = 16,
pages = {1--16},
publisher = {Elsevier B.V.},
title = {Optimal resilient distributed data collection in mobile edge environments},
url = {https://doi.org/10.1016/j.compeleceng.2021.107580},
volume = 96,
year = 2021
}
@article{fieldcalculus-tocl20,
apice = {FieldCalculusTOCL2019},
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
}
apice = {FieldCalculusTOCL2019},
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
}
@article{aggregate-jlamp2019,
apice = {AggregateJLamp2019},
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
doi = {10.1016/j.jlamp.2019.100486},
issn = {2352-2208},
journal = {Journal of Logical and Algebraic Methods in Programming},
keywords = {"Distributed systems, Aggregate computing, Field calculus, Spatial computing"},
publisher = {Elsevier},
title = {From distributed coordination to field calculus and aggregate computing},
url = {"https://www.sciencedirect.com/science/article/pii/S235222081930032X"},
volume = 109,
year = 2019
}
apice = {AggregateJLamp2019},
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
doi = {10.1016/j.jlamp.2019.100486},
issn = {2352-2208},
journal = {Journal of Logical and Algebraic Methods in Programming},
keywords = {"Distributed systems, Aggregate computing, Field calculus, Spatial computing"},
publisher = {Elsevier},
title = {From distributed coordination to field calculus and aggregate computing},
url = {"https://www.sciencedirect.com/science/article/pii/S235222081930032X"},
volume = 109,
year = 2019
}
@article{aggregate-inf-sci2019,
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.},
apice = {AggregateInfSci2019},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.ins.2019.05.058},
issn = {0020-0255},
journal = {Information Sciences},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
pages = {154--169},
publisher = {Elsevier},
title = {A development approach for collective opportunistic {Edge-of-Things} services},
url = {https://www.sciencedirect.com/science/article/pii/S002002551930461X},
volume = 498,
year = 2019
}
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.},
apice = {AggregateInfSci2019},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.ins.2019.05.058},
issn = {0020-0255},
journal = {Information Sciences},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
pages = {154--169},
publisher = {Elsevier},
title = {A development approach for collective opportunistic {Edge-of-Things} services},
url = {https://www.sciencedirect.com/science/article/pii/S002002551930461X},
volume = 498,
year = 2019
}
@article{opportunisticaggregate-fgcs91,
apice = {OpportunisticaggregateFgcs91},
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
}
apice = {OpportunisticaggregateFgcs91},
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
}
@article{spatialtuples-exsys35,
apice = {SpatialtuplesExsys35},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
core = {287851426},
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},
lens = {037-189-579-473-936},
month = oct,
note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
number = 5,
openalex = {W2801510041},
publisher = {Wiley},
scholar = {15432439871249761138},
scopus = {2-s2.0-85045836760},
title = {Spatial Tuples: Augmenting Reality with Tuples},
url = {https://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
volume = 35,
wos = {WOS:000446560700003},
year = 2018
}
apice = {SpatialtuplesExsys35},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
core = {287851426},
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},
lens = {037-189-579-473-936},
month = oct,
note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
number = 5,
openalex = {W2801510041},
publisher = {Wiley},
scholar = {15432439871249761138},
scopus = {2-s2.0-85045836760},
title = {Spatial Tuples: Augmenting Reality with Tuples},
url = {https://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
volume = 35,
wos = {WOS:000446560700003},
year = 2018
}
@article{tomacs2018,
acm = {3177774},
address = {New York, NY, USA},
apice = {TOMACS2018},
articleno = 16,
author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
doi = {10.1145/3177774},
issn = {1049-3301},
issue_date = {March 2018},
journal = {ACM Transactions on Modeling and Computer Simulation},
keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
month = mar,
number = 2,
numpages = 28,
pages = {16:1--16:28},
publisher = {ACM},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
url = {https://doi.acm.org/10.1145/3177774},
volume = 28,
year = 2018
}
acm = {3177774},
address = {New York, NY, USA},
apice = {TOMACS2018},
articleno = 16,
author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
doi = {10.1145/3177774},
issn = {1049-3301},
issue_date = {March 2018},
journal = {ACM Transactions on Modeling and Computer Simulation},
keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
month = mar,
number = 2,
numpages = 28,
pages = {16:1--16:28},
publisher = {ACM},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
url = {https://doi.acm.org/10.1145/3177774},
volume = 28,
year = 2018
}
@article{taas2017,
acm = {3105758},
address = {New York, NY, USA},
apice = {TAAS2017},
articleno = 12,
author = {Beal, Jacob and Viroli, Mirko and Pianini, Danilo and Damiani, Ferruccio},
doi = {10.1145/3105758},
issn = {1556-4665},
issue_date = {September 2017},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
keywords = {Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing},
month = sep,
number = 3,
numpages = 29,
pages = {12:1--12:29},
publisher = {ACM},
title = {Self-Adaptation to Device Distribution in the {Internet of Things}},
url = {https://doi.acm.org/10.1145/3105758},
volume = 12,
year = 2017
}
acm = {3105758},
address = {New York, NY, USA},
apice = {TAAS2017},
articleno = 12,
author = {Beal, Jacob and Viroli, Mirko and Pianini, Danilo and Damiani, Ferruccio},
doi = {10.1145/3105758},
issn = {1556-4665},
issue_date = {September 2017},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
keywords = {Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing},
month = sep,
number = 3,
numpages = 29,
pages = {12:1--12:29},
publisher = {ACM},
title = {Self-Adaptation to Device Distribution in the {Internet of Things}},
url = {https://doi.acm.org/10.1145/3105758},
volume = 12,
year = 2017
}
@article{aggregateplansformas-ijaose4,
apice = {AggregateplansformasIjaose4},
author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Croatti, Angelo},
dblp = {journals/ijaose/ViroliPRC17},
doi = {10.1504/IJAOSE.2017.087638},
eissn = {1746-1383},
iris = {11585/619296},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
number = 5,
pages = {336--365},
publisher = {Inderscience Publishers},
title = {Aggregate plans for multiagent systems},
url = {https://doi.org/10.1504/IJAOSE.2017.087638},
urlpdf = {https://www.inderscienceonline.com/doi/pdf/10.1504/IJAOSE.2017.087638},
volume = 4,
year = 2017
}
apice = {AggregateplansformasIjaose4},
author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Croatti, Angelo},
dblp = {journals/ijaose/ViroliPRC17},
doi = {10.1504/IJAOSE.2017.087638},
eissn = {1746-1383},
iris = {11585/619296},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
number = 5,
pages = {336--365},
publisher = {Inderscience Publishers},
title = {Aggregate plans for multiagent systems},
url = {https://doi.org/10.1504/IJAOSE.2017.087638},
urlpdf = {https://www.inderscienceonline.com/doi/pdf/10.1504/IJAOSE.2017.087638},
volume = 4,
year = 2017
}
@article{sapere-ker31,
apice = {SapereKer2016},
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
}
apice = {SapereKer2016},
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
}
@article{sapere-pmc10years,
apice = {SaperePmc10Years},
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},
core = {54010944},
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},
lens = {071-439-814-360-176},
month = feb,
note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
openalex = {W1965895579},
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 = {https://www.sciencedirect.com/science/article/pii/S1574119214001904},
volume = 17,
wos = {WOS:000350826800007},
year = 2015
}
apice = {SaperePmc10Years},
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},
core = {54010944},
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},
lens = {071-439-814-360-176},
month = feb,
note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
openalex = {W1965895579},
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 = {https://www.sciencedirect.com/science/article/pii/S1574119214001904},
volume = 17,
wos = {WOS:000350826800007},
year = 2015
}
@article{computer2015,
apice = {Computer2015},
author = {Beal, Jacob and Pianini, Danilo and Viroli, Mirko},
doi = {10.1109/MC.2015.261},
issn = {0018-9162},
journal = {Computer},
keywords = {aggregate programming, pervasive computing, field calculus, distributed systems, domain-specific languages, DSLs, embedded systems, Internet of Things, IoT},
month = {Sept},
number = 9,
pages = {22--30},
title = {Aggregate Programming for the Internet of Things},
volume = 48,
year = 2015
}
apice = {Computer2015},
author = {Beal, Jacob and Pianini, Danilo and Viroli, Mirko},
doi = {10.1109/MC.2015.261},
issn = {0018-9162},
journal = {Computer},
keywords = {aggregate programming, pervasive computing, field calculus, distributed systems, domain-specific languages, DSLs, embedded systems, Internet of Things, IoT},
month = {Sept},
number = 9,
pages = {22--30},
title = {Aggregate Programming for the Internet of Things},
volume = 48,
year = 2015
}
@article{scp-sapere2015,
apice = {SCPSapere2015},
author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Graeme Stevenson and Franco Zambonelli},
doi = {10.1016/j.scico.2015.06.003},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models and languages; Pervasive computing; Service ecosystems; Process algebras; Self-organisation},
pages = {3--22},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84939574520},
title = {A coordination model of pervasive service ecosystems},
url = {https://www.sciencedirect.com/science/article/pii/S0167642315001264},
volume = 110,
wos = {WOS:000361262300002},
year = 2015
}
apice = {SCPSapere2015},
author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Graeme Stevenson and Franco Zambonelli},
doi = {10.1016/j.scico.2015.06.003},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models and languages; Pervasive computing; Service ecosystems; Process algebras; Self-organisation},
pages = {3--22},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84939574520},
title = {A coordination model of pervasive service ecosystems},
url = {https://www.sciencedirect.com/science/article/pii/S0167642315001264},
volume = 110,
wos = {WOS:000361262300002},
year = 2015
}
@article{alchemist-jos2013,
apice = {AlchemistJos2013},
author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
doi = {10.1057/jos.2012.27},
eissn = {1747-7786},
issn = {1747-7778},
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 = {https://link.springer.com/10.1057/jos.2012.27},
year = 2013
}
apice = {AlchemistJos2013},
author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
doi = {10.1057/jos.2012.27},
eissn = {1747-7786},
issn = {1747-7778},
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 = {https://link.springer.com/10.1057/jos.2012.27},
year = 2013
}
@inproceedings{CDCCPV2026,
author = {Cortecchia, Angela and Domini, Davide and Ciatto, Giovanni and Casadei, Roberto and Pianini, Danilo and Viroli, Mirko},
booktitle = {2026 22nd International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT)},
doi = {10.1109/DCOSS-IoT69657.2026.00027},
keywords = {Modeling;Internet of Things;Aggregates;Elementary particles;Image sensors;Filtering;Measurement;Printing;Timing;Programming;Distributed Particle Filtering;Aggregate Computing;Aggregate Programming;Computational Fields;Distributed State Estimation;Internet of Things},
pages = {161-168},
title = {Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing},
year = 2026
}
author = {Cortecchia, Angela and Domini, Davide and Ciatto, Giovanni and Casadei, Roberto and Pianini, Danilo and Viroli, Mirko},
booktitle = {2026 22nd International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT)},
doi = {10.1109/DCOSS-IoT69657.2026.00027},
keywords = {Modeling;Internet of Things;Aggregates;Elementary particles;Image sensors;Filtering;Measurement;Printing;Timing;Programming;Distributed Particle Filtering;Aggregate Computing;Aggregate Programming;Computational Fields;Distributed State Estimation;Internet of Things},
pages = {161-168},
title = {Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing},
year = 2026
}
@incollection{bdiconcurrency-emas2024,
apice = {BdiconcurrencyEmas2024},
author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea},
booktitle = {12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers},
dblp = {conf/emas/BaiardiBCPRO24},
doi = {10.1007/978-3-031-71152-7_3},
editor = {Briola, Daniela and Cardoso, Rafael C. and Logan, Brian},
eisbn = {978-3-031-71152-7},
eissn = {1611-3349},
iris = {11585/995135},
isbn = {978-3-031-71151-0},
issn = {0302-9743},
keywords = {Agent-Oriented Programming, Concurrency, BDI Agents, Threading, Parallelism},
lens = {065-726-912-088-000},
month = oct,
numpages = 22,
openalex = {W4403742469},
pages = {42--63},
publisher = {Springer Cham},
scholar = {2966045943433174401},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {On the External Concurrency of Current {BDI} Frameworks for {MAS}},
url = {https://link.springer.com/10.1007/978-3-031-71152-7},
urlopenaccess = {https://arxiv.org/abs/2404.10397},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-71152-7_3.pdf},
volume = 15152,
year = 2024
}
apice = {BdiconcurrencyEmas2024},
author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea},
booktitle = {12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers},
dblp = {conf/emas/BaiardiBCPRO24},
doi = {10.1007/978-3-031-71152-7_3},
editor = {Briola, Daniela and Cardoso, Rafael C. and Logan, Brian},
eisbn = {978-3-031-71152-7},
eissn = {1611-3349},
iris = {11585/995135},
isbn = {978-3-031-71151-0},
issn = {0302-9743},
keywords = {Agent-Oriented Programming, Concurrency, BDI Agents, Threading, Parallelism},
lens = {065-726-912-088-000},
month = oct,
numpages = 22,
openalex = {W4403742469},
pages = {42--63},
publisher = {Springer Cham},
scholar = {2966045943433174401},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {On the External Concurrency of Current {BDI} Frameworks for {MAS}},
url = {https://link.springer.com/10.1007/978-3-031-71152-7},
urlopenaccess = {https://arxiv.org/abs/2404.10397},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-71152-7_3.pdf},
volume = 15152,
year = 2024
}
@inproceedings{masconcurrency-aamas2024,
acm = {3663089},
apice = {BdiconcurrencyAamas2024},
author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea},
booktitle = {AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems},
dblp = {conf/atal/BaiardiBCPOR24},
doi = {10.65109/kvwh6977},
iris = {11585/973178},
isbn = {979-8-4007-0486-4},
keywords = {Agent-Oriented Programming; Concurrency; BDI Agents; Threads},
lens = {192-615-822-504-026},
month = may,
note = {Extended abstract},
numpages = 3,
openalex = {W7124281729},
pages = {2147--2149},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
scholar = {4738339792803409504},
scopus = {2-s2.0-85196388369},
title = {Concurrency Model of {BDI} Programming Frameworks: Why Should We Control It?},
url = {https://dl.acm.org/doi/10.5555/3635637.3663089},
urlopenaccess = {https://arxiv.org/abs/2404.10421},
urlpdf = {https://dl.acm.org/doi/pdf/10.5555/3635637.3663089},
year = 2024
}
acm = {3663089},
apice = {BdiconcurrencyAamas2024},
author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea},
booktitle = {AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems},
dblp = {conf/atal/BaiardiBCPOR24},
doi = {10.65109/kvwh6977},
iris = {11585/973178},
isbn = {979-8-4007-0486-4},
keywords = {Agent-Oriented Programming; Concurrency; BDI Agents; Threads},
lens = {192-615-822-504-026},
month = may,
note = {Extended abstract},
numpages = 3,
openalex = {W7124281729},
pages = {2147--2149},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
scholar = {4738339792803409504},
scopus = {2-s2.0-85196388369},
title = {Concurrency Model of {BDI} Programming Frameworks: Why Should We Control It?},
url = {https://dl.acm.org/doi/10.5555/3635637.3663089},
urlopenaccess = {https://arxiv.org/abs/2404.10421},
urlpdf = {https://dl.acm.org/doi/pdf/10.5555/3635637.3663089},
year = 2024
}
@inproceedings{ecc-asmecc2023,
abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
apice = {EccAsmecc2023},
author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {Proceedings of the 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum},
editor = {Roberto Casadei and Lukas Esterle and Stefano Forti},
numpages = 6,
title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
year = 2023
}
abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
apice = {EccAsmecc2023},
author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {Proceedings of the 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum},
editor = {Roberto Casadei and Lukas Esterle and Stefano Forti},
numpages = 6,
title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
year = 2023
}
@incollection{jakta-eumas2023,
address = {Cham},
apice = {KotlinBdiEumas2023},
author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {Proceedings of the 20th European Conference on Multi-Agents Systems},
doi = {10.1007/978-3-031-43264-4_4},
editor = {Vadim Malvone and Aniello Murano},
isbn = {978-3-031-43264-4},
keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
month = sep,
numpages = 17,
pages = {49--65},
publisher = {Springer, Cham},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{JaKtA}: {BDI} Agent-Oriented Programming in Pure {K}otlin},
url = {https://link.springer.com/10.1007/978-3-031-43264-4_4},
year = 2023
}
address = {Cham},
apice = {KotlinBdiEumas2023},
author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {Proceedings of the 20th European Conference on Multi-Agents Systems},
doi = {10.1007/978-3-031-43264-4_4},
editor = {Vadim Malvone and Aniello Murano},
isbn = {978-3-031-43264-4},
keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
month = sep,
numpages = 17,
pages = {49--65},
publisher = {Springer, Cham},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{JaKtA}: {BDI} Agent-Oriented Programming in Pure {K}otlin},
url = {https://link.springer.com/10.1007/978-3-031-43264-4_4},
year = 2023
}
@inproceedings{asmeccecc2023,
abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
apice = {AsmeccECC2023},
author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
doi = {10.1109/ACSOS-C58168.2023.00052},
keywords = {Edge-cloud continuum, heterogeneous infrastructure, openness, scalability},
numpages = 6,
pages = {128--133},
publisher = {Springer},
title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
url = {https://ieeexplore.ieee.org/abstract/document/10336198},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10336198},
year = 2023
}
abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
apice = {AsmeccECC2023},
author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
booktitle = {2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
doi = {10.1109/ACSOS-C58168.2023.00052},
keywords = {Edge-cloud continuum, heterogeneous infrastructure, openness, scalability},
numpages = 6,
pages = {128--133},
publisher = {Springer},
title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
url = {https://ieeexplore.ieee.org/abstract/document/10336198},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10336198},
year = 2023
}
@inproceedings{microserivces-icsme2021,
apice = {MicroservicesIcsme2021},
author = {Pianini, Danilo and Neri, Alessandro},
booktitle = {2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)},
doi = {10.1109/ICSME52107.2021.00051},
ieee = {9609206},
pages = {505--514},
title = {Breaking down monoliths with Microservices and DevOps: an industrial experience report},
url = {https://ieeexplore.ieee.org/document/9609206},
year = 2021
}
apice = {MicroservicesIcsme2021},
author = {Pianini, Danilo and Neri, Alessandro},
booktitle = {2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)},
doi = {10.1109/ICSME52107.2021.00051},
ieee = {9609206},
pages = {505--514},
title = {Breaking down monoliths with Microservices and DevOps: an industrial experience report},
url = {https://ieeexplore.ieee.org/document/9609206},
year = 2021
}
@inproceedings{timefluidfieldbased-coord2020,
abstract = {Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism. Field-based coordination is one such approach, promoting the idea of programming system coordination declaratively from a global perspective, in terms of functional manipulation and evolution in ``space and time'' of distributed data structures, called fields. More specifically, regarding time, in field-based coordination it is assumed that local activities in each device, called computational rounds, are regulated by a fixed clock, typically, a fair and unsynchronized distributed scheduler. In this work, we challenge this assumption, and propose an alternative approach where the round execution scheduling is naturally programmed along with the usual coordination specification, namely, in terms of a field of causal relations dictating what is the notion of causality (why and when a round has to be locally scheduled) and how it should change across time and space. This abstraction over the traditional view on global time allows us to express what we call ``time-fluid'' coordination, where causality can be finely tuned to select the event triggers to react to, up to to achieve improved balance between performance (system reactivity) and cost (usage of computational resources). We propose an implementation in the aggregate computing framework, and evaluate via simulation on a case study.},
address = {Cham},
apice = {TimefluidFieldbasedCoord2020},
author = {Pianini, Danilo and Mariani, Stefano and Viroli, Mirko and Franco Zambonelli},
booktitle = {Coordination Models and Languages},
doi = {10.1007/978-3-030-50029-0_13},
editor = {Simon Bliudze and Laura Bocchi},
isbn = {978-3-030-50029-0},
numpages = 18,
pages = {193--210},
publisher = {Springer International Publishing},
title = {Time-Fluid Field-Based Coordination},
url = {https://link.springer.com/10.1007/978-3-030-50029-0_13},
venue = {Coordination 2020},
year = 2020
}
abstract = {Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism. Field-based coordination is one such approach, promoting the idea of programming system coordination declaratively from a global perspective, in terms of functional manipulation and evolution in ``space and time'' of distributed data structures, called fields. More specifically, regarding time, in field-based coordination it is assumed that local activities in each device, called computational rounds, are regulated by a fixed clock, typically, a fair and unsynchronized distributed scheduler. In this work, we challenge this assumption, and propose an alternative approach where the round execution scheduling is naturally programmed along with the usual coordination specification, namely, in terms of a field of causal relations dictating what is the notion of causality (why and when a round has to be locally scheduled) and how it should change across time and space. This abstraction over the traditional view on global time allows us to express what we call ``time-fluid'' coordination, where causality can be finely tuned to select the event triggers to react to, up to to achieve improved balance between performance (system reactivity) and cost (usage of computational resources). We propose an implementation in the aggregate computing framework, and evaluate via simulation on a case study.},
address = {Cham},
apice = {TimefluidFieldbasedCoord2020},
author = {Pianini, Danilo and Mariani, Stefano and Viroli, Mirko and Franco Zambonelli},
booktitle = {Coordination Models and Languages},
doi = {10.1007/978-3-030-50029-0_13},
editor = {Simon Bliudze and Laura Bocchi},
isbn = {978-3-030-50029-0},
numpages = 18,
pages = {193--210},
publisher = {Springer International Publishing},
title = {Time-Fluid Field-Based Coordination},
url = {https://link.springer.com/10.1007/978-3-030-50029-0_13},
venue = {Coordination 2020},
year = 2020
}
@inproceedings{security-ecas2019,
apice = {SecurityEcas2019},
author = {Danilo Pianini and Roberto Casadei and Mirko Viroli},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
doi = {10.1109/FAS-W.2019.00034},
pages = {86--91},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
title = {Security in Collective Adaptive Systems: {A} Roadmap},
url = {https://doi.org/10.1109/FAS-W.2019.00034},
year = 2019
}
apice = {SecurityEcas2019},
author = {Danilo Pianini and Roberto Casadei and Mirko Viroli},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
doi = {10.1109/FAS-W.2019.00034},
pages = {86--91},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
title = {Security in Collective Adaptive Systems: {A} Roadmap},
url = {https://doi.org/10.1109/FAS-W.2019.00034},
year = 2019
}
@inproceedings{self-organising-regions-coordination2019,
apice = {SelfOrganisingRegionsCoordination2019},
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {182--199},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
volume = 11533,
year = 2019
}
apice = {SelfOrganisingRegionsCoordination2019},
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {182--199},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
volume = 11533,
year = 2019
}
@proceedings{fluidware-aixia2019,
apice = {FluidwareAixia2019},
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},
keywords = {Fluidware; IoT programming; coordination},
series = {CEUR Workshop Proceedings},
title = {Case studies for a new IoT programming paradigm: Fluidware},
url = {https://ceur-ws.org/Vol-2502/paper6.pdf},
volume = 2502,
year = 2019
}
apice = {FluidwareAixia2019},
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},
keywords = {Fluidware; IoT programming; coordination},
series = {CEUR Workshop Proceedings},
title = {Case studies for a new IoT programming paradigm: Fluidware},
url = {https://ceur-ws.org/Vol-2502/paper6.pdf},
volume = 2502,
year = 2019
}
@inproceedings{context-aggregate-ecas2019,
apice = {ContextAggregateEcas2019},
author = {Roberto Casadei and Danilo Pianini and Guido Salvaneschi and Mirko Viroli},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
doi = {10.1109/FAS-W.2019.00035},
pages = {92--97},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
title = {On Context-Orientation in Aggregate Programming},
url = {https://doi.org/10.1109/FAS-W.2019.00035},
year = 2019
}
apice = {ContextAggregateEcas2019},
author = {Roberto Casadei and Danilo Pianini and Guido Salvaneschi and Mirko Viroli},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
doi = {10.1109/FAS-W.2019.00035},
pages = {92--97},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
title = {On Context-Orientation in Aggregate Programming},
url = {https://doi.org/10.1109/FAS-W.2019.00035},
year = 2019
}
@inproceedings{forte-hfc2019,
apice = {ForteHfc2019},
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
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},
doi = {10.1007/978-3-030-21759-4\_17},
editor = {P{\'{e}}rez, Jorge A. and Yoshida, Nobuko},
isbn = {978-3-030-21758-7},
pages = {289--292},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {On a Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1007/978-3-030-21759-4\_17},
volume = 11535,
year = 2019
}
apice = {ForteHfc2019},
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
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},
doi = {10.1007/978-3-030-21759-4\_17},
editor = {P{\'{e}}rez, Jorge A. and Yoshida, Nobuko},
isbn = {978-3-030-21758-7},
pages = {289--292},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {On a Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1007/978-3-030-21759-4\_17},
volume = 11535,
year = 2019
}
@inproceedings{field-calculus-share-coordination2019,
apice = {FieldCalculusShareCoordination2019},
author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_4},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {54--71},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The share Operator for Field-Based Coordination},
url = {https://doi.org/10.1007/978-3-030-22397-7\_4},
volume = 11533,
year = 2019
}
apice = {FieldCalculusShareCoordination2019},
author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_4},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {54--71},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The share Operator for Field-Based Coordination},
url = {https://doi.org/10.1007/978-3-030-22397-7\_4},
volume = 11533,
year = 2019
}
@inproceedings{coordination-processes2019,
apice = {CoordinationProcesses2019},
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 = {https://link.springer.com/10.1007978-3-030-22397-7_12},
volume = 11533,
year = 2019
}
apice = {CoordinationProcesses2019},
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 = {https://link.springer.com/10.1007978-3-030-22397-7_12},
volume = 11533,
year = 2019
}
@inproceedings{coordination-aggregate-computing2018,
apice = {CoordinationAggregateComputing2018},
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
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},
doi = {10.1007/978-3-319-92408-3_12},
editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
pages = {252--279},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {From Field-Based Coordination to Aggregate Computing},
url = {https://doi.org/10.1007/978-3-319-92408-3_12},
volume = 10852,
year = 2018
}
apice = {CoordinationAggregateComputing2018},
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
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},
doi = {10.1007/978-3-319-92408-3_12},
editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
pages = {252--279},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {From Field-Based Coordination to Aggregate Computing},
url = {https://doi.org/10.1007/978-3-319-92408-3_12},
volume = 10852,
year = 2018
}
@inproceedings{blockchain-goodtechs2018,
acm = {3284870},
address = {New Work, NY, USA},
apice = {BlockchainGoodtechs2018},
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},
core = {287851425},
dblp = {conf/goodtechs/PianiniCC0VO18},
doi = {10.1145/3284869.3284870},
iris = {11585/655097},
keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
lens = {066-721-296-501-482},
location = {Bologna, Italy},
month = nov,
openalex = {W2908544680},
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 = {https://dl.acm.org/doi/10.1145/3284869.3284870},
wos = {WOS:000470918900046},
year = 2018
}
acm = {3284870},
address = {New Work, NY, USA},
apice = {BlockchainGoodtechs2018},
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},
core = {287851425},
dblp = {conf/goodtechs/PianiniCC0VO18},
doi = {10.1145/3284869.3284870},
iris = {11585/655097},
keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
lens = {066-721-296-501-482},
location = {Bologna, Italy},
month = nov,
openalex = {W2908544680},
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 = {https://dl.acm.org/doi/10.1145/3284869.3284870},
wos = {WOS:000470918900046},
year = 2018
}
@inproceedings{pianini-saso-tutorial2017,
apice = {PianiniSaso2017Tutorial},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
booktitle = {2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017},
dblp = {conf/saso/PianiniBV17},
doi = {10.1109/FAS-W.2017.186},
pages = {391--392},
title = {Practical Aggregate Programming with Protelis},
url = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
year = 2017
}
apice = {PianiniSaso2017Tutorial},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
booktitle = {2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017},
dblp = {conf/saso/PianiniBV17},
doi = {10.1109/FAS-W.2017.186},
pages = {391--392},
title = {Practical Aggregate Programming with Protelis},
url = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
year = 2017
}
@inproceedings{francia-ecas17,
apice = {FranciaECAS2017},
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 = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.116},
year = 2017
}
apice = {FranciaECAS2017},
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 = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.116},
year = 2017
}
@inproceedings{spatialtuples-idc2016,
apice = {SpatialtuplesIdc2016},
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,
core = {153482732},
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},
lens = {095-719-329-220-863},
location = {Paris, France},
openalex = {W2527712901},
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 = {https://link.springer.com/10.1007/978-3-319-48829-5_12},
volume = 678,
wos = {WOS:000398722900012},
year = 2017
}
apice = {SpatialtuplesIdc2016},
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,
core = {153482732},
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},
lens = {095-719-329-220-863},
location = {Paris, France},
openalex = {W2527712901},
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 = {https://link.springer.com/10.1007/978-3-319-48829-5_12},
volume = 678,
wos = {WOS:000398722900012},
year = 2017
}
@inproceedings{dobson-saso2017,
apice = {DobsonSaso2017},
articleno = 10,
author = {Pianini, Danilo and Dobson, Simon and Viroli, Mirko},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
doi = {10.1109/SASO.2017.10},
isbn = {978-1-5090-6555-4},
location = {Tucson, AZ, USA},
numpages = 10,
pages = {11--20},
publisher = {{IEEE} Computer Society},
title = {Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration},
url = {https://doi.ieeecomputersociety.org/10.1109/SASO.2017.10},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8064025},
year = 2017
}
apice = {DobsonSaso2017},
articleno = 10,
author = {Pianini, Danilo and Dobson, Simon and Viroli, Mirko},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
doi = {10.1109/SASO.2017.10},
isbn = {978-1-5090-6555-4},
location = {Tucson, AZ, USA},
numpages = 10,
pages = {11--20},
publisher = {{IEEE} Computer Society},
title = {Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration},
url = {https://doi.ieeecomputersociety.org/10.1109/SASO.2017.10},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8064025},
year = 2017
}
@inproceedings{pianini-coordination2016,
apice = {PianiniCoordination2016},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/coordination/PianiniBV16},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
doi = {10.1007/978-3-319-39519-7_12},
pages = {192--207},
timestamp = {Wed, 25 May 2016 12:44:08 +0200},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
url = {https://doi.org/10.1007/978-3-319-39519-7_12},
year = 2016
}
apice = {PianiniCoordination2016},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/coordination/PianiniBV16},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
doi = {10.1007/978-3-319-39519-7_12},
pages = {192--207},
timestamp = {Wed, 25 May 2016 12:44:08 +0200},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
url = {https://doi.org/10.1007/978-3-319-39519-7_12},
year = 2016
}
@inproceedings{casadei-mass2016,
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.},
address = {Gdansk, Poland},
apice = {CasadeiMASS2016},
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016.},
doi = {10.15439/2016F407},
editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki},
month = {11-14 September},
note = {To appear},
numpages = 10,
pages = {1495--1504},
publisher = {IEEE Computer Society Press},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
url = {https://doi.org/10.15439/2016F407},
year = 2016
}
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.},
address = {Gdansk, Poland},
apice = {CasadeiMASS2016},
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016.},
doi = {10.15439/2016F407},
editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki},
month = {11-14 September},
note = {To appear},
numpages = 10,
pages = {1495--1504},
publisher = {IEEE Computer Society Press},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
url = {https://doi.org/10.15439/2016F407},
year = 2016
}
@incollection{mabsde-mabsXVI,
apice = {MabsdeMabsXVI},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
chapter = 1,
core = {226703296},
dblp = {conf/mabs/MontagnaOP15},
doi = {10.1007/978-3-319-31447-1_1},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
eisbn = {978-3-319-31447-1},
iris = {11585/562458},
isbn = {978-3-319-31446-4},
issn = {0302-9743},
keywords = {ALCHEMIST, Discrete-event simulation, Gillespie algorithm, Multi-agent based simulation, Stochastic simulation},
lens = {022-845-770-171-870},
month = {15~} # mar,
numpages = 16,
openalex = {W2465617999},
pages = {3--18},
publisher = {Springer},
scopus = {2-s2.0-84961257364},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Extending the {G}illespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
url = {https://link.springer.com/10.1007/978-3-319-31447-1_1},
volume = 9568,
year = 2016
}
apice = {MabsdeMabsXVI},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
chapter = 1,
core = {226703296},
dblp = {conf/mabs/MontagnaOP15},
doi = {10.1007/978-3-319-31447-1_1},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
eisbn = {978-3-319-31447-1},
iris = {11585/562458},
isbn = {978-3-319-31446-4},
issn = {0302-9743},
keywords = {ALCHEMIST, Discrete-event simulation, Gillespie algorithm, Multi-agent based simulation, Stochastic simulation},
lens = {022-845-770-171-870},
month = {15~} # mar,
numpages = 16,
openalex = {W2465617999},
pages = {3--18},
publisher = {Springer},
scopus = {2-s2.0-84961257364},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Extending the {G}illespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
url = {https://link.springer.com/10.1007/978-3-319-31447-1_1},
volume = 9568,
year = 2016
}
@inproceedings{gossiping-coordination2016,
apice = {GossipingCoordination2016},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
doi = {10.1007/978-3-319-39519-7_12},
editor = {Alberto Lluch Lafuente and Jos{\'{e}} Proen{\c{c}}a},
isbn = {978-3-319-39518-0},
pages = {192--207},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
url = {https://link.springer.com/10.1007/978-3-319-39519-7_12},
volume = 9686,
year = 2016
}
apice = {GossipingCoordination2016},
author = {Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
doi = {10.1007/978-3-319-39519-7_12},
editor = {Alberto Lluch Lafuente and Jos{\'{e}} Proen{\c{c}}a},
isbn = {978-3-319-39518-0},
pages = {192--207},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Improving Gossip Dynamics Through Overlapping Replicates},
url = {https://link.springer.com/10.1007/978-3-319-39519-7_12},
volume = 9686,
year = 2016
}
@article{saso2016,
abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.},
apice = {BealSaso2016},
author = {Jacob Beal and Mirko Viroli and Danilo Pianini and Ferruccio Damiani},
booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
doi = {10.1109/SASO.2016.12},
editor = {Giacomo Cabri and Gauthier Picard and Niranjan Suri},
note = {Best paper of IEEE SASO 2016.},
pages = {60--69},
title = {Self-Adaptation to Device Distribution Changes},
url = {https://doi.org/10.1109/SASO.2016.12},
year = 2016
}
abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.},
apice = {BealSaso2016},
author = {Jacob Beal and Mirko Viroli and Danilo Pianini and Ferruccio Damiani},
booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
doi = {10.1109/SASO.2016.12},
editor = {Giacomo Cabri and Gauthier Picard and Niranjan Suri},
note = {Best paper of IEEE SASO 2016.},
pages = {60--69},
title = {Self-Adaptation to Device Distribution Changes},
url = {https://doi.org/10.1109/SASO.2016.12},
year = 2016
}
@inproceedings{aggregate-computing-ecas2016,
apice = {AggregateComputingEcas2016},
author = {Viroli, Mirko and Bucchiarone, Antonio and Pianini, Danilo and Beal, Jacob},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
doi = {10.1109/FAS-W.2016.49},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6},
month = sep,
numpages = 106,
pages = {186--191},
publisher = {{IEEE}},
scopus = {2-s2.0-85011079692},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://doi.org/10.1109/FAS-W.2016.49},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7789466},
year = 2016
}
apice = {AggregateComputingEcas2016},
author = {Viroli, Mirko and Bucchiarone, Antonio and Pianini, Danilo and Beal, Jacob},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
doi = {10.1109/FAS-W.2016.49},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6},
month = sep,
numpages = 106,
pages = {186--191},
publisher = {{IEEE}},
scopus = {2-s2.0-85011079692},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://doi.org/10.1109/FAS-W.2016.49},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7789466},
year = 2016
}
@inproceedings{viroli-ecas2016,
apice = {ViroliEcas2016},
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
}
apice = {ViroliEcas2016},
author = {Viroli, Mirko and Antonio Bucchiarone and Pianini, Danilo and Jacob Beal},
booktitle = {2016 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2016, Augsburg, Germany, September 18-22, 2016},
doi = {10.1109/FAS-W.2016.49},
ieee = {7789466},
title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
url = {https://ieeexplore.ieee.org/document/7789466},
year = 2016
}
@inproceedings{aggregatecomputing-vlsubicomp16,
acm = {2979129},
address = {New York, NY, USA},
apice = {AggregatecomputingVlsubicomp16},
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
doi = {10.1145/2968219.2979129},
isbn = {978-1-4503-4462-3},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
location = {Heidelberg, Germany},
numpages = 6,
pages = {1321--1326},
publisher = {ACM},
series = {UbiComp '16},
title = {On Execution Platforms for Large-scale Aggregate Computing},
url = {https://doi.acm.org/10.1145/2968219.2979129},
year = 2016
}
acm = {2979129},
address = {New York, NY, USA},
apice = {AggregatecomputingVlsubicomp16},
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
doi = {10.1145/2968219.2979129},
isbn = {978-1-4503-4462-3},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
location = {Heidelberg, Germany},
numpages = 6,
pages = {1321--1326},
publisher = {ACM},
series = {UbiComp '16},
title = {On Execution Platforms for Large-scale Aggregate Computing},
url = {https://doi.acm.org/10.1145/2968219.2979129},
year = 2016
}
@inproceedings{desmabs-mabs2015,
acm = {10.1007/978-3-319-31447-1_1},
apice = {DesmabsMabs2015},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {13th International Workshop on Multi-Agent-Based Simulation (MABS 2015)},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
iris = {11585/480590},
keywords = {multi-agent based simulation; discrete-event simulation; stochastic simulation; Gillespie algorithm; ALCHEMIST},
location = {Istanbul, Turkey},
month = may,
pages = {25--36},
title = {Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
year = 2015
}
acm = {10.1007/978-3-319-31447-1_1},
apice = {DesmabsMabs2015},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {13th International Workshop on Multi-Agent-Based Simulation (MABS 2015)},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
iris = {11585/480590},
keywords = {multi-agent based simulation; discrete-event simulation; stochastic simulation; Gillespie algorithm; ALCHEMIST},
location = {Istanbul, Turkey},
month = may,
pages = {25--36},
title = {Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
year = 2015
}
@inproceedings{aggregatecomputing-saso2015,
apice = {AggregatecomputingSaso2015},
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
}
apice = {AggregatecomputingSaso2015},
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
}
@inproceedings{aggregate-computing-scopes2015,
apice = {AggregateComputingSCOPES2015},
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},
dblp = {conf/saso/PianiniCRV15},
doi = {10.1109/SASOW.2015.18},
month = sep,
pages = {80--85},
title = {Computational Fields Meet Augmented Reality: Perspectives and Challenges},
wos = {WOS:000381500100018},
year = 2015
}
apice = {AggregateComputingSCOPES2015},
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},
dblp = {conf/saso/PianiniCRV15},
doi = {10.1109/SASOW.2015.18},
month = sep,
pages = {80--85},
title = {Computational Fields Meet Augmented Reality: Perspectives and Challenges},
wos = {WOS:000381500100018},
year = 2015
}
@inproceedings{desmabs-aamas2015,
acm = {2773424},
address = {Richland, SC, USA},
apice = {DesmabsAamas2015},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)},
dblp = {conf/atal/MontagnaOP15},
editor = {Bordini, Rafael H. and Elkind, Edith and Weiss, Gerhard and Yolum, Pınar},
iris = {11585/480588},
isbn = {978-1-4503-3413-6},
keywords = {Multi-agent based simulation, event-driven simulation, stochastic simulation, Gillespie algorithm, ALCHEMIST},
lens = {182-603-533-812-46X},
location = {Istanbul, Turkey},
month = {4--8~} # may,
note = {Extended Abstract},
openalex = {W2803459512},
pages = {1763--1764},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
scholar = {16114083894826383054},
scopus = {2-s2.0-84944707031},
semanticscholar = {2257860},
title = {A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation},
url = {https://dl.acm.org/doi/10.5555/2772879.2773424},
urlpdf = {http://delivery.acm.org/10.1145/2780000/2773424/p1763-montagna.pdf},
wos = {WOS:000461455000234},
year = 2015
}
acm = {2773424},
address = {Richland, SC, USA},
apice = {DesmabsAamas2015},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)},
dblp = {conf/atal/MontagnaOP15},
editor = {Bordini, Rafael H. and Elkind, Edith and Weiss, Gerhard and Yolum, Pınar},
iris = {11585/480588},
isbn = {978-1-4503-3413-6},
keywords = {Multi-agent based simulation, event-driven simulation, stochastic simulation, Gillespie algorithm, ALCHEMIST},
lens = {182-603-533-812-46X},
location = {Istanbul, Turkey},
month = {4--8~} # may,
note = {Extended Abstract},
openalex = {W2803459512},
pages = {1763--1764},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
scholar = {16114083894826383054},
scopus = {2-s2.0-84944707031},
semanticscholar = {2257860},
title = {A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation},
url = {https://dl.acm.org/doi/10.5555/2772879.2773424},
urlpdf = {http://delivery.acm.org/10.1145/2780000/2773424/p1763-montagna.pdf},
wos = {WOS:000461455000234},
year = 2015
}
@incollection{computationalfields-forte2015,
apice = {ComputationalfieldsForte2015},
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 = {https://link.springer.com/10.1007/978-3-319-19195-9_8},
volume = 9039,
year = 2015
}
apice = {ComputationalfieldsForte2015},
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 = {https://link.springer.com/10.1007/978-3-319-19195-9_8},
volume = 9039,
year = 2015
}
@proceedings{protelis-sac14,
address = {Salamanca, Spain},
apice = {Sac2015},
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 = {https://doi.acm.org/10.1145/2695664.2695913},
year = 2015
}
address = {Salamanca, Spain},
apice = {Sac2015},
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 = {https://doi.acm.org/10.1145/2695664.2695913},
year = 2015
}
@incollection{aggregate-computing-prima2015,
apice = {AggregateComputingPRIMA2015},
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 = {https://doi.org/10.1007/978-3-319-25524-8_4},
volume = 9387,
wos = {WOS:000367782600004},
year = 2015
}
apice = {AggregateComputingPRIMA2015},
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 = {https://doi.org/10.1007/978-3-319-25524-8_4},
volume = 9387,
wos = {WOS:000367782600004},
year = 2015
}
@inproceedings{pianini-hpcs2014,
apice = {PianiniHPCS2014},
author = {Pianini, Danilo and Viroli, Mirko and Zambonelli, Franco and Ferscha, Alois},
booktitle = {High Performance Computing Simulation (HPCS), 2014 International Conference on},
doi = {10.1109/HPCSim.2014.6903721},
keywords = {Cities and towns;Computational modeling;Context;Global Positioning System;Legged locomotion;XML;Distribution;Self-Organisation;Situatedness},
month = {July},
pages = {460--467},
title = {HPC from a self-organisation perspective: The case of crowd steering at the urban scale},
year = 2014
}
apice = {PianiniHPCS2014},
author = {Pianini, Danilo and Viroli, Mirko and Zambonelli, Franco and Ferscha, Alois},
booktitle = {High Performance Computing Simulation (HPCS), 2014 International Conference on},
doi = {10.1109/HPCSim.2014.6903721},
keywords = {Cities and towns;Computational modeling;Context;Global Positioning System;Legged locomotion;XML;Distribution;Self-Organisation;Situatedness},
month = {July},
pages = {460--467},
title = {HPC from a self-organisation perspective: The case of crowd steering at the urban scale},
year = 2014
}
@inproceedings{pianini-mospas2014,
apice = {PianiniMOSPAS2014},
author = {Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea},
booktitle = {High Performance Computing Simulation (HPCS), 2014 International Conference on},
doi = {10.1109/HPCSim.2014.6903715},
keywords = {Analytical models, Biological system modeling, Chemicals, Computational modeling, Semantics, Sensors, Statistical analysis, Analysis of Emergent Behaviors, Automated Distributed Statistical Analysis, Chemical-Inspired Computation, Discrete Event Modeling and Simulation, Statistical Model Checking},
month = jul,
pages = {416--423},
title = {Distributed statistical analysis of complex systems modeled through a chemical metaphor},
year = 2014
}
apice = {PianiniMOSPAS2014},
author = {Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea},
booktitle = {High Performance Computing Simulation (HPCS), 2014 International Conference on},
doi = {10.1109/HPCSim.2014.6903715},
keywords = {Analytical models, Biological system modeling, Chemicals, Computational modeling, Semantics, Sensors, Statistical analysis, Analysis of Emergent Behaviors, Automated Distributed Statistical Analysis, Chemical-Inspired Computation, Discrete Event Modeling and Simulation, Statistical Model Checking},
month = jul,
pages = {416--423},
title = {Distributed statistical analysis of complex systems modeled through a chemical metaphor},
year = 2014
}
@inproceedings{sem-matching-sac2013,
apice = {SemMatchingSAC2013},
author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
booktitle = {SAC},
editor = {Shin, Sung Y. and Maldonado, José Carlos},
isbn = {978-1-4503-1656-9},
location = {Coimbra, Portugal},
month = mar,
pages = {1369--1376},
publisher = {ACM},
title = {Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#StevensonYDPMV13},
year = 2013
}
apice = {SemMatchingSAC2013},
author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
booktitle = {SAC},
editor = {Shin, Sung Y. and Maldonado, José Carlos},
isbn = {978-1-4503-1656-9},
location = {Coimbra, Portugal},
month = mar,
pages = {1369--1376},
publisher = {ACM},
title = {Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#StevensonYDPMV13},
year = 2013
}
@incollection{socinfo2013,
apice = {AnzengruberSocInfo2013},
author = {Anzengruber, Bernhard and Pianini, Danilo and Nieminen, Jussi and Ferscha, Alois},
booktitle = {Social Informatics - 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings},
dblp = {conf/socinfo/AnzengruberPNF13},
doi = {10.1007/978-3-319-03260-3_18},
editor = {Jatowt, Adam and Lim, Ee-Peng and Ding, Ying and Miura, Asako and Tezuka, Taro and Dias, Gaël and Tanaka, Katsumi and Flanagin, Andrew J. and Dai, Bing Tian},
isbn = {978-3-319-03259-7},
pages = {206--215},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Predicting Social Density in Mass Events to Prevent Crowd Disasters.},
volume = 8238,
year = 2013
}
apice = {AnzengruberSocInfo2013},
author = {Anzengruber, Bernhard and Pianini, Danilo and Nieminen, Jussi and Ferscha, Alois},
booktitle = {Social Informatics - 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings},
dblp = {conf/socinfo/AnzengruberPNF13},
doi = {10.1007/978-3-319-03260-3_18},
editor = {Jatowt, Adam and Lim, Ee-Peng and Ding, Ying and Miura, Asako and Tezuka, Taro and Dias, Gaël and Tanaka, Katsumi and Flanagin, Andrew J. and Dai, Bing Tian},
isbn = {978-3-319-03259-7},
pages = {206--215},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Predicting Social Density in Mass Events to Prevent Crowd Disasters.},
volume = 8238,
year = 2013
}
@inproceedings{anticipativegradient-saso12,
apice = {AnticipativegradientSaso2012},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
doi = {10.1109/SASO.2012.25},
isbn = {978-1-4673-3126-5},
isbn13 = {978-0-7695-4851-7},
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
location = {Lyon, France},
month = sep,
pages = {169--174},
publisher = {IEEE Computer Society},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
venue = {SASO},
year = 2012
}
apice = {AnticipativegradientSaso2012},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
doi = {10.1109/SASO.2012.25},
isbn = {978-1-4673-3126-5},
isbn13 = {978-0-7695-4851-7},
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
location = {Lyon, France},
month = sep,
pages = {169--174},
publisher = {IEEE Computer Society},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
venue = {SASO},
year = 2012
}
@inproceedings{montagna-sac12,
abstract = {The development of multicellular organisms, from the early forms of zygote, involves a range of phenomena that control cell growth and differentiation, making the overall process of morphogenesis highly complex. A well studied example of such a huge phenomenon is given by Drosophila Melanogaster morphogenesis that has been object of several models, whose main goal was to investigate the mechanisms involved in the spatial and temporal evolution of the patterning process. They have been identified in gene regulatory network, morphogen diffusion, synthesis and degradation. In this paper we present a model of Drosophila development that considers also nuclear division and movements as basic morphogenetic mechanisms. The model is run on top of a prototype simulator which is based on a variation of an existing SSA (Stochastic Simulation Algorithm), tailored to the specific features of embryo development, including dynamicity of compartment network topology.},
address = {Riva del Garda (Trento), Italy},
apice = {BioSac2012},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012)},
editor = {Dongwan Shin and Chih-Cheng Hung and Jiman Hong},
isbn = {978-1-4503-0857-1},
month = {26-30 March},
numpages = 7,
pages = {1406--1412},
publisher = {ACM},
title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
venue = {SAC},
year = 2012
}
abstract = {The development of multicellular organisms, from the early forms of zygote, involves a range of phenomena that control cell growth and differentiation, making the overall process of morphogenesis highly complex. A well studied example of such a huge phenomenon is given by Drosophila Melanogaster morphogenesis that has been object of several models, whose main goal was to investigate the mechanisms involved in the spatial and temporal evolution of the patterning process. They have been identified in gene regulatory network, morphogen diffusion, synthesis and degradation. In this paper we present a model of Drosophila development that considers also nuclear division and movements as basic morphogenetic mechanisms. The model is run on top of a prototype simulator which is based on a variation of an existing SSA (Stochastic Simulation Algorithm), tailored to the specific features of embryo development, including dynamicity of compartment network topology.},
address = {Riva del Garda (Trento), Italy},
apice = {BioSac2012},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012)},
editor = {Dongwan Shin and Chih-Cheng Hung and Jiman Hong},
isbn = {978-1-4503-0857-1},
month = {26-30 March},
numpages = 7,
pages = {1406--1412},
publisher = {ACM},
title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
venue = {SAC},
year = 2012
}
@inproceedings{sapereecolaws-sac2012,
address = {Riva del Garda, TN, Italy},
apice = {SapereEcoLawsSac2012},
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~} # mar,
publisher = {ACM},
title = {Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry},
url = {https://dl.acm.org/doi/10.1145/2245276.2245336},
year = 2012
}
address = {Riva del Garda, TN, Italy},
apice = {SapereEcoLawsSac2012},
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~} # mar,
publisher = {ACM},
title = {Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry},
url = {https://dl.acm.org/doi/10.1145/2245276.2245336},
year = 2012
}
@incollection{spatial-coordination2012,
apice = {SpatialCoordination2012},
author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
booktitle = {Coordination Languages and Models},
doi = {10.1007/978-3-642-30829-1_15},
editor = {Sirjani, Marjan},
issn = {0302-9743},
month = jun,
note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
pages = {212--229},
publisher = {Springer-Verlag},
series = {LNCS},
title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
url = {https://link.springer.com/10.1007/978-3-642-30829-1_15},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-30829-1_15.pdf},
volume = 7274,
year = 2012
}
apice = {SpatialCoordination2012},
author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
booktitle = {Coordination Languages and Models},
doi = {10.1007/978-3-642-30829-1_15},
editor = {Sirjani, Marjan},
issn = {0302-9743},
month = jun,
note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
pages = {212--229},
publisher = {Springer-Verlag},
series = {LNCS},
title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
url = {https://link.springer.com/10.1007/978-3-642-30829-1_15},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-30829-1_15.pdf},
volume = 7274,
year = 2012
}
@inproceedings{selfcomp-woa2012,
abstract = {Pervasive service ecosystems are emerging as a new paradigm for understanding and designing future pervasive computing systems featuring high degrees of scale, openness, adaptivity and toleration of long-term evolution. A key issue in this context is making certain patterns of behaviour emerge without any supervision or design-time intention, and a primary example is the fully-spontaneous composition of services, possibly at multiple levels. We argue that this can be successfully achieved only by a comprehensive approach exploiting together the main ingredients proposed so far in literature: (i) existence of intel- ligent components finding proper (semantic) matches of service descriptions, (ii) use of distributed evolutionary techniques to dynamically select appropriate ways of composing services, and (iii) approaches in which rating quality of composition is solely based on their successful exploitation. This proposal is presented through an example of spontaneous composition in crowd steering services.},
apice = {SelfCompWOA2012},
author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Jose Luis Fernandez-Marquez},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
editor = {Flavio De Paoli and Giuseppe Vizzari},
issn = {1613-0073},
month = {12 September},
publisher = {CEUR-WS},
title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
venue = {WOA},
year = 2012
}
abstract = {Pervasive service ecosystems are emerging as a new paradigm for understanding and designing future pervasive computing systems featuring high degrees of scale, openness, adaptivity and toleration of long-term evolution. A key issue in this context is making certain patterns of behaviour emerge without any supervision or design-time intention, and a primary example is the fully-spontaneous composition of services, possibly at multiple levels. We argue that this can be successfully achieved only by a comprehensive approach exploiting together the main ingredients proposed so far in literature: (i) existence of intel- ligent components finding proper (semantic) matches of service descriptions, (ii) use of distributed evolutionary techniques to dynamically select appropriate ways of composing services, and (iii) approaches in which rating quality of composition is solely based on their successful exploitation. This proposal is presented through an example of spontaneous composition in crowd steering services.},
apice = {SelfCompWOA2012},
author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Jose Luis Fernandez-Marquez},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
editor = {Flavio De Paoli and Giuseppe Vizzari},
issn = {1613-0073},
month = {12 September},
publisher = {CEUR-WS},
title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
venue = {WOA},
year = 2012
}
@inproceedings{pianini-mass2011,
abstract = {This paper grounds on the SAPERE project (Self-Aware PERvasive Service Ecosystems), which aims at proposing a multi-agent framework for pervasive computing, based on the idea of making each agent (service, device, human) manifest its existence in the ecosystem by a ~~Live Semantic Annotation~~ (LSA), and of coordinating agent activities by a small and fixed set of so-called ~~eco-laws~~ - sort of chemical-like reactions over patterns of LSAs. System dynamics in SAPERE is complex because of opennes and due to the self-* requirements imposed by the pervasive computing setting: a simulation framework is hence needed for what-if analysis prior to deployment. In this paper we present a prototype simulator we are developing. Due to the role of chemical-like dynamics, this is based on a variation of an existing SSA (Stochastic Simulation Algorithm), suitable tailored to the specific features of SAPERE, including dynamicity of network topology, pattern-based application of eco-laws, and temporal triggers. The simulator is tested on a crowd steering scenario where the navigation of groups is guided towards the preferential destination by showing the direction on public or private screens.},
address = {Szczecin, Poland},
apice = {PianiniMASS11},
author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki},
isbn = {978-83-60810-22-4},
month = {18-21 September},
numpages = 8,
pages = {667--674},
publisher = {IEEE Computer Society Press},
title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6078316},
venue = {MASS},
year = 2011
}
abstract = {This paper grounds on the SAPERE project (Self-Aware PERvasive Service Ecosystems), which aims at proposing a multi-agent framework for pervasive computing, based on the idea of making each agent (service, device, human) manifest its existence in the ecosystem by a ~~Live Semantic Annotation~~ (LSA), and of coordinating agent activities by a small and fixed set of so-called ~~eco-laws~~ - sort of chemical-like reactions over patterns of LSAs. System dynamics in SAPERE is complex because of opennes and due to the self-* requirements imposed by the pervasive computing setting: a simulation framework is hence needed for what-if analysis prior to deployment. In this paper we present a prototype simulator we are developing. Due to the role of chemical-like dynamics, this is based on a variation of an existing SSA (Stochastic Simulation Algorithm), suitable tailored to the specific features of SAPERE, including dynamicity of network topology, pattern-based application of eco-laws, and temporal triggers. The simulator is tested on a crowd steering scenario where the navigation of groups is guided towards the preferential destination by showing the direction on public or private screens.},
address = {Szczecin, Poland},
apice = {PianiniMASS11},
author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki},
isbn = {978-83-60810-22-4},
month = {18-21 September},
numpages = 8,
pages = {667--674},
publisher = {IEEE Computer Society Press},
title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6078316},
venue = {MASS},
year = 2011
}
@incollection{montagna-serene2011,
address = {Geneva, Switzerland},
apice = {Montagna-Serene2011},
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~} # sep,
pages = {115--129},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
url = {https://link.springer.com/10.1007/978-3-642-24124-6_12},
volume = 6968,
year = 2011
}
address = {Geneva, Switzerland},
apice = {Montagna-Serene2011},
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~} # sep,
pages = {115--129},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
url = {https://link.springer.com/10.1007/978-3-642-24124-6_12},
volume = 6968,
year = 2011
}
@inproceedings{pianini-woa2011,
address = {Rende, Italy},
apice = {PianiniWoa2011},
author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
booktitle = {WOA 2011 -- XII Workshop Nazionale ``Dagli Oggetti agli Agenti''},
editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
issn = {1613-0073},
month = {4-6~} # jul,
pages = {150--157},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
title = {A Simulation Framework for Pervasive Services Ecosystems},
url = {https://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
volume = 741,
year = 2011
}
address = {Rende, Italy},
apice = {PianiniWoa2011},
author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
booktitle = {WOA 2011 -- XII Workshop Nazionale ``Dagli Oggetti agli Agenti''},
editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
issn = {1613-0073},
month = {4-6~} # jul,
pages = {150--157},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
title = {A Simulation Framework for Pervasive Services Ecosystems},
url = {https://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
volume = 741,
year = 2011
}
@inproceedings{selforgwordnet-saso2010,
acm = {10.1109/SASO.2010.35},
address = {Budapest, Hungary},
apice = {SelforgwordnetSaso2010},
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)},
core = {226552742},
dblp = {conf/saso/PianiniVMOV10},
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},
lens = {051-233-346-625-794},
month = {27~} # sep # {--1~} # oct,
openalex = {W1965938061},
pages = {114--123},
publisher = {IEEE CS},
scopus = {2-s2.0-79952067343},
title = {Self Organization in Coordination Systems using a {WordNet}-based Ontology},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630506},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5630506},
year = 2010
}
acm = {10.1109/SASO.2010.35},
address = {Budapest, Hungary},
apice = {SelforgwordnetSaso2010},
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)},
core = {226552742},
dblp = {conf/saso/PianiniVMOV10},
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},
lens = {051-233-346-625-794},
month = {27~} # sep # {--1~} # oct,
openalex = {W1965938061},
pages = {114--123},
publisher = {IEEE CS},
scopus = {2-s2.0-79952067343},
title = {Self Organization in Coordination Systems using a {WordNet}-based Ontology},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630506},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5630506},
year = 2010
}
@incollection{digitalplatforms-digitaldemocracy2019,
apice = {DigitalplatformsDigitaldemocracy2019},
author = {Pianini, Danilo and Omicini, Andrea},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
chapter = 6,
core = {226738777},
dblp = {series/lncs/PianiniO19},
doi = {10.1007/978-3-030-05333-8_6},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
iris = {11585/653725},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
lens = {090-253-644-407-106},
month = jan,
numpages = 14,
openalex = {W2904642679},
pages = {83--96},
publisher = {Springer},
scholar = {2467249375012552626},
scopus = {2-s2.0-85059037849},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Democratic Process and Digital Platforms: An Engineering Perspective},
url = {https://link.springer.com/10.1007/978-3-030-05333-8_6},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-05333-8_6.pdf},
volume = 11300,
year = 2019
}
apice = {DigitalplatformsDigitaldemocracy2019},
author = {Pianini, Danilo and Omicini, Andrea},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
chapter = 6,
core = {226738777},
dblp = {series/lncs/PianiniO19},
doi = {10.1007/978-3-030-05333-8_6},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
iris = {11585/653725},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
lens = {090-253-644-407-106},
month = jan,
numpages = 14,
openalex = {W2904642679},
pages = {83--96},
publisher = {Springer},
scholar = {2467249375012552626},
scopus = {2-s2.0-85059037849},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Democratic Process and Digital Platforms: An Engineering Perspective},
url = {https://link.springer.com/10.1007/978-3-030-05333-8_6},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-05333-8_6.pdf},
volume = 11300,
year = 2019
}
@book{digitaldemocracy-book2019,
apice = {DigitaldemocracyBook2019},
core = {162428942},
dblp = {series/lncs/11300},
doi = {10.1007/978-3-030-05333-8},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eisbn = {978-3-030-05333-8},
eissn = {1611-3349},
iris = {11585/653741},
isbn = {978-3-030-05332-1},
issn = {0302-9743},
keywords = {authentication, authorization, cryptography, data security, delegation, Information and Communication Technologies (ICT), information technology, knowledge management, resource allocation, resource management, security systems, software engineering},
lens = {137-045-093-935-718},
month = jan,
openalex = {W3083648680},
publisher = {Springer},
scholar = {12990193718704924330},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {The Future of Digital Democracy. An Interdisciplinary Approach},
url = {https://link.springer.com/10.1007/978-3-030-05333-8},
urlepub = {https://link.springer.com/download/epub/10.1007/978-3-030-05333-8.epub},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-05333-8.pdf},
volume = 11300,
year = 2019
}
apice = {DigitaldemocracyBook2019},
core = {162428942},
dblp = {series/lncs/11300},
doi = {10.1007/978-3-030-05333-8},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eisbn = {978-3-030-05333-8},
eissn = {1611-3349},
iris = {11585/653741},
isbn = {978-3-030-05332-1},
issn = {0302-9743},
keywords = {authentication, authorization, cryptography, data security, delegation, Information and Communication Technologies (ICT), information technology, knowledge management, resource allocation, resource management, security systems, software engineering},
lens = {137-045-093-935-718},
month = jan,
openalex = {W3083648680},
publisher = {Springer},
scholar = {12990193718704924330},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {The Future of Digital Democracy. An Interdisciplinary Approach},
url = {https://link.springer.com/10.1007/978-3-030-05333-8},
urlepub = {https://link.springer.com/download/epub/10.1007/978-3-030-05333-8.epub},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-05333-8.pdf},
volume = 11300,
year = 2019
}
@incollection{preface-digitaldemocracy2019,
apice = {PrefaceDigitaldemocracy2019},
author = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eissn = {1611-3349},
iris = {11585/653735},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
month = jan,
numpages = 4,
pages = {V--VIII},
publisher = {Springer},
scopus = {2-s2.0-85059028630},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Preface},
urlpdf = {https://link.springer.com/content/pdf/bfm:978-3-030-05333-8/1},
volume = 11300,
year = 2019
}
apice = {PrefaceDigitaldemocracy2019},
author = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eissn = {1611-3349},
iris = {11585/653735},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
month = jan,
numpages = 4,
pages = {V--VIII},
publisher = {Springer},
scopus = {2-s2.0-85059028630},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Preface},
urlpdf = {https://link.springer.com/content/pdf/bfm:978-3-030-05333-8/1},
volume = 11300,
year = 2019
}
0000-0002-8392-5409