Shmuel Katz

Professor Emeritus

    • 1599
      Citations
    1980 …2016

    Research activity per year

    Filter
    Chapter

    Search results

    • 2006

      Aspect categories and classes of temporal properties

      Katz, S., 2006, Transactions on Aspect-Oriented Software Development I. p. 106-134 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3880 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    • 2003

      Exploiting independence for verification, refinement, and modularity

      Katz, S., Jun 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 195-209

      Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    • On translating models and properties

      Katz, S., 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 209-225

      Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    • 2002

      Translations between textual transition systems and Petri nets

      Korenblat, K., Grumberg, O. & Katz, S., 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2335. p. 339-359 21 p.

      Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review