Shmuel Katz

Shmuel Katz, David Faitelson: The common aspect proof environment. STTT 14(1): 41-52 (2012)

Cynthia Disenfeld, Shmuel Katz: A closer look at aspect interference and cooperation. AOSD 2012: 107-118

Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara (Eds.): Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, isbn 978-1-4503-1099-4

Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz: Making aspects natural: events and composition. AOSD 2011: 285-300

Cynthia Disenfeld, Shmuel Katz: Compositional verification of events and observers: (summary). FOAL 2011: 1-5

Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen: Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56

Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen (Eds.): Transactions on Aspect-Oriented Software Development VIII. Lecture Notes in Computer Science 6580, Springer 2011, isbn 978-3-642-22030-2

Max Goldman, Emilia Katz, Shmuel Katz: MAVEN: modular aspect verification and interference analysis. Formal Methods in System Design 37(1): 61-92 (2010)

Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit: Checking the Correspondence between UML Models and Implementation. RV 2010: 198-213

Emilia Katz, Shmuel Katz: User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM 2010: 73-82

Shmuel Katz, Mira Mezini, Jörg Kienzle (Eds.): Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling. Lecture Notes in Computer Science 6210, Springer 2010, isbn 978-3-642-16085-1

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)

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)

Emilia Katz, Shmuel Katz: Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural 2009: 128-147

Emilia Katz, Shmuel Katz: Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12

Yevgenia Alperin-Tsimerman, Shmuel Katz: Dataflow Analysis for Properties of Aspect Systems. Haifa Verification Conference 2009: 87-101

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.): Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, isbn 978-3-642-01747-6

Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel (Eds.): Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering. Lecture Notes in Computer Science 5560, Springer 2009, isbn 978-3-642-03763-4

Shmuel Katz: Aspects and Formal Methods. FM 2008: 1-11

Emilia Katz, Shmuel Katz: Incremental analysis of interference among aspects. FOAL 2008: 29-38

Oren Mishali, Yael Dubinsky, Shmuel Katz: The TDD-Guide Training and Guidance Tool for Test-Driven Development. XP 2008: 63-72

Mika Katara, Shmuel Katz: A concern architecture view for aspect-oriented software design. Software and System Modeling 6(3): 247-265 (2007)

Orna Grumberg, Shmuel Katz: VeriTech: a framework for translating among model description notations. STTT 9(2): 119-132 (2007)

Max Goldman, Shmuel Katz: MAVEN: Modular Aspect Verification. TACAS 2007: 308-322

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)

Shmuel Katz: Aspect Categories and Classes of Temporal Properties. : 106-134 (2006)

Oren Mishali, Shmuel Katz: Using aspects to support the software process: XP over Eclipse. AOSD 2006: 169-179

Shmuel Katz: Rigorous Fault Tolerance Using Aspects and Formal Methods. RODIN Book 2006: 226-240

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)

Emilia Katz, Shmuel Katz: Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447

Shmuel Katz, Awais Rashid: From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. RE 2004: 48-57

Marcelo Sihman, Shmuel Katz: Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003)

Marcelo Glusman, Shmuel Katz: A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods in System Design 23(2): 115-142 (2003)

Mika Katara, Shmuel Katz: Architectural views of aspects. AOSD 2003: 1-10

Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394

Marcelo Glusman, Shmuel Katz: Model Checking Conformance with Scenario-Based Specifications. CAV 2003: 328-340

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)

Marcelo Sihman, Shmuel Katz: A calculus of superimpositions for distributed systems. AOSD 2002: 28-40

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz: Open Reuse of Component Designs in OPM/We. COMPSAC 2002: 19-26

Shmuel Katz, Orna Grumberg: A Framework for Translating Models and Specifications. IFM 2002: 145-164

Katerina Korenblat, Orna Grumberg, Shmuel Katz: Translations between Textual Transition Systems and Petri Nets. IFM 2002: 339-359

Marcelo Glusman, Shmuel Katz: Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR 2001: 411-425

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz: Developing Web Applications with OPM/Web. DIWeb 2001: 47-61

Shmuel Katz: Faithful Translations among Models and Specifications. FME 2001: 419-434

Zeev Collin, Rina Dechter, Shmuel Katz: Self-Stabilizing Distributed Constraint Satisfaction. Chicago J. Theor. Comput. Sci. 1999 (1999)

Shmuel Katz, Hillel Miller: Saving Space by Fully Exploiting Invisible Transitions. Formal Methods in System Design 14(3): 311-332 (1999)

Marcelo Glusman, Shmuel Katz: Mechanizing Proofs of Computation Equivalence. CAV 1999: 354-367

Shmuel Katz, Joseph Gil: Aspects and Superimpositions. ECOOP Workshops 1999: 308-309

Shmuel Katz, Patrick Lincoln, John M. Rushby: Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169

Hillel Miller, Shmuel Katz: Saving Space by Fully Exploiting Invisible Transitions. CAV 1996: 336-347

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Impossibility Results in the Presence of Multiple Faulty Processes. Inf. Comput. 113(2): 173-198 (1994)

Shmuel Katz: Global Equivalence Proofs for ISTL. ICTL 1994: 17-29

John H. Howard, Shmuel Katz: Reconciliations. PODC 1994: 14-21

Shmuel Katz, Kenneth J. Perry: Self-Stabilizing Extensions for Message-Passing Systems. Distributed Computing 7(1): 17-26 (1993)

Shmuel Katz: A Superimposition Control Construct for Distributed Systems. ACM Trans. Program. Lang. Syst. 15(2): 337-356 (1993)

Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)

Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)

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)

Zeev Collin, Rina Dechter, Shmuel Katz: On the Feasibility of Distributed Constraint Satisfaction. IJCAI 1991: 318-324

Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)

Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz: High-Level Language Debugging for Concurrent Programs. ACM Trans. Comput. Syst. 8(4): 311-336 (1990)

Shmuel Katz, Kenneth J. Perry: Self-Stabilizing Extensions for Message-Passing Systems. PODC 1990: 91-101

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Initial failures in distributed computations. International Journal of Parallel Programming 18(4): 255-276 (1989)

Michael Evangelist, Nissim Francez, Shmuel Katz: Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15(11): 1417-1426 (1989)

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran: Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). FSTTCS 1989: 109-120

Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. Distributed Computing 2(4): 226-241 (1988)

Orit Baruch, Shmuel Katz: Partially Interpreted Schemas for CSP Programming. Sci. Comput. Program. 10(1): 1-18 (1988)

Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini: Interactive Blackbox Debugging for Concurrent Languages. Workshop on Parallel and Distributed Debugging 1988: 271-282

Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507

Nissim Francez, Shmuel Katz: Fairness and the axioms of control predicates. International Journal of Parallel Programming 16(4): 263-278 (1987)

Shmuel Katz, Oded Shmueli: Cooperative Distributed Algorithms for Dynamic Cycle Prevention. IEEE Trans. Software Eng. 13(5): 540-552 (1987)

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190

Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43

Orna Grumberg, Nissim Francez, Shmuel Katz: A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33(3): 313-332 (1986)

Shmuel Katz, Gadi Taubenfeld: What Processes Know: Definitions and Proof Methods (Preliminary Version). PODC 1986: 249-262

Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli: Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105

Orna Grumberg, Nissim Francez, Shmuel Katz: Fail Termination of Communicating Processe. PODC 1984: 254-265

Orna Grumberg, Nissim Francez, Shmuel Katz: A Compete Proof Rule for Strong Equifair Termination. Logic of Programs 1983: 257-278

Shmuel Katz, Ruth Zimmerman: An Advisory System for Developing Data Representations. IJCAI 1981: 1030-1036

Shmuel Katz, Lawrence J. Risman, Michael Rodeh: A System for Constructing Linear Programming Models. IBM Systems Journal 19(4): 505-520 (1980)

Shmuel Katz: Program Optimization Using Invariants. IEEE Trans. Software Eng. 4(5): 378-389 (1978)

Shmuel Katz, Zohar Manna: Logical Analysis of Programs. Commun. ACM 19(4): 188-206 (1976)

Shmuel Katz: Program Optimization Using Invariants. ECI 1976: 287-309

Shmuel Katz, Zohar Manna: A Closer Look at Termination. Acta Inf. 5: 333-352 (1975)

Shmuel Katz, Zohar Manna: A Heuristic Approach to Program Verification. IJCAI 1973: 500-512