arrow
Back
L

Leonardo Aniello

university of southampton

18H-index
66Paper Count
2.2KCitation Count
Published Papers 10
Publication Date
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
err2026-01-01
err0
PREAI
errSnook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro
errShare
errSave
A flying ad-hoc network dataset for early time series classification of grey hole attacks
err2025-08-15
err0
errOAAI
errCharles Hutchins; Leonardo Aniello; Enrico Gerding; Basel Halak
errShare
errSave
Cloud2Edge Elastic AI Framework for Prototyping and Deployment of AI Inference Engines in Autonomous Vehicles
errSENSORS
IF3.5
err2020-09-23
err13
errOAAI
errGrigorescu, Sorin; Cocias, Tiberiu; Trasnea, Bogdan; Margheri, Andrea; Lombardi, Federico; Aniello, Leonardo
errShare
errSave
PASCAL: An architecture for proactive auto-scaling of distributed services
err2019-09-01
err14
errOAAI
errLombardi, Federico; Muti, Andrea; Aniello, Leonardo; Baldoni, Roberto; Bonomi, Silvia; Querzoni, Leonardo
errShare
errSave
Survey of machine learning techniques for malware analysis
err2019-03-01
err252
errOAAI
errUcci, Daniele; Aniello, Leonardo; Baldoni, Roberto
errShare
errSave
Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems
err2018-03-01
err44
errOAAI
errLombardi, Federico; Aniello, Leonardo; Bonomi, Silvia; Querzoni, Leonardo
errShare
errSave
An event-based platform for collaborative threats detection and monitoring
err2014-01-01
err26
errOAAI
errLodi, Giorgia; Aniello, Leonardo; Di Luna, Giuseppe A.; Baldoni, Roberto
errShare
errSave