6 citations · 6 across the 3 of their papers we have counts for
3 papers
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…
eess.SY2023
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…
cs.SE2021
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
Mingyue Zhang, Nianyu Li, Sridhar Adepu +2
The increasing prevalence of security attacks on software-intensive systems calls for new, effective methods for detecting and responding to these attacks. As one promising approac…