Cynthia Disenfeld

According to our database, Cynthia Disenfeld authored at least 10 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

FPH: Efficient Non-commutativity Analysis of Feature-Based Systems.

Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

FPH: efficient detection of feature interactions through non-commutativity.

Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik

Proceedings of the 39th International Conference on Software Engineering, 2017

Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.

Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

Developing and Verifying Response Specifications in Hierarchical Event-Based Systems.

Cynthia Disenfeld, Shmuel Katz

LNCS Trans. Modul. Compos., 2016

2015

Compositional verification of events and responses.

Cynthia Disenfeld

PhD thesis, 2015

2013

Specification and verification of event detectors and responses.

Cynthia Disenfeld, Shmuel Katz

Proceedings of the Aspect-Oriented Software Development, 2013

User-friendly event and aspect verification.

Cynthia Disenfeld

Proceedings of the Aspect-Oriented Software Development, 2013

2012

A closer look at aspect interference and cooperation.

Cynthia Disenfeld, Shmuel Katz

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

Compositional verification of events and aspects.

Cynthia Disenfeld

Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Compositional verification of events and observers: (summary).

Cynthia Disenfeld, Shmuel Katz

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011