10 citations · 18 across the 8 of their papers we have counts for
9 papers
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 (…
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
Andrea Bombarda, Federico Conti, Marcello Minervini +2
Software failures can have catastrophic and costly consequences. Functional Failure Mode and Effects Analysis (FMEA) is a standard technique used within Cyber-Physical Systems (CPS…
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
Michael Marzella, Andrea Bombarda, Marcello Minervini +3
Cyber-physical systems development often requires engineers to search for defects in their Simulink models. Search-based software testing (SBST) is a standard technology that suppo…
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
Andrea Bombarda, Angelo Gargantini
Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving eff…
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1
Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such pr…