1 citations · 1 across the 8 of their papers we have counts for
Showing 2025 · cs.SEShow all
2 papers · 2 filters
cs.SE2025
Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
Hadiza Umar Yusuf, Khouloud Gaaloul
In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transform…
cs.SE2025
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Baharin A. Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh +1
Simulation-based testing of cyber-physical systems (CPS) is costly due to the time-consuming execution of CPS simulators. In addition, CPS simulators may be flaky, leading to incon…