Shmuel Katz

	2012
86		Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012 ACM 2012
85		Cynthia Disenfeld, Shmuel Katz: A closer look at aspect interference and cooperation. AOSD 2012: 107-118
84		Shmuel Katz, David Faitelson: The common aspect proof environment. STTT 14(1): 41-52 (2012)
	2011
83		Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen: Transactions on Aspect-Oriented Software Development VIII Springer 2011
82		Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz: Making aspects natural: events and composition. AOSD 2011: 285-300
81		Cynthia Disenfeld, Shmuel Katz: Compositional verification of events and observers: (summary). FOAL 2011: 1-5
	2010
80		Shmuel Katz, Mira Mezini, Jörg Kienzle: Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling Springer 2010
79		Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit: Checking the Correspondence between UML Models and Implementation. RV 2010: 198-213
78		Emilia Katz, Shmuel Katz: User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM 2010: 73-82
77		Max Goldman, Emilia Katz, Shmuel Katz: MAVEN: modular aspect verification and interference analysis. Formal Methods in System Design 37(1): 61-92 (2010)
	2009
76		Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Springer 2009
75		Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel: Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering Springer 2009
74		Emilia Katz, Shmuel Katz: Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12
73		Yevgenia Alperin-Tsimerman, Shmuel Katz: Dataflow Analysis for Properties of Aspect Systems. Haifa Verification Conference 2009: 87-101
72		Emilia Katz, Shmuel Katz: Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural 2009: 128-147
71		Iris Reinhartz-Berger, Dov Dori, Shmuel Katz: Reusing semi-specified behavior models in systems analysis and design. Software and System Modeling 8(2): 221-234 (2009)
70		Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink: Editorial for Special Section on Dependencies and Interactions with Aspects. T. Aspect-Oriented Software Development 5: 133-134 (2009)
	2008
69		Shmuel Katz: Aspects and Formal Methods. FM 2008: 1-11
68		Emilia Katz, Shmuel Katz: Incremental analysis of interference among aspects. FOAL 2008: 29-38
67		Oren Mishali, Yael Dubinsky, Shmuel Katz: The TDD-Guide Training and Guidance Tool for Test-Driven Development. XP 2008: 63-72
	2007
66		Max Goldman, Shmuel Katz: MAVEN: Modular Aspect Verification. TACAS 2007: 308-322
65		Orna Grumberg, Shmuel Katz: VeriTech: a framework for translating among model description notations. STTT 9(2): 119-132 (2007)
64		Mika Katara, Shmuel Katz: A concern architecture view for aspect-oriented software design. Software and System Modeling 6(3): 247-265 (2007)
	2006
63		Oren Mishali, Shmuel Katz: Using aspects to support the software process: XP over Eclipse. AOSD 2006: 169-179
62		Shmuel Katz: Rigorous Fault Tolerance Using Aspects and Formal Methods. RODIN Book 2006: 226-240
61		Johan 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)
60		Shmuel Katz: Aspect Categories and Classes of Temporal Properties. T. Aspect-Oriented Software Development I: 106-134 (2006)
	2005
59		Emilia Katz, Shmuel Katz: Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447
58		Iris 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
57		Shmuel Katz, Awais Rashid: From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. RE 2004: 48-57
	2003
56		Mika Katara, Shmuel Katz: Architectural views of aspects. AOSD 2003: 1-10
55		Marcelo Glusman, Shmuel Katz: Model Checking Conformance with Scenario-Based Specifications. CAV 2003: 328-340
54		Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394
53		Marcelo Sihman, Shmuel Katz: Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003)
52		Marcelo Glusman, Shmuel Katz: A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods in System Design 23(2): 115-142 (2003)
	2002
51		Marcelo Sihman, Shmuel Katz: A calculus of superimpositions for distributed systems. AOSD 2002: 28-40
50		Iris Reinhartz-Berger, Dov Dori, Shmuel Katz: Open Reuse of Component Designs in OPM/We. COMPSAC 2002: 19-26
49		Shmuel Katz, Orna Grumberg: A Framework for Translating Models and Specifications. IFM 2002: 145-164
48		Katerina Korenblat, Orna Grumberg, Shmuel Katz: Translations between Textual Transition Systems and Petri Nets. IFM 2002: 339-359
47		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
46		Marcelo Glusman, Shmuel Katz: Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR 2001: 411-425
45		Iris Reinhartz-Berger, Dov Dori, Shmuel Katz: Developing Web Applications with OPM/Web. DIWeb 2001: 47-61
44		Shmuel Katz: Faithful Translations among Models and Specifications. FME 2001: 419-434
	1999
43		Marcelo Glusman, Shmuel Katz: Mechanizing Proofs of Computation Equivalence. CAV 1999: 354-367
42		Shmuel Katz, Joseph Gil: Aspects and Superimpositions. ECOOP Workshops 1999: 308-309
41		Zeev Collin, Rina Dechter, Shmuel Katz: Self-Stabilizing Distributed Constraint Satisfaction. Chicago J. Theor. Comput. Sci. 1999: (1999)
40		Shmuel Katz, Hillel Miller: Saving Space by Fully Exploiting Invisible Transitions. Formal Methods in System Design 14(3): 311-332 (1999)
	1997
39		Shmuel Katz, Patrick Lincoln, John M. Rushby: Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169
	1996
38		Hillel Miller, Shmuel Katz: Saving Space by Fully Exploiting Invisible Transitions. CAV 1996: 336-347
	1994
37		Shmuel Katz: Global Equivalence Proofs for ISTL. ICTL 1994: 17-29
36		John H. Howard, Shmuel Katz: Reconciliations. PODC 1994: 14-21
35		Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Impossibility Results in the Presence of Multiple Faulty Processes Inf. Comput. 113(2): 173-198 (1994)
	1993
34		Shmuel Katz: A Superimposition Control Construct for Distributed Systems. ACM Trans. Program. Lang. Syst. 15(2): 337-356 (1993)
33		Shmuel Katz, Kenneth J. Perry: Self-Stabilizing Extensions for Message-Passing Systems. Distributed Computing 7(1): 17-26 (1993)
	1992
32		Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)
31		Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)
	1991
30		Zeev Collin, Rina Dechter, Shmuel Katz: On the Feasibility of Distributed Constraint Satisfaction. IJCAI 1991: 318-324
29		Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic LICS 1991: 232-244
28		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
27		Shmuel Katz, Kenneth J. Perry: Self-Stabilizing Extensions for Message-Passing Systems. PODC 1990: 91-101
26		Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz: High-Level Language Debugging for Concurrent Programs. ACM Trans. Comput. Syst. 8(4): 311-336 (1990)
25		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)
	1989
24		Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). FSTTCS 1989: 109-120
23		Michael Evangelist, Nissim Francez, Shmuel Katz: Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15(11): 1417-1426 (1989)
22		Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Initial failures in distributed computations. International Journal of Parallel Programming 18(4): 255-276 (1989)
	1988
21		Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507
20		Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini: Interactive Blackbox Debugging for Concurrent Languages. Workshop on Parallel and Distributed Debugging 1988: 271-282
19		Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. Distributed Computing 2(4): 226-241 (1988)
18		Orit Baruch, Shmuel Katz: Partially Interpreted Schemas for CSP Programming. Sci. Comput. Program. 10(1): 1-18 (1988)
	1987
17		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190
16		Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198
15		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43
14		Shmuel Katz, Oded Shmueli: Cooperative Distributed Algorithms for Dynamic Cycle Prevention. IEEE Trans. Software Eng. 13(5): 540-552 (1987)
13		Nissim Francez, Shmuel Katz: Fairness and the axioms of control predicates. International Journal of Parallel Programming 16(4): 263-278 (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

1	Martín Abadi	[28]
2	Mehmet Aksit	[79] [82]
3	Yevgenia Alperin-Tsimerman	[73]
4	Bowen Alpern	[28]
5	Krzysztof R. Apt	[16] [19] [28]
6	Orit Baruch	[18]
7	Christoph Bockisch (Christoph Bockisch-Matthias)	[82]
8	Johan Brichau	[61]
9	Ruzanna Chitchyan	[61] [70]
10	Selim Ciraci	[79]
11	Siobhán Clarke	[61]
12	Zeev Collin	[30] [41]
13	Ellie D'Hondt	[61]
14	Rina Dechter	[30] [41]
15	Cynthia Disenfeld	[81] [85]
16	Dov Dori	[45] [47] [50] [58] [71]
17	Yael Dubinsky	[67]
18	Michael Evangelist	[23]
19	Johan Fabry	[70]
20	David Faitelson	[84]
21	Robert B. France	[75]
22	Nissim Francez	[8] [9] [10] [11] [13] [16] [19] [23] [28]
23	Alessandro F. Garcia (Alessandro Garcia)	[61]
24	Joseph Gil (Yossi Gil)	[42]
25	Marcelo Glusman	[43] [46] [52] [55]
26	Max Goldman	[66] [77]
27	Germán S. Goldszmidt	[20] [26]
28	Orna Grumberg	[8] [9] [10] [11] [48] [49] [65] [76]
29	Michael Haupt	[61]
30	John H. Howard	[36]
31	Jean-Marc Jézéquel	[75]
32	Wouter Joosen	[61] [83]
33	Michael Kaminski	[76]
34	Mika Katara	[56] [64]
35	Emilia Katz	[59] [68] [72] [74] [77] [78]
36	Jörg Kienzle	[80]
37	Katerina Korenblat	[48]
38	Leslie Lamport	[28]
39	Gary T. Leavens	[86]
40	Patrick Lincoln	[39]
41	Somayeh Malakuti	[79] [82]
42	Zohar Manna	[1] [2] [3]
43	Hidehiko Masuhara	[86]
44	Mira Mezini	[80] [83]
45	Hillel Miller	[38] [40]
46	Oren Mishali	[63] [67]
47	Shlomo Moran	[22] [24] [35]
48	Jacques Noyé	[61]
49	Harold Ossher	[75]
50	Doron Peled	[15] [17] [21] [25] [29] [31] [32]
51	Kenneth J. Perry	[27] [33]
52	Amir Pnueli	[10] [29]
53	Awais Rashid	[57] [61]
54	Iris Reinhartz-Berger	[45] [47] [50] [58] [71]
55	Arend Rensink	[70]
56	Lawrence J. Risman	[6]
57	Michael Rodeh	[6]
58	John M. Rushby	[39]
59	Fred B. Schneider	[28]
60	Christa Schwanninger	[83]
61	Oded Shmueli	[14]
62	Marcelo Sihman	[51] [53] [54]
63	Mario Südholt	[61]
64	Gadi Taubenfeld	[12] [22] [24] [35]
65	Shuly Wintner	[76]
66	Shaula Yemini	[20] [26]
67	Ruth Zimmerman	[7]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page