BibTeX records: Cynthia Disenfeld

download as .bib file

@inproceedings{DBLP:conf/fase/ChechikSDR18,
  author       = {Marsha Chechik and
                  Ioanna Stavropoulou and
                  Cynthia Disenfeld and
                  Julia Rubin},
  editor       = {Alessandra Russo and
                  Andy Sch{\"{u}}rr},
  title        = {{FPH:} Efficient Non-commutativity Analysis of Feature-Based Systems},
  booktitle    = {Fundamental Approaches to Software Engineering, 21st International
                  Conference, {FASE} 2018, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
                  April 14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10802},
  pages        = {319--336},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89363-1\_18},
  doi          = {10.1007/978-3-319-89363-1\_18},
  timestamp    = {Fri, 31 Jan 2020 21:32:22 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/ChechikSDR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosp/OchoaBDBG17,
  author       = {Mart{\'{\i}}n Ochoa and
                  Sebastian Banescu and
                  Cynthia Disenfeld and
                  Gilles Barthe and
                  Vijay Ganesh},
  title        = {Reasoning about Probabilistic Defense Mechanisms against Remote Attacks},
  booktitle    = {2017 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2017, Paris, France, April 26-28, 2017},
  pages        = {499--513},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/EuroSP.2017.30},
  doi          = {10.1109/EUROSP.2017.30},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosp/OchoaBDBG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/DisenfeldSRC17,
  author       = {Cynthia Disenfeld and
                  Ioanna Stavropoulou and
                  Julia Rubin and
                  Marsha Chechik},
  editor       = {Sebasti{\'{a}}n Uchitel and
                  Alessandro Orso and
                  Martin P. Robillard},
  title        = {{FPH:} efficient detection of feature interactions through non-commutativity},
  booktitle    = {Proceedings of the 39th International Conference on Software Engineering,
                  {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
                  Volume},
  pages        = {225},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSE-C.2017.71},
  doi          = {10.1109/ICSE-C.2017.71},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DisenfeldSRC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/OchoaBDBG17,
  author       = {Mart{\'{\i}}n Ochoa and
                  Sebastian Banescu and
                  Cynthia Disenfeld and
                  Gilles Barthe and
                  Vijay Ganesh},
  title        = {Reasoning about Probabilistic Defense Mechanisms against Remote Attacks},
  journal      = {CoRR},
  volume       = {abs/1701.06743},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.06743},
  eprinttype    = {arXiv},
  eprint       = {1701.06743},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/OchoaBDBG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/taosd/DisenfeldK16,
  author       = {Cynthia Disenfeld and
                  Shmuel Katz},
  title        = {Developing and Verifying Response Specifications in Hierarchical Event-Based
                  Systems},
  journal      = {{LNCS} Trans. Modul. Compos.},
  volume       = {1},
  pages        = {41--79},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46969-0\_2},
  doi          = {10.1007/978-3-319-46969-0\_2},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taosd/DisenfeldK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/il/Disenfeld15,
  author       = {Cynthia Disenfeld},
  title        = {Compositional verification of events and responses},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {2015},
  url          = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990025294700203971},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Disenfeld15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/Disenfeld13,
  author       = {Cynthia Disenfeld},
  editor       = {Hidehiko Masuhara and
                  Shigeru Chiba and
                  Naoyasu Ubayashi},
  title        = {User-friendly event and aspect verification},
  booktitle    = {Aspect-Oriented Software Development, {AOSD} '13, Companion Volume,
                  Fukuoka, Japan, March 24-29, 2013},
  pages        = {33--34},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2457392.2457407},
  doi          = {10.1145/2457392.2457407},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/Disenfeld13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/DisenfeldK13,
  author       = {Cynthia Disenfeld and
                  Shmuel Katz},
  editor       = {Hidehiko Masuhara and
                  Shigeru Chiba and
                  Naoyasu Ubayashi},
  title        = {Specification and verification of event detectors and responses},
  booktitle    = {Aspect-Oriented Software Development, {AOSD} '13, Fukuoka, Japan,
                  March 24-29, 2013},
  pages        = {121--132},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2451436.2451452},
  doi          = {10.1145/2451436.2451452},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/DisenfeldK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/Disenfeld12,
  author       = {Cynthia Disenfeld},
  editor       = {Robert Hirschfeld and
                  {\'{E}}ric Tanter and
                  Kevin J. Sullivan and
                  Richard P. Gabriel},
  title        = {Compositional verification of events and aspects},
  booktitle    = {Companion Volume of the 11th International Conference on Aspect-oriented
                  Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
                  2012},
  pages        = {11--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2162110.2162121},
  doi          = {10.1145/2162110.2162121},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/Disenfeld12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/DisenfeldK12,
  author       = {Cynthia Disenfeld and
                  Shmuel Katz},
  editor       = {Robert Hirschfeld and
                  {\'{E}}ric Tanter and
                  Kevin J. Sullivan and
                  Richard P. Gabriel},
  title        = {A closer look at aspect interference and cooperation},
  booktitle    = {Proceedings of the 11th International Conference on Aspect-oriented
                  Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
                  2012},
  pages        = {107--118},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2162049.2162063},
  doi          = {10.1145/2162049.2162063},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/DisenfeldK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foal/DisenfeldK11,
  author       = {Cynthia Disenfeld and
                  Shmuel Katz},
  editor       = {Hridesh Rajan},
  title        = {Compositional verification of events and observers: (summary)},
  booktitle    = {Proceedings of the 10th international workshop on Foundations of aspect-oriented
                  languages, {FOAL} 2011, Porto de Galinhas, Brazil, March 21-25, 2011},
  pages        = {1--5},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1960510.1960512},
  doi          = {10.1145/1960510.1960512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foal/DisenfeldK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.