Compositional verification of events and observers: (summary). - Cynthia Disenfeld; Shmuel Katz (FOAL, 2011)

Compositional verification of events and aspects. - Cynthia Disenfeld (AOSD (Companion), 2012)

A closer look at aspect interference and cooperation. - Cynthia Disenfeld; Shmuel Katz (AOSD, 2012)

User-friendly event and aspect verification. - Cynthia Disenfeld (AOSD (Companion), 2013)

Specification and verification of event detectors and responses. - Cynthia Disenfeld; Shmuel Katz (AOSD, 2013)

Compositional verification of events and responses. - Cynthia Disenfeld (2015)

Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. - Cynthia Disenfeld; Shmuel Katz (LNCS Trans. Modul. Compos., 2016)

Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. - Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe; Vijay Ganesh 001 (EuroS&P, 2017)

FPH: efficient detection of feature interactions through non-commutativity. - Cynthia Disenfeld; Ioanna Stavropoulou; Julia Rubin; Marsha Chechik (ICSE (Companion Volume), 2017)

FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. - Marsha Chechik; Ioanna Stavropoulou; Cynthia Disenfeld; Julia Rubin (FASE, 2018)