Shmuel Katz

Professor Emeritus

    • 1599
      Citations
    1980 …2016

    Research activity per year

    Fingerprint

    Dive into the research topics where Shmuel Katz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Researchers
    • Developing and verifying response specifications in hierarchical event-based systems

      Disenfeld, C. & Katz, S., 2016, Transactions on Modularity and Composition I. Sudholt, M., Ziarek, L., Chiba, S., Eugster, P. & Leavens, G. T. (eds.). p. 41-79 39 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9800 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    • Proving mutual termination

      Elenbogen, D., Katz, S. & Strichman, O., 29 Oct 2015, In: Formal Methods in System Design. 47, 2, p. 204-229 26 p.

      Research output: Contribution to journalArticlepeer-review

    • A tool-supported approach for modular design of energy-aware software

      Te Brinke, S., Malakuti, S., Bockisch, C., Bergmans, L., Akşit, M. & Katz, S., 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. p. 1206-1212 7 p. (Proceedings of the ACM Symposium on Applied Computing).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    • Proving mutual termination of programs

      Elenbogen, D., Katz, S. & Strichman, O., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    • Specification and verification of event detectors and responses

      Disenfeld, C. & Katz, S., 2013, AOSD 2013 - Proceedings of the 2013 ACM on Aspect-Oriented Software Development. p. 121-132 12 p. (AOSD 2013 - Proceedings of the 2013 ACM on Aspect-Oriented Software Development).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

      Open Access