5 citations · 6 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 5 cited
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying s…
cs.SE2024★ 1 cited
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Aitor Arrieta, Pablo Valle, Shaukat Ali
Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exis…