The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shmuel Katz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zeev Collin, Rina Dechter, Shmuel Katz
    On the Feasibility of Distributed Constraint Satisfaction. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1991, pp:318-324 [Conf]
  2. Shmuel Katz, Oded Shmueli
    Cooperative Distributed Algorithms for Dynamic Cycle Prevention. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:5, pp:540-552 [Journal]
  3. Marcelo Sihman, Shmuel Katz
    A calculus of superimpositions for distributed systems. [Citation Graph (0, 0)][DBLP]
    AOSD, 2002, pp:28-40 [Conf]
  4. Mika Katara, Shmuel Katz
    Architectural views of aspects. [Citation Graph (0, 0)][DBLP]
    AOSD, 2003, pp:1-10 [Conf]
  5. Oren Mishali, Shmuel Katz
    Using aspects to support the software process: XP over Eclipse. [Citation Graph (0, 0)][DBLP]
    AOSD, 2006, pp:169-179 [Conf]
  6. Shmuel Katz, Marcelo Sihman
    Aspect Validation Using Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:373-394 [Conf]
  7. Marcelo Glusman, Shmuel Katz
    Model Checking Conformance with Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:328-340 [Conf]
  8. Marcelo Glusman, Shmuel Katz
    Mechanizing Proofs of Computation Equivalence. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:354-367 [Conf]
  9. Hillel Miller, Shmuel Katz
    Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:336-347 [Conf]
  10. Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
    Open Reuse of Component Designs in OPM/We. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:19-26 [Conf]
  11. Marcelo Glusman, Shmuel Katz
    Extending Memory Consistency of Finite Prefixes to Infinite Computations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:411-425 [Conf]
  12. Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
    Developing Web Applications with OPM/Web. [Citation Graph (0, 0)][DBLP]
    DIWeb, 2001, pp:47-61 [Conf]
  13. Shmuel Katz
    Program Optimization Using Invariants. [Citation Graph (0, 0)][DBLP]
    ECI, 1976, pp:287-309 [Conf]
  14. Shmuel Katz, Joseph Gil
    Aspects and Superimpositions. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:308-309 [Conf]
  15. Shmuel Katz
    Faithful Translations among Models and Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:419-434 [Conf]
  16. Emilia Katz, Shmuel Katz
    Verifying Scenario-Based Aspect Specifications. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:432-447 [Conf]
  17. Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
    Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:109-120 [Conf]
  18. Shmuel Katz
    Global Equivalence Proofs for ISTL. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:17-29 [Conf]
  19. Shmuel Katz, Orna Grumberg
    A Framework for Translating Models and Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:145-164 [Conf]
  20. Katerina Korenblat, Orna Grumberg, Shmuel Katz
    Translations between Textual Transition Systems and Petri Nets. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:339-359 [Conf]
  21. Shmuel Katz, Zohar Manna
    A Heuristic Approach to Program Verification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:500-512 [Conf]
  22. Shmuel Katz, Ruth Zimmerman
    An Advisory System for Developing Data Representations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:1030-1036 [Conf]
  23. Doron Peled, Shmuel Katz, Amir Pnueli
    Specifying and Proving Serializability in Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:232-244 [Conf]
  24. Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
    Proving Termination of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:89-105 [Conf]
  25. Orna Grumberg, Nissim Francez, Shmuel Katz
    A Compete Proof Rule for Strong Equifair Termination. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:257-278 [Conf]
  26. Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini
    Interactive Blackbox Debugging for Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1988, pp:271-282 [Conf]
  27. Orna Grumberg, Nissim Francez, Shmuel Katz
    Fail Termination of Communicating Processe. [Citation Graph (0, 0)][DBLP]
    PODC, 1984, pp:254-265 [Conf]
  28. John H. Howard, Shmuel Katz
    Reconciliations. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:14-21 [Conf]
  29. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1987, pp:178-190 [Conf]
  30. Shmuel Katz, Kenneth J. Perry
    Self-Stabilizing Extensions for Message-Passing Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:91-101 [Conf]
  31. Shmuel Katz, Gadi Taubenfeld
    What Processes Know: Definitions and Proof Methods (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1986, pp:249-262 [Conf]
  32. Krzysztof R. Apt, Nissim Francez, Shmuel Katz
    Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:189-198 [Conf]
  33. Shmuel Katz, Awais Rashid
    From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:48-57 [Conf]
  34. Shmuel Katz, Doron Peled
    An efficient verification method for parallel and distributed programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:489-507 [Conf]
  35. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:21-43 [Conf]
  36. Shmuel Katz, Patrick Lincoln, John M. Rushby
    Low-Overhead Time-Triggered Group Membership. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:155-169 [Conf]
  37. Shmuel Katz
    Rigorous Fault Tolerance Using Aspects and Formal Methods. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:226-240 [Conf]
  38. Shmuel Katz, Zohar Manna
    A Closer Look at Termination [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1975, v:5, n:, pp:333-352 [Journal]
  39. Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
    OPM/Web - Object-Process Methodology for Developing Web Applications. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2002, v:13, n:1-4, pp:141-161 [Journal]
  40. Shmuel Katz, Zohar Manna
    Logical Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:4, pp:188-206 [Journal]
  41. Marcelo Sihman, Shmuel Katz
    Superimpositions and Aspect-oriented Programming. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2003, v:46, n:5, pp:529-541 [Journal]
  42. Zeev Collin, Rina Dechter, Shmuel Katz
    Self-Stabilizing Distributed Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 1999, v:1999, n:, pp:- [Journal]
  43. Krzysztof R. Apt, Nissim Francez, Shmuel Katz
    Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1988, v:2, n:4, pp:226-241 [Journal]
  44. Shmuel Katz, Kenneth J. Perry
    Self-Stabilizing Extensions for Message-Passing Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:7, n:1, pp:17-26 [Journal]
  45. Shmuel Katz, Doron Peled
    Verification of Distributed Programs Using Representative Interleaving Sequences. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:2, pp:107-120 [Journal]
  46. Marcelo Glusman, Shmuel Katz
    A Mechanized Proof Environment for the Convenient Computations Proof Method. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:2, pp:115-142 [Journal]
  47. Shmuel Katz, Hillel Miller
    Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:14, n:3, pp:311-332 [Journal]
  48. Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
    Impossibility Results in the Presence of Multiple Faulty Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:113, n:2, pp:173-198 [Journal]
  49. Shmuel Katz, Lawrence J. Risman, Michael Rodeh
    A System for Constructing Linear Programming Models. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1980, v:19, n:4, pp:505-520 [Journal]
  50. Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
    Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:40, n:3, pp:141-142 [Journal]
  51. Orna Grumberg, Nissim Francez, Shmuel Katz
    A Complete Rule for Equifair Termination. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:33, n:3, pp:313-332 [Journal]
  52. Orit Baruch, Shmuel Katz
    Partially Interpreted Schemas for CSP Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1988, v:10, n:1, pp:1-18 [Journal]
  53. Shmuel Katz
    Aspect Categories and Classes of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:106-134 [Journal]
  54. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:263-287 [Journal]
  55. Shmuel Katz, Doron Peled
    Defining Conditional Independence Using Collapses. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:101, n:2, pp:337-359 [Journal]
  56. Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz
    High-Level Language Debugging for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1990, v:8, n:4, pp:311-336 [Journal]
  57. Shmuel Katz
    A Superimposition Control Construct for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:2, pp:337-356 [Journal]
  58. Michael Evangelist, Nissim Francez, Shmuel Katz
    Multiparty Interactions for Interprocess Communication and Synchronization. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1417-1426 [Journal]
  59. Shmuel Katz
    Program Optimization Using Invariants. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:5, pp:378-389 [Journal]
  60. Max Goldman, Shmuel Katz
    MAVEN: Modular Aspect Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:308-322 [Conf]
  61. Orna Grumberg, Shmuel Katz
    VeriTech: a framework for translating among model description notations. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:2, pp:119-132 [Journal]

  62. Modular Verification of Strongly Invasive Aspects. [Citation Graph (, )][DBLP]


  63. Aspects and Formal Methods. [Citation Graph (, )][DBLP]


  64. The TDD-Guide Training and Guidance Tool for Test-Driven Development. [Citation Graph (, )][DBLP]


  65. Incremental analysis of interference among aspects. [Citation Graph (, )][DBLP]


  66. Modular verification of strongly invasive aspects: summary. [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.047secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002