No photo of Shmuel Katz

View Scopus Profile

Shmuel Katz

Professor Emeritus

    Calculated based on number of publications stored in Pure and citations from Scopus
    1980 …2016

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2016

      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 proceeding › Conference contribution › peer-review

    • 2014

      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 proceeding › Conference contribution › peer-review

      4 Scopus citations
    • 2013

      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 proceeding › Conference contribution › peer-review

      2 Scopus citations

    • 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 proceeding › Conference contribution › peer-review

      Open Access
      7 Scopus citations
    • 2012

      A closer look at aspect interference and cooperation

      Disenfeld, C. & Katz, S., 2012, AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development. p. 107-118 12 p. (AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      16 Scopus citations

    • Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools

      Jääskeläinen, A., Katara, M., Katz, S. & Virtanen, H., 1 Jul 2012, 6th International Workshop on Systems Software Verification, SSV 2011. Brauer, J., Roveri, M. & Tews, H. (eds.). p. 44-56 13 p. (OpenAccess Series in Informatics; vol. 24).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2011

      Compositional verification of events and observers: (Summary)

      Disenfeld, C. & Katz, S., 2011, Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011. p. 1-5 5 p. (Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Making aspects natural: Events and composition

      Bockisch, C., Malakuti, S., Akşit, M. & Katz, S., 2011, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11. p. 285-299 15 p. (Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      19 Scopus citations
    • 2010

      User queries for specification refinement treating shared aspect join points

      Katz, E. & Katz, S., 2010, Proceedings - Software Engineering and Formal Methods, SEFM 2010. p. 73-82 10 p. 5637410. (Proceedings - Software Engineering and Formal Methods, SEFM 2010).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      7 Scopus citations
    • 2009

      Modular verification of strongly invasive aspects: Summary

      Katz, E. & Katz, S., 2009, Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09. p. 7-11 5 p. (Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      8 Scopus citations

    • The HighspectJ framework

      Mishali, O. & Katz, S., 2009, Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS '09, Co-located with the 8th Int. Conf. Aspect-Oriented Software Development, AOSD.09. p. 19-23 5 p. (Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS '09, Co-located with the 8th Int. Conf. Aspect-Oriented Software Development, AOSD.09).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations
    • 2008

      Incremental analysis of interference among aspects

      Katz, E. & Katz, S., 2008, FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development. p. 29-38 10 p. (FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      40 Scopus citations

    • The TDD-guide training and guidance tool for test-driven development

      Mishali, O., Dubinsky, Y. & Katz, S., 2008, Agile Processes in Software Engineering and Extreme Programming - 9th International Conference, XP 2008, Proceedings. p. 63-72 10 p. (Lecture Notes in Business Information Processing; vol. 9 LNBIP).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      8 Scopus citations
    • 2007

      MAVEN: Modular aspect verification

      Goldman, M. & Katz, S., 2007, Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Grumberg, O. & Huth, M. (eds.). p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4424 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      27 Scopus citations
    • 2006

      Using aspects to support the software process: XP over Eclipse

      Mishali, O. & Katz, S., 2006, Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06. p. 169-179 11 p. (Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06; vol. 2006).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      10 Scopus citations
    • 2004

      From aspectual requirements to proof obligations for aspect-oriented systems

      Katz, S. & Rashid, A., 2004, Proceedings - 12th IEEE International Requirements Engineering Conference. RE 2004. p. 48-57 10 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      24 Scopus citations
    • 2002

      A Calculus of Superimpositions for Distributed Systems

      Sihman, M. & Katz, S., 2002, 1st International Conference on Aspect-Oriented Software Development. Kinzales, G. (ed.). p. 28-40 13 p. (1st International Conference on Aspect-Oriented Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      13 Scopus citations
    • 2001

      Extending memory consistency of finite prefixes to infinite computations

      Glusman, M. & Katz, S., 2001, Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Larsen, K. G. & Nielsen, M. (eds.). p. 411-425 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2154).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations
    • 1999

      Mechanizing proofs of computation equivalence

      Glusman, M. & Katz, S., 1999, Computer Aided Verification - 11th International Conference, CAV 1999, Proceedings. Halbwachs, N., Peled, D. & Peled, D. (eds.). p. 354-367 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1633).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      5 Scopus citations
    • 1994

      Global equivalence proofs for ISTL

      Katz, S., 1994, Temporal Logic - 1st International Conference, ICTL 1994, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). p. 17-29 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 827 LNAI).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations
    • 1987

      Appraising fairness in languages for distributed programming

      Apt, K. R., Francez, N. & Katz, S., 1 Oct 1987, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987. p. 189-198 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. Part F130236).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      21 Scopus citations

    • Interleaving set temporal logic (preliminary version)

      Katz, S. & Peled, D., 1 Dec 1987, Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing, PODC 1987. Schneider, F. B. (ed.). p. 178-190 13 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F130235).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      29 Scopus citations
    • 1985

      Proving termination of Prolog programs

      Francez, N., Grumberg, O., Katz, S. & Pnueli, A., 1985, Logics of Programs , Proceedings. Parikh, R. (ed.). p. 89-105 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 193 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      22 Scopus citations
    • 1984

      A complete proof rule for strong equifair termination

      Grümberg, O., Francez, N. & Katz, S., 1984, Logics of Programs - Workshop. Clarke, E. & Kozen, D. (eds.). p. 257-278 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 164 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • FAIR TERMINATION OF COMMUNICATING PROCESSES.

      Grumberg, O., Francez, N. & Katz, S., 1984, Unknown Host Publication Title. p. 254-265 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      14 Scopus citations