|
Search the dblp DataBase
Shmuel Katz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zeev Collin, Rina Dechter, Shmuel Katz
On the Feasibility of Distributed Constraint Satisfaction. [Citation Graph (1, 0)][DBLP] IJCAI, 1991, pp:318-324 [Conf]
- 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]
- Marcelo Sihman, Shmuel Katz
A calculus of superimpositions for distributed systems. [Citation Graph (0, 0)][DBLP] AOSD, 2002, pp:28-40 [Conf]
- Mika Katara, Shmuel Katz
Architectural views of aspects. [Citation Graph (0, 0)][DBLP] AOSD, 2003, pp:1-10 [Conf]
- 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]
- Shmuel Katz, Marcelo Sihman
Aspect Validation Using Model Checking. [Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:373-394 [Conf]
- Marcelo Glusman, Shmuel Katz
Model Checking Conformance with Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:328-340 [Conf]
- Marcelo Glusman, Shmuel Katz
Mechanizing Proofs of Computation Equivalence. [Citation Graph (0, 0)][DBLP] CAV, 1999, pp:354-367 [Conf]
- Hillel Miller, Shmuel Katz
Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:336-347 [Conf]
- 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]
- Marcelo Glusman, Shmuel Katz
Extending Memory Consistency of Finite Prefixes to Infinite Computations. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:411-425 [Conf]
- Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Developing Web Applications with OPM/Web. [Citation Graph (0, 0)][DBLP] DIWeb, 2001, pp:47-61 [Conf]
- Shmuel Katz
Program Optimization Using Invariants. [Citation Graph (0, 0)][DBLP] ECI, 1976, pp:287-309 [Conf]
- Shmuel Katz, Joseph Gil
Aspects and Superimpositions. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:308-309 [Conf]
- Shmuel Katz
Faithful Translations among Models and Specifications. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:419-434 [Conf]
- Emilia Katz, Shmuel Katz
Verifying Scenario-Based Aspect Specifications. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:432-447 [Conf]
- 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]
- Shmuel Katz
Global Equivalence Proofs for ISTL. [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:17-29 [Conf]
- Shmuel Katz, Orna Grumberg
A Framework for Translating Models and Specifications. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:145-164 [Conf]
- 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]
- Shmuel Katz, Zohar Manna
A Heuristic Approach to Program Verification. [Citation Graph (0, 0)][DBLP] IJCAI, 1973, pp:500-512 [Conf]
- Shmuel Katz, Ruth Zimmerman
An Advisory System for Developing Data Representations. [Citation Graph (0, 0)][DBLP] IJCAI, 1981, pp:1030-1036 [Conf]
- Doron Peled, Shmuel Katz, Amir Pnueli
Specifying and Proving Serializability in Temporal Logic [Citation Graph (0, 0)][DBLP] LICS, 1991, pp:232-244 [Conf]
- 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]
- 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]
- 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]
- Orna Grumberg, Nissim Francez, Shmuel Katz
Fail Termination of Communicating Processe. [Citation Graph (0, 0)][DBLP] PODC, 1984, pp:254-265 [Conf]
- John H. Howard, Shmuel Katz
Reconciliations. [Citation Graph (0, 0)][DBLP] PODC, 1994, pp:14-21 [Conf]
- Shmuel Katz, Doron Peled
Interleaving Set Temporal Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP] PODC, 1987, pp:178-190 [Conf]
- Shmuel Katz, Kenneth J. Perry
Self-Stabilizing Extensions for Message-Passing Systems. [Citation Graph (0, 0)][DBLP] PODC, 1990, pp:91-101 [Conf]
- Shmuel Katz, Gadi Taubenfeld
What Processes Know: Definitions and Proof Methods (Preliminary Version). [Citation Graph (0, 0)][DBLP] PODC, 1986, pp:249-262 [Conf]
- 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]
- 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]
- 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]
- Shmuel Katz, Doron Peled
Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP] Temporal Logic in Specification, 1987, pp:21-43 [Conf]
- Shmuel Katz, Patrick Lincoln, John M. Rushby
Low-Overhead Time-Triggered Group Membership. [Citation Graph (0, 0)][DBLP] WDAG, 1997, pp:155-169 [Conf]
- Shmuel Katz
Rigorous Fault Tolerance Using Aspects and Formal Methods. [Citation Graph (0, 0)][DBLP] RODIN Book, 2006, pp:226-240 [Conf]
- Shmuel Katz, Zohar Manna
A Closer Look at Termination [Citation Graph (0, 0)][DBLP] Acta Inf., 1975, v:5, n:, pp:333-352 [Journal]
- 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]
- Shmuel Katz, Zohar Manna
Logical Analysis of Programs. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1976, v:19, n:4, pp:188-206 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Shmuel Katz
Aspect Categories and Classes of Temporal Properties. [Citation Graph (0, 0)][DBLP] , 2006, v:, n:, pp:106-134 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- Shmuel Katz
Program Optimization Using Invariants. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1978, v:4, n:5, pp:378-389 [Journal]
- Max Goldman, Shmuel Katz
MAVEN: Modular Aspect Verification. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:308-322 [Conf]
- 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]
Modular Verification of Strongly Invasive Aspects. [Citation Graph (, )][DBLP]
Aspects and Formal Methods. [Citation Graph (, )][DBLP]
The TDD-Guide Training and Guidance Tool for Test-Driven Development. [Citation Graph (, )][DBLP]
Incremental analysis of interference among aspects. [Citation Graph (, )][DBLP]
Modular verification of strongly invasive aspects: summary. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.456secs
|