activity
20222026
most citedOSCAR-P and aMLLibrary: Profiling and Predicting the Performance of FaaS-based Applications in Computing Continua

5 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2026

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications

Alberto Tagliaferro, Bruno Guindani, Livia Lestingi +1

Early-stage specifications of safety-critical systems are typically expressed in natural language, making it difficult to derive formal properties suitable for verification and nee…

cs.SE2026

Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins

Bruno Guindani, Matteo Camilli, Livia Lestingi +1

Medical Cyber-Physical Systems (CPSs) integrating Patients, Devices, and healthcare personnel (Physicians) form safety-critical PDP triads whose dependability is challenged by syst…