arrow
返回
L

Leonardo Aniello

university of southampton

18H指数
66论文数
2.2K被引数
收录论文 10
发表时间
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis基于UML-B形式化分析为CHERI能力硬件开发安全异常恢复机制
err2026-01-01
err0
PREAI
errSnook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏