6 citations · 15 across the 12 of their papers we have counts for
13 papers
Reasoning about Transactional Isolation Levels with Isolde
Manuel Barros, Alcino Cunha, Jose Pereira +1
Most databases can be configured to operate under isolation levels weaker than serializability. These enforce fewer restrictions on the concurrent access to data and consequently a…
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…
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…
Open Design Case Study -- A Crowdsourcing Effort to Curate Software Design Case Studies
Chun Yong Chong, Eunsuk Kang, Mary Shaw
Case study-based learning has been successfully integrated into various courses, including software engineering education. In the context of software design courses, the use of cas…
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…
On tolerance of discrete systems with respect to transition perturbations
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune +1
Control systems should enforce a desired property for both expected modeled situations as well as unexpected unmodeled environmental situations. Existing methods focus on designing…