Segui
Giorgio Audrito
Giorgio Audrito
Research fellow
Email verificata su unito.it
Titolo
Citata da
Citata da
Anno
Engineering resilient collective adaptive systems by self-stabilisation
M Viroli, G Audrito, J Beal, F Damiani, D Pianini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (2), 1-28, 2018
912018
A higher-order calculus of computational fields
G Audrito, M Viroli, F Damiani, D Pianini, J Beal
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-55, 2019
79*2019
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
702019
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
532017
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
442021
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
332018
Space-time universality of field calculus
G Audrito, J Beal, F Damiani, M Viroli
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
332018
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
R Casadei, M Viroli, G Audrito, F Damiani
International Symposium on Leveraging Applications of Formal Methods, 344-360, 2020
302020
FCPP: an efficient and extensible field calculus framework
G Audrito
2020 IEEE International Conference on Autonomic Computing and Self …, 2020
302020
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
252021
Aggregate processes in field calculus
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
242019
Optimal single-path information propagation in gradient-based algorithms
G Audrito, F Damiani, M Viroli
Science of Computer Programming 166, 146-166, 2018
232018
Absoluteness via resurrection
G Audrito, M Viale
Journal of Mathematical Logic 17 (02), 1750005, 2017
222017
Optimal resilient distributed data collection in mobile edge environments
G Audrito, R Casadei, F Damiani, D Pianini, M Viroli
Computers & Electrical Engineering 96, 107580, 2021
192021
Optimally-self-healing distributed gradient structures through bounded information speed
G Audrito, F Damiani, M Viroli
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017
192017
The role of contests in changing informatics education: A local view
G Audrito, GB Demo, E Giovannetti
Olympiads in Informatics 6, 3-20, 2012
172012
Run-time management of computation domains in field calculus
G Audrito, F Damiani, M Viroli, R Casadei
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
162016
Aggregate processes as distributed adaptive services for the industrial internet of things
L Testa, G Audrito, F Damiani, G Torta
Pervasive and Mobile Computing 85, 101658, 2022
132022
Distributed runtime verification by past-ctl and the field calculus
G Audrito, F Damiani, V Stolz, G Torta, M Viroli
Journal of Systems and Software 187, 111251, 2022
132022
Fostering resilient execution of multi-agent plans through self-organisation
G Audrito, R Casadei, G Torta
2021 IEEE International Conference on Autonomic Computing and Self …, 2021
132021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20