Bibtex entries of Cynthia Disenfeld

[at]inproceedings{Disenfeld:2013:SVE:2451436.2451452,
  author = {Disenfeld, Cynthia and Katz, Shmuel},
  title = {Specification and Verification of Event Detectors and Responses},
  booktitle = {Proceedings of the 12th Annual International Conference on Aspect-oriented Software Development},
  series = {AOSD '13},
  year = {2013},
  location = {Fukuoka, Japan},
  url = {http://doi.acm.org/10.1145/2451436.2451452},
  doi = {10.1145/2451436.2451452},
  publisher = {ACM},
  keywords = {aspects, composition, events, specification, verification},
}

@inproceedings{Disenfeld2012,
  author = {Disenfeld, Cynthia and Katz, Shmuel},
  title = {A closer look at aspect interference and cooperation},
  booktitle = {Proceedings of the 11th annual international conference on Aspect-oriented Software Development},
  series = {AOSD '12},
  year = {2012},
  location = {Potsdam, Germany},
  url = {http://doi.acm.org/10.1145/2162049.2162063},
  doi = {10.1145/2162049.2162063},
  publisher = {ACM},
  keywords = {aspects, composition, cooperation, interference, joint-weaving, verification},
}

@inproceedings{Disenfeld2011,
  author = {Disenfeld, Cynthia and Katz, Shmuel},
  title = {Compositional verification of events and observers: (summary)},
  booktitle = {Proceedings of the 10th international workshop on Foundations of aspect-oriented languages},
  series = {FOAL '11},
  year = {2011},
  location = {Porto de Galinhas, Brazil},
  url = {http://doi.acm.org/10.1145/1960510.1960512},
  doi = {10.1145/1960510.1960512},
  publisher = {ACM},
  keywords = {composition, events, observer aspects, verification},
}