10 citations · 18 across the 8 of their papers we have counts for
5 papers · 1 filter
Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia +5
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update softw…
Property-Driven Synthetic Data Engineering for Data-Scarce Software Systems: Reflections from the Breast Cancer Domain
Aurora Francesca Zanenga, Andrea Bombarda, Marsha Chechik +4
Modern software systems increasingly depend on data for analysis, prediction, testing, and decision-making. Yet many important domains, including medicine, safety-critical systems,…
Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
Federico Formica, Andrea Rota, Aurora Francesca Zanenga +4
Deep Neural Networks (DNNs) are widely used by engineers to solve difficult problems that require predictive modeling from data. However, these models are often massive, with milli…
Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1
Writing temporal logic properties is often a challenging task for users of model-based development frameworks, particularly when translating informal requirements into formal speci…
Quantum Computing for Healthcare Digital Twin Systems
Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini +1
The growing complexity of healthcare systems requires advanced computational models for real-time monitoring, secure data exchange, and intelligent decision-making. Digital Twins (…