6 citations · 15 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Counterexample Classification
Cole Vick, Eunsuk Kang, Stavros Tripakis
In model checking, when a given model fails to satisfy the desired specification, a typical model checker provides a counterexample that illustrates how the violation occurs. In ge…
Feature Interactions on Steroids: On the Composition of ML Models
Christian Kästner, Eunsuk Kang, Sven Apel
The lack of specifications is a key difference between traditional software engineering and machine learning. We discuss how it drastically impacts how we think about divide-and-co…