Giorgio Audrito
Orcid: 0000-0002-2319-0375
According to our database1,
Giorgio Audrito
authored at least 68 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
5
10
1
5
4
5
5
2
2
2
3
1
1
4
3
6
6
4
4
4
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw., April, 2024
A general framework and decentralised algorithms for collective computational processes.
Future Gener. Comput. Syst., 2024
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the Coordination Models and Languages, 2024
2023
Swarm Intell., June, 2023
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.
Sci. Comput. Program., 2023
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.
Log. Methods Comput. Sci., 2023
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
Proceedings of the Coordination Models and Languages, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
Aggregate Programming for Customized Building Management and Users Preference Implementation.
Proceedings of the IoT Edge Solutions for Cognitive Buildings, 2023
2022
Aggregate processes as distributed adaptive services for the Industrial Internet of Things.
Pervasive Mob. Comput., 2022
J. Syst. Softw., 2022
Dagstuhl Artifacts Ser., 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022
2021
Sci. Comput. Program., 2021
J. Syst. Softw., 2021
Eng. Appl. Artif. Intell., 2021
Comput. Electr. Eng., 2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the Coordination Models and Languages, 2021
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.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Coordination Models and Languages, 2020
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the Coordination Models and Languages, 2019
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
ACM Trans. Model. Comput. Simul., 2018
Sci. Comput. Program., 2018
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the Coordination Models and Languages, 2018
Proceedings of the Coordination Models and Languages, 2018
2017
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks.
J. Discrete Algorithms, 2017
Proceedings of the Proceedings First Workshop on Architectures, 2017
Proceedings of the Proceedings First Workshop on Architectures, 2017
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.
Proceedings of the Coordination Models and Languages, 2017
2016
Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
2015
J. Log. Comput., 2015
2013