E-LIB Suche - Ergebnisse für: Audrito, Giorgio

1

A general framework and decentralised algorithms for collec..:

Audrito, Giorgio ; Casadei, Roberto ; Torta, Gianluca
Future Generation Computer Systems. 158 (2024) - p. 11-27 , 2024

2

The eXchange Calculus (XC): A functional programming langua..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio..
Journal of Systems and Software. 210 (2024) - p. 111976 , 2024

Link: https://doi.org/10.1016/..

3

FCPP to aggregate them all:

Audrito, Giorgio ; Torta, Gianluca
Science of Computer Programming. 231 (2024) - p. 103026 , 2024

Link: https://doi.org/10.1016/..

4

Computation Against a Neighbour: Addressing Large-Scale Dis..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio.
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Parallelising an Aggregate Programming Framework with Messa..:

, In: 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C),

Audrito, Giorgio ; Martinelli, Alberto Riccardo ; Torta, Gianluca - p. 140-145 , 2023

Link: https://doi.org/10.1109/..

6

Preface for the special issue on tool papers of the 23rd In..:

Audrito, Giorgio ; Inverso, Omar ; Vieira, Hugo Torres
Science of Computer Programming. 225 (2023) - p. 102899 , 2023

Link: https://doi.org/10.1016/..

7

Proceedings of the 6th International Workshop on Verificati..:

Ancona, Davide ; Audrito, Giorgio , 2023

Link: https://dl.acm.org/doi/1..

8

Programming Distributed Collective Processes for Dynamic En..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio.. - p. 71-89 , 2023

Link: https://doi.org/10.1007/..

9

Combining Static and Runtime Verification with AC and Coq:

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

Audrito, Giorgio ; Haures, Daniel - p. 17-20 , 2023

Link: https://dl.acm.org/doi/1..

10

FCPP+Miosix: Scaling Aggregate Programming to Embedded Syst..:

Audrito, Giorgio ; Terraneo, Federico ; Fornaciari, William
IEEE Transactions on Parallel and Distributed Systems. 34 (2023) 3 - p. 869-880 , 2023

Link: https://doi.org/10.1109/..

11

On the Dynamic Evolution of Distributed Computational Aggre..:

, In: 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C),

Audrito, Giorgio ; Casadei, Roberto ; Torta, Gianluca - p. 37-42 , 2022

Link: https://doi.org/10.1109/..

12

Towards Automated Engineering for Collective Adaptive Syste..:

, In: 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),

Casadei, Roberto ; Pianini, Danilo ; Aguzzi, Gianluca... - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

13

Aggregate Drone Monitoring of Wildfires:

, In: 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),

Audrito, Giorgio ; Ottina, Marco - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

14

Extensible 3D Simulation of Aggregated Systems with FCPP:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Audrito, Giorgio ; Rapetta, Luigi ; Torta, Gianluca - p. 55-71 , 2022

Link: https://doi.org/10.1007/..

15

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

Audrito, Giorgio ; Damiani, Ferruccio ; Stolz, Volker..
Journal of Systems and Software. 187 (2022) - p. 111251 , 2022

Link: https://doi.org/10.1016/..