Giorgio Audrito

Sci. Comput. Program., January, 2024

Programming Distributed Collective Processes in the eXchange Calculus.

[BibT_eX]

[DOI]

CoRR, 2024

2023

A field-based computing approach to sensing-driven clustering in robot swarms.

[BibT_eX]

[DOI]

Swarm Intell., June, 2023

FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems.

[BibT_eX]

[DOI]

Federico Terraneo

William Fornaciari

IEEE Trans. Parallel Distributed Syst., March, 2023

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021.

[BibT_eX]

[DOI]

Omar Inverso

Hugo Torres Vieira

Sci. Comput. Program., 2023

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Combining Static and Runtime Verification with AC and Coq.

[BibT_eX]

[DOI]

Daniel Haures

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2023

Parallelising an Aggregate Programming Framework with Message-Passing Interface.

[BibT_eX]

[DOI]

Alberto Riccardo Martinelli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

Aggregate Programming for Customized Building Management and Users Preference Implementation.

[BibT_eX]

[DOI]

Stefano Rinaldi

Lavinia Chiara Tagliabue

Lorenzo Testa

Proceedings of the IoT Edge Solutions for Cognitive Buildings, 2023

2022

Aggregate processes as distributed adaptive services for the Industrial Internet of Things.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2022

Distributed runtime verification by past-CTL and the field calculus.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Functional Programming for Distributed Systems with XC (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2022

Predictive Semantics for Past-CTL Runtime Monitors.

[BibT_eX]

[DOI]

Volker Stolz

CoRR, 2022

Near-optimal knowledge-free resilient leader election.

[BibT_eX]

[DOI]

Autom., 2022

Bringing Aggregate Programming Towards the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Functional Programming for Distributed Systems with XC.

[BibT_eX]

[DOI]

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Aggregate Drone Monitoring of Wildfires.

[BibT_eX]

[DOI]

Marco Ottina

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Extensible 3D Simulation of Aggregated Systems with FCPP.

[BibT_eX]

[DOI]

Luigi Rapetta

Proceedings of the Coordination Models and Languages, 2022

On the Dynamic Evolution of Distributed Computational Aggregates.

[BibT_eX]

[DOI]

Roberto Casadei

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Aggregate centrality measures for IoT-based coordination.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Adaptive distributed monitors of spatial properties for cyber-physical systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Engineering collective intelligence at the edge with aggregate processes.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2021

Monotonic Filtering for Distributed Collection.

[BibT_eX]

[DOI]

CoRR, 2021

Optimal resilient distributed data collection in mobile edge environments.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2021

Towards aggregate monitoring of spatio-temporal properties.

[BibT_eX]

[DOI]

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

RM for users' safety and security in the built environment.

[BibT_eX]

[DOI]

Giuseppe Martino Di Giuda

Silvia Meschini

Laura Pellegrini

Elena Seghezzi

Lavinia Chiara Tagliabue

Lorenzo Testa

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Tuple-Based Coordination in Large-Scale Situated Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2021

Effect of Monotonic Filtering on Graph Collection Dynamics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes.

[BibT_eX]

[DOI]

Roberto Casadei

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Fostering resilient execution of multi-agent plans through self-organisation.

[BibT_eX]

[DOI]

Roberto Casadei

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Field-based Coordination with the Share Operator.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Computation Against a Neighbour.

[BibT_eX]

[DOI]

CoRR, 2020

FScaFi : A Core Calculus for Collective Adaptive Systems Programming.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Resilient Distributed Collection Through Information Speed Thresholds.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

Improving Collection Dynamics by Monotonic Filtering.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

FCPP: an efficient and extensible Field Calculus framework.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

A Higher-Order Calculus of Computational Fields.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

From distributed coordination to field calculus and aggregate computing.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Recommending Tasks in Online Judges.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019

Aggregate Processes in Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

The share Operator for Field-Based Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Optimal single-path information propagation in gradient-based algorithms.

[BibT_eX]

[DOI]

Mirko Viroli

Sci. Comput. Program., 2018

On Distributed Runtime Verification by Aggregate Computing.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Distributed Real-Time Shortest-Paths Computations with the Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

From Field-Based Coordination to Aggregate Computing.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

Space-Time Universality of Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

2017

Generic Large Cardinals and Systems of filters.

[BibT_eX]

[DOI]

Silvia Steila

J. Symb. Log., 2017

Absoluteness via resurrection.

[BibT_eX]

[DOI]

Matteo Viale

J. Math. Log., 2017

Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks.

[BibT_eX]

[DOI]

Alan A. Bertossi

Alfredo Navarra

Maria Cristina Pinotti

J. Discrete Algorithms, 2017

Resilient Blocks for Summarising Distributed Data.

[BibT_eX]

[DOI]

Sergio Bergamini

Proceedings of the Proceedings First Workshop on Architectures, 2017

Aggregate Graph Statistics.

[BibT_eX]

[DOI]

Mirko Viroli

Proceedings of the Proceedings First Workshop on Architectures, 2017

Compositional Blocks for Optimal Self-Healing Gradients.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.

[BibT_eX]

[DOI]

Mirko Viroli

Proceedings of the Coordination Models and Languages, 2017

2016

Optimal Skewed Allocation on Multiple Channels for Broadcast in Smart Cities.

[BibT_eX]

[DOI]

Daniele Diodati

Cristina M. Pinotti

Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

Run-Time Management of Computation Domains in Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

2015

Enumeration of the adjunctive hierarchy of hereditarily finite sets.

[BibT_eX]

[DOI]

Alexandru I. Tomescu

Stephan G. Wagner

J. Log. Comput., 2015

2013

Enumeration of the adjunctive hierarchy of hereditarily finite sets.

[BibT_eX]

[DOI]