2 citations · 3 across the 5 of their papers we have counts for
4 papers · 1 filter
Tiny Machine-Learning Operations within Cyber-Physical Systems: a Field Study
Filippo Scaramuzza, Damian A. Tamburri
Machine-Learning Operations (MLOps) is maturing into a software-engineering discipline, yet its tiny-scale variant (TinyMLOps)-targeting the resource-constrained microcontrollers e…
"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
Filippo Scaramuzza, Renato Cordeiro Ferreira, Giovanni Quattrocchi +2
Classical software verification and validation techniques, such as procedural audits, formal methods, or model documentation, are the traditional mechanisms used to achieve the ver…
Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap
Filippo Scaramuzza, Damian A. Tamburri, Willem-Jan van den Heuvel
This vision paper presents initial research on assessing the robustness and reliability of AI-enabled systems, and key factors in ensuring their safety and effectiveness in practic…
Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
Filippo Scaramuzza, Giovanni Quattrocchi, Damian A. Tamburri
As Artificial Intelligence (AI) systems, particularly those based on machine learning (ML), become integral to high-stakes applications, their probabilistic and opaque nature poses…