dblp.uni-trier.dewww.uni-trier.de

Shmuel Katz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Martín Abadi [26]
2Bowen Alpern [26]
3Krzysztof R. Apt [15] [18] [26]
4Orit Baruch [17]
5Johan Brichau [59]
6Ruzanna Chitchyan [59]
7Siobhán Clarke [59]
8Zeev Collin [28] [39]
9Ellie D'Hondt [59]
10Rina Dechter [28] [39]
11Dov Dori [43] [45] [48] [56]
12Yael Dubinsky [65]
13Michael Evangelist [21]
14Nissim Francez [8] [9] [10] [11] [15] [18] [21] [26]
15Alessandro F. Garcia (Alessandro Garcia) [59]
16Joseph Gil (Yossi Gil) [40]
17Marcelo Glusman [41] [44] [50] [53]
18Max Goldman [64]
19Germán S. Goldszmidt [19] [24]
20Orna Grumberg [8] [9] [10] [11] [46] [47] [63]
21Michael Haupt [59]
22John H. Howard [34]
23Wouter Joosen [59]
24Mika Katara [54] [62]
25Emilia Katz [57] [66] [68]
26Katerina Korenblat [46]
27Leslie Lamport [26]
28Patrick Lincoln [37]
29Zohar Manna [1] [2] [3]
30Hillel Miller [36] [38]
31Oren Mishali [61] [65]
32Shlomo Moran [22] [33]
33Jacques Noyé [59]
34Doron Peled [14] [16] [20] [23] [27] [29] [30]
35Kenneth J. Perry [25] [31]
36Amir Pnueli [10] [27]
37Awais Rashid [55] [59]
38Iris Reinhartz-Berger [43] [45] [48] [56]
39Lawrence J. Risman [6]
40Michael Rodeh [6]
41John M. Rushby [37]
42Fred B. Schneider [26]
43Oded Shmueli [13]
44Marcelo Sihman [49] [51] [52]
45Mario Südholt [59]
46Gadi Taubenfeld [12] [22] [33]
47Shaula Yemini [19] [24]
48Ruth Zimmerman [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)