Shmuel Katz

Professor Emeritus

    • 1599
      Citations
    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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    • 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 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
    • 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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review