סינטיה דיסנפלד

סינטיה דיסנפלד

יצירת קשר
דף בית:
http://www.cs.technion.ac.il/~cdisenfe/
דואר אלקטרוני:
cdisenfe[at]cs.technion.ac.il
משרד:
229
טלפון:
4875
מנחה
פרסומים נבחרים
  • Disenfeld, Cynthia and Katz, Shmuel.
    Specification and Verification of Event Detectors and Responses.
    In Proceedings of the 12th Annual International Conference on Aspect-oriented Software Development, AOSD '13, ACM, 2013 [bibtex]
  • Disenfeld, Cynthia and Katz, Shmuel.
    A closer look at aspect interference and cooperation.
    In Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, ACM, 2012 [bibtex]
  • Disenfeld, Cynthia and Katz, Shmuel.
    Compositional verification of events and observers: (summary).
    In Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, ACM, 2011 [bibtex]