2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2025★ 1 cited
"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…
cs.SE2025★ 2 cited
MLOps with Microservices: A Case Study on the Maritime Domain
Renato Cordeiro Ferreira, Rowanne Trapmann, Willem-Jan van den Heuvel
This case study describes challenges and lessons learned on building Ocean Guard: a Machine Learning-Enabled System (MLES) for anomaly detection in the maritime domain. First, the…