Prof. Shmuel Katz

Prof. Shmuel Katz

Contact information
Homepage:
http://www.cs.technion.ac.il/~katz/
Email:
katz[at]cs.technion.ac.il
Office:
635
Phone:
4322
Office Hours:
Monday, 13:00-14:00
Research interests
Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.
Selected publications
  • Katz, Emilia and Katz, Shmuel.
    Incremental analysis of interference among aspects.
    In Proceedings of the 7th workshop on Foundations of aspect-oriented languages, FOAL '08, 29--38, ACM, 2008 [bibtex]
  • Krzysztof Apt, Nissim Francez and Shmuel Katz.
    Appraising fairness in distributed languages.
    Distributed Computing, 2:226 - 241, 1988 [bibtex]
  • Michael Evangelist, Nissim Francez and Shmuel Katz.
    Multiparty interactions for interprocess communication and synchronization.
    IEEE-TSE, 15(11):1417 - 1426, 1989 [bibtex]
  • Goldman, Max, Katz, Emilia and Katz, Shmuel.
    MAVEN: modular aspect verification and interference analysis.
    Formal Methods in System Design, 37:61--92, 2010 [bibtex]
  • Katz, Emilia and Katz, Shmuel.
    User Queries for Specification Refinement Treating Shared Aspect Join Points, SEFM '10, 73--82, IEEE Computer Society, 2010.
    [bibtex]
  • Bockisch, Christoph, Malakuti, Somayeh, Ak\c{s}it, Mehmet and Katz, Shmuel.
    Making aspects natural: events and composition.
    In Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, 285--300, ACM, 2011 [bibtex]
  • Katz, Shmuel.
    Aspect Categories and Classes of Temporal Properties.
    Transactions on Aspect-Oriented Software Development I, 106-134, 2006 [bibtex]
  • Alperin-Tsimerman, Yevgenia and Katz, Shmuel.
    Dataflow analysis for properties of aspect systems.
    In Proceedings of 5th Haifa Verification Conference, LNCS 6405, 2009 [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, 1--5, ACM, 2011 [bibtex]
  • Katz, Emilia and Katz, Shmuel.
    Modular verification of strongly invasive aspects: summary.
    In Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, FOAL '09, 7--12, ACM, 2009 [bibtex]
  • Grumberg, Orna and Katz, Shmuel.
    VeriTech: a framework for translating among model description notations.
    International Journal on Software Tools for Technology Transfer (STTT), 9:119-132, 2007 [bibtex]
  • Katz, Shmuel and Faitelson, David.
    The common aspect proof environment.
    International Journal on Software Tools for Technology Transfer (STTT), 14:41-52, 2012 [bibtex]
  • Cynthia Disenfeld and Shmuel Katz.
    A Closer Look at Aspect Interference and Cooperation.
    In Modularity and AOSD 2012, ACM, 2012 [bibtex]