Shmuel Katz

Professor Emeritus

    • 1599
      Citations
    1980 …2016

    Research activity per year

    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

    • 2015

      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

    • 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
    • Preface

      Katz, S., Leavens, G. T. & Masuhara, H., 2012, In: FOAL'12 - Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages. p. iii

      Research output: Contribution to journalEditorial

    • 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

    • Editorial

      Katz, S. & Mezini, M., 2011, Transactions on Aspect-Oriented Software Development VIII. Katz, S., Mezini, M., Schwanninger, C. & Joosen, W. (eds.). p. VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6580).

      Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

    • 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

      MAVEN: Modular aspect verification and interference analysis

      Goldman, M., Katz, E. & Katz, S., Nov 2010, In: Formal Methods in System Design. 37, 1, p. 61-92 32 p.

      Research output: Contribution to journalArticlepeer-review

    • 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

      Editorial for special section on dependencies and interactions with aspects

      Chitchyan, R., Fabry, J., Katz, S. & Rensink, A., 2009, Transactions on Aspect-Oriented Software Development V. Rashid, A. & Ossher, H. (eds.). p. 133-134 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5490 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

      Open Access
    • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

      Grumberg, O., Kaminski, M., Katz, S. & Wintner, S., 2009, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5533 LNCS, p. VII-VIII

      Research output: Contribution to journalEditorial

    • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Editorial

      Katz, S. & Ossher, H., 2009, Transactions on Aspect-Oriented Software Development VI - Special Issue on Aspects and Model-Driven Engineering. Katz, S., Ossher, H., France, R. & Jezequel, J.-M. (eds.). p. VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5560 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

    • 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

    • Reusing semi-specified behavior models in systems analysis and design

      Reinhartz-Berger, I., Dori, D. & Katz, S., 2009, In: Software and Systems Modeling. 8, 2, p. 221-234 14 p.

      Research output: Contribution to journalArticlepeer-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

    • Iterative analysis of interference among aspects

      Katz, E. & Katz, S., 2008.

      Research output: Contribution to conferenceOther

    • 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
    • VeriTech: A framework for translating among model description notations

      Grumberg, O. & Katz, S., Mar 2007, In: International Journal on Software Tools for Technology Transfer. 9, 2, p. 119-132 14 p.

      Research output: Contribution to journalReview articlepeer-review

    • 2006

      A model curriculum for aspect-oriented software development

      Brichau, J., Chitchyan, R., Garcia, A., Rashid, A., Clarke, S., D'Hondt, E., Haupt, M., Joosen, W., Katz, S., Noyé, J. & Südholt, M., Nov 2006, In: IEEE Software. 23, 6, p. 53-61 9 p.

      Research output: Contribution to journalArticlepeer-review

    • 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

    • 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

    • 2005

      Modelling code mobility and migration: An OPM/Web approach

      Reinhartz-Berger, I., Dori, D. & Katz, S., 2005, In: International Journal of Web Engineering and Technology. 2, 1, p. 6-28 23 p.

      Research output: Contribution to journalArticlepeer-review

    • 2004

      Aspect validation using model checking

      Katz, S. & Sihman, M., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772, p. 373-394 22 p.

      Research output: Contribution to journalArticlepeer-review

    • 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

    • 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

    • Superimpositions and aspect-oriented programming

      Sihman, M. & Katz, S., 2003, In: Computer Journal. 46, 5, p. 529-541 13 p.

      Research output: Contribution to journalArticlepeer-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

    • Open reuse of component designs in OPM/Web

      Reinhartz-Berger, I., Dori, D. & Katz, S., 2002, In: Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. p. 19-24 6 p.

      Research output: Contribution to journalConference articlepeer-review

    • OPM/Web - Object-process methodology for developing Web applications

      Reinhartz-Berger, I., Dori, D. & Katz, S., 2002, In: Annals of Software Engineering. 13, 1-4, p. 141-161 21 p.

      Research output: Contribution to journalArticlepeer-review

    • 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

    • 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

    • 1993

      A Superimposition Control Construct for Distributed Systems

      Katz, S., 4 Jan 1993, In: ACM Transactions on Programming Languages and Systems. 15, 2, p. 337-356 20 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Self-stabilizing extensions for meassage-passing systems

      Katz, S. & Perry, K. J., Nov 1993, In: Distributed Computing. 7, 1, p. 17-26 10 p.

      Research output: Contribution to journalArticlepeer-review

    • 1992

      Defining conditional independence using collapses

      Katz, S. & Peled, D., 20 Jul 1992, In: Theoretical Computer Science. 101, 2, p. 337-359 23 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • 1991

      Preserving liveness: Comments on "safety and liveness from a methodological point of view"

      Abadi, M., Alpern, B., Apt, K. R., Francez, N., Katz, S., Lamport, L. & Schneider, F. B., 8 Nov 1991, In: Information Processing Letters. 40, 3, p. 141-142 2 p.

      Research output: Contribution to journalArticlepeer-review

    • 1990

      High-Level Language Debugging for Concurrent Programs

      Goldszmidt, G. S., Yemini, S. & Katz, S., 11 Jan 1990, In: ACM Transactions on Computer Systems. 8, 4, p. 311-336 26 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Interleaving set temporal logic

      Katz, S. & Peled, D., 1 Oct 1990, In: Theoretical Computer Science. 75, 3, p. 263-287 25 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Self-stabilizing extensions for message-passing systems

      Katz, S. & Perry, K. J., 1990, p. 91-101. 11 p.

      Research output: Contribution to conferencePaperpeer-review

      Open Access
    • 1989

      Interactive Blackbox Debugging for Concurrent Languages

      Goldszmidt, G., Katz, S. & Yemini, S., 3 Jan 1989, In: ACM SIGPLAN Notices. 24, 1, p. 271-282 12 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Multiparty Interactions for Interprocess Communication and Synchronization

      Evangelist, M., Francez, N. & Katz, S., Nov 1989, In: IEEE Transactions on Software Engineering. 15, 11, p. 1417-1426 10 p.

      Research output: Contribution to journalComment/debate

    • 1988

      Appraising fairness in languages for distributed programming

      Apt, K. R., Francez, N. & Katz, S., Dec 1988, In: Distributed Computing. 2, 4, p. 226-241 16 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access