4 papers
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…
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…
OSCAR-P and aMLLibrary: Profiling and Predicting the Performance of FaaS-based Applications in Computing Continua
Roberto Sala, Bruno Guindani, Enrico Galimberti +6
This paper proposes an automated framework for efficient application profiling and training of Machine Learning (ML) performance models, composed of two parts: OSCAR-P and aMLLibra…
Efficient Parameter Tuning for a Structure-Based Virtual Screening HPC Application
Bruno Guindani, Davide Gadioli, Roberto Rocco +2
Virtual screening applications are highly parameterized to optimize the balance between quality and execution performance. While output quality is critical, the entire screening pr…