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
    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 journal › Article › peer-review

      6 Scopus citations
    • 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 journal › Article › peer-review

      20 Scopus citations
    • 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 journal › Article › peer-review

      2 Scopus citations
    • 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 journal › Article › peer-review

      3 Scopus citations
    • 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 journal › Article › peer-review

      4 Scopus citations
    • 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 journal › Article › peer-review

      5 Scopus citations
    • 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 journal › Article › peer-review

      35 Scopus citations
    • 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 journal › Article › peer-review

      29 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      112 Scopus citations

    • 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 journal › Article › peer-review

      110 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      75 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      8 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      14 Scopus citations

    • 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 journal › Article › peer-review

      Open Access
      41 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      3 Scopus citations
    • 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 journal › Article › peer-review

      Open Access
      112 Scopus citations

    • 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 journal › Article › peer-review

      Open Access
      7 Scopus citations
    • 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 journal › Article › peer-review

      13 Scopus citations

    • 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 journal › Article › peer-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 journal › Article › peer-review

      Open Access
      3 Scopus citations
    • 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 journal › Article › peer-review

      13 Scopus citations