Prof. Shmuel Katz
- Contact information
- Office Hours:
- By appointment via email
- 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
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]
Appraising fairness in distributed languages.
Distributed Computing, 2:226 - 241, 1988 [bibtex]
Multiparty interactions for interprocess communication and synchronization.
IEEE-TSE, 15(11):1417 - 1426, 1989 [bibtex]
MAVEN: modular aspect verification and interference analysis.
Formal Methods in System Design, 37:61--92, 2010 [bibtex]
User Queries for Specification Refinement Treating Shared Aspect Join Points, SEFM '10, 73--82, IEEE Computer Society, 2010.
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]
Aspect Categories and Classes of Temporal Properties.
Transactions on Aspect-Oriented Software Development I, 106-134, 2006 [bibtex]
Dataflow analysis for properties of aspect systems.
In Proceedings of 5th Haifa Verification Conference, LNCS 6405, 2009 [bibtex]
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]
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]
VeriTech: a framework for translating among model description notations.
International Journal on Software Tools for Technology Transfer (STTT), 9:119-132, 2007 [bibtex]
The common aspect proof environment.
International Journal on Software Tools for Technology Transfer (STTT), 14:41-52, 2012 [bibtex]
A Closer Look at Aspect Interference and Cooperation.
In Modularity and AOSD 2012, ACM, 2012 [bibtex]