Cynthia Disenfeld

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Topics

Probabilistic Knowledge

Feature Interactions

Active Database Management Systems

Top Venues

AOSD (Companion)

Publications

Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. FASE (2018)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. EuroS&P (2017)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR (2017)
Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik
FPH: efficient detection of feature interactions through non-commutativity. ICSE (Companion Volume) (2017)
Cynthia Disenfeld, Shmuel Katz
Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. LNCS Trans. Modul. Compos. 1 (2016)
Cynthia Disenfeld, Shmuel Katz
Specification and verification of event detectors and responses. AOSD (2013)
Cynthia Disenfeld
User-friendly event and aspect verification. AOSD (Companion) (2013)
Cynthia Disenfeld
Compositional verification of events and aspects. AOSD (Companion) (2012)
Cynthia Disenfeld, Shmuel Katz
A closer look at aspect interference and cooperation. AOSD (2012)
Cynthia Disenfeld, Shmuel Katz
Compositional verification of events and observers: (summary). FOAL (2011)