9 citations · 27 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
Changjian Zhang, Parv Kapoor, Romulo Meira-Goes +5
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and sm…
cs.SE2023★ 6 cited
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Simon Chu, Emma Shedden, Changjian Zhang +4
The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors…