Shmuel Katz

Professor Emeritus

    • 1599
      Citations
    1980 …2016

    Research activity per year

    Filter
    Article

    Search results

    • 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

    • 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

    • 2009

      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

    • 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

    • 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

    • 2003

      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

      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

    • 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
    • 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
    • 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
    • Partially interpreted schemas for CSP programming

      Baruch, O. & Katz, S., Feb 1988, In: Science of Computer Programming. 10, 1, p. 1-18 18 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • 1987

      Cooperative Distributed Algorithms for Dynamic Cycle Prevention

      Katz, S. & Shmueli, O., May 1987, In: IEEE Transactions on Software Engineering. SE-13, 5, p. 540-552 13 p.

      Research output: Contribution to journalArticlepeer-review

    • Fairness and the axioms of control predicates

      Francez, N. & Katz, S., Aug 1987, In: International Journal of Parallel Programming. 16, 4, p. 263-278 16 p.

      Research output: Contribution to journalArticlepeer-review

    • 1986

      A complete rule for equifair termination

      Grumberg, O., Francez, N. & Katz, S., Dec 1986, In: Journal of Computer and System Sciences. 33, 3, p. 313-332 20 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • 1980

      A system for constructing linear programming models

      Katz, S., Risman, L. J. & Rodeh, M., 1980, In: IBM Systems Journal. 19, 4, p. 505-520 16 p.

      Research output: Contribution to journalArticlepeer-review