Shmuel Katz

Publication Activity (10 Years)

Years Active: 1973-2016
Publications (10 Years): 2

Top Topics

Provably Correct

Protocol Specification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Cynthia Disenfeld, Shmuel Katz
Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. LNCS Trans. Modul. Compos. 1 (2016)
Dima Elenbogen, Shmuel Katz, Ofer Strichman
Proving mutual termination. Formal Methods Syst. Des. 47 (2) (2015)
Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz
A tool-supported approach for modular design of energy-aware software. SAC (2014)
Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz
Deriving minimal models for resource utilization. GIBSE@AOSD (2013)
Cynthia Disenfeld, Shmuel Katz
Specification and verification of event detectors and responses. AOSD (2013)
Dima Elenbogen, Shmuel Katz, Ofer Strichman
Proving Mutual Termination of Programs. Haifa Verification Conference (2012)
Shmuel Katz, David Faitelson
The common aspect proof environment. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Cynthia Disenfeld, Shmuel Katz
A closer look at aspect interference and cooperation. AOSD (2012)
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)
Cynthia Disenfeld, Shmuel Katz
Compositional verification of events and observers: (summary). FOAL (2011)
Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz
Making aspects natural: events and composition. AOSD (2011)
Emilia Katz, Shmuel Katz
User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM (2010)
Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
Checking the Correspondence between UML Models and Implementation. RV (2010)
Max Goldman, Emilia Katz, Shmuel Katz
MAVEN: modular aspect verification and interference analysis. Formal Methods Syst. Des. 37 (1) (2010)
Emilia Katz, Shmuel Katz
Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural (2009)
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Reusing semi-specified behavior models in systems analysis and design. Softw. Syst. Model. 8 (2) (2009)
Oren Mishali, Shmuel Katz
The HighspectJ framework. ACP4IS@AOSD (2009)
Emilia Katz, Shmuel Katz
Modular verification of strongly invasive aspects: summary. FOAL (2009)
Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink
Editorial for Special Section on Dependencies and Interactions with Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5 (2009)
Yevgenia Alperin-Tsimerman, Shmuel Katz
Dataflow Analysis for Properties of Aspect Systems. Haifa Verification Conference (2009)
Oren Mishali, Yael Dubinsky, Shmuel Katz
The TDD-Guide Training and Guidance Tool for Test-Driven Development. XP (2008)
Emilia Katz, Shmuel Katz
Incremental analysis of interference among aspects. FOAL (2008)
Shmuel Katz
Aspects and Formal Methods. FM (2008)
Mika Katara, Shmuel Katz
A concern architecture view for aspect-oriented software design. Softw. Syst. Model. 6 (3) (2007)
Orna Grumberg, Shmuel Katz
VeriTech: a framework for translating among model description notations. Int. J. Softw. Tools Technol. Transf. 9 (2) (2007)
Max Goldman, Shmuel Katz
MAVEN: Modular Aspect Verification. TACAS (2007)
Oren Mishali, Shmuel Katz
Using aspects to support the software process: XP over Eclipse. AOSD (2006)
Shmuel Katz
Aspect Categories and Classes of Temporal Properties. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Shmuel Katz
Rigorous Fault Tolerance Using Aspects and Formal Methods. RODIN Book (2006)
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 Softw. 23 (6) (2006)
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Modelling code mobility and migration: an OPM/Web approach. Int. J. Web Eng. Technol. 2 (1) (2005)
Emilia Katz, Shmuel Katz
Verifying Scenario-Based Aspect Specifications. FM (2005)
Shmuel Katz, Awais Rashid
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. RE (2004)
Marcelo Sihman, Shmuel Katz
Superimpositions and Aspect-oriented Programming. Comput. J. 46 (5) (2003)
Marcelo Glusman, Shmuel Katz
Model Checking Conformance with Scenario-Based Specifications. CAV (2003)
Marcelo Glusman, Shmuel Katz
A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods Syst. Des. 23 (2) (2003)
Mika Katara, Shmuel Katz
Architectural views of aspects. AOSD (2003)
Shmuel Katz, Marcelo Sihman
Aspect Validation Using Model Checking. Verification: Theory and Practice (2003)
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
OPM/Web - Object-Process Methodology for Developing Web Applications. Ann. Softw. Eng. 13 (1-4) (2002)
Marcelo Sihman, Shmuel Katz
A calculus of superimpositions for distributed systems. AOSD (2002)
Shmuel Katz, Orna Grumberg
A Framework for Translating Models and Specifications. IFM (2002)
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Open Reuse of Component Designs in OPM/We. COMPSAC (2002)
Katerina Korenblat, Orna Grumberg, Shmuel Katz
Translations between Textual Transition Systems and Petri Nets. IFM (2002)
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Developing Web Applications with OPM/Web. DIWeb (2001)
Shmuel Katz
Faithful Translations among Models and Specifications. FME (2001)
Marcelo Glusman, Shmuel Katz
Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR (2001)
Shmuel Katz, Hillel Miller
Saving Space by Fully Exploiting Invisible Transitions. Formal Methods Syst. Des. 14 (3) (1999)
Marcelo Glusman, Shmuel Katz
Mechanizing Proofs of Computation Equivalence. CAV (1999)
Zeev Collin, Rina Dechter, Shmuel Katz
Self-Stabilizing Distributed Constraint Satisfaction. Chic. J. Theor. Comput. Sci. 1999 (1999)
Shmuel Katz, Joseph Gil
Aspects and Superimpositions. ECOOP Workshops (1999)
Shmuel Katz, Patrick Lincoln, John M. Rushby
Low-Overhead Time-Triggered Group Membership. WDAG (1997)
Hillel Miller, Shmuel Katz
Saving Space by Fully Exploiting Invisible Transitions. CAV (1996)
Shmuel Katz
Refinement with global equivalence proofs in temporal logic. Partial Order Methods in Verification (1996)
Shmuel Katz
Global Equivalence Proofs for ISTL. ICTL (1994)
Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
Impossibility Results in the Presence of Multiple Faulty Processes Inf. Comput. 113 (2) (1994)
John H. Howard, Shmuel Katz
Reconciliations. PODC (1994)
Shmuel Katz
A Superimposition Control Construct for Distributed Systems. ACM Trans. Program. Lang. Syst. 15 (2) (1993)
Shmuel Katz, Kenneth J. Perry
Self-Stabilizing Extensions for Message-Passing Systems. Distributed Comput. 7 (1) (1993)
Shmuel Katz, Doron A. Peled
Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101 (2) (1992)
Shmuel Katz, Doron A. Peled
Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Comput. 6 (2) (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) (1991)
Zeev Collin, Rina Dechter, Shmuel Katz
On the Feasibility of Distributed Constraint Satisfaction. IJCAI (1991)
Doron A. Peled, Shmuel Katz, Amir Pnueli
Specifying and Proving Serializability in Temporal Logic LICS (1991)
Shmuel Katz, Ira R. Forman, Michael Evangelist
Language Constructs for Distributed Systems. Programming Concepts and Methods (1990)
Shmuel Katz, Doron A. Peled
Interleaving Set Temporal Logic. Theor. Comput. Sci. 75 (3) (1990)
Shmuel Katz, Kenneth J. Perry
Self-Stabilizing Extensions for Message-Passing Systems. PODC (1990)
Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz
High-Level Language Debugging for Concurrent Programs. ACM Trans. Comput. Syst. 8 (4) (1990)
Michael Evangelist, Nissim Francez, Shmuel Katz
Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15 (11) (1989)
Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). FSTTCS (1989)
Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
Initial failures in distributed computations. Int. J. Parallel Program. 18 (4) (1989)
Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini
Interactive Blackbox Debugging for Concurrent Languages. Workshop on Parallel and Distributed Debugging (1988)
Shmuel Katz, Doron A. Peled
An efficient verification method for parallel and distributed programs. REX Workshop (1988)
Orit Baruch, Shmuel Katz
Partially Interpreted Schemas for CSP Programming. Sci. Comput. Program. 10 (1) (1988)
Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Appraising Fairness in Languages for Distributed Programming. Distributed Comput. 2 (4) (1988)
Shmuel Katz, Oded Shmueli
Cooperative Distributed Algorithms for Dynamic Cycle Prevention. IEEE Trans. Software Eng. 13 (5) (1987)
Shmuel Katz, Doron A. Peled
Interleaving Set Temporal Logic. Temporal Logic in Specification (1987)
Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Appraising Fairness in Languages for Distributed Programming. POPL (1987)
Shmuel Katz, Doron A. Peled
Interleaving Set Temporal Logic (Preliminary Version). PODC (1987)
Shmuel Katz, Charles A. Richter, Khe-Sing The
PARIS: A System for Reusing Partially Interpreted Schemas. ICSE (1987)
Nissim Francez, Shmuel Katz
Fairness and the axioms of control predicates. Int. J. Parallel Program. 16 (4) (1987)
Shmuel Katz, Gadi Taubenfeld
What Processes Know: Definitions and Proof Methods (Preliminary Version). PODC (1986)
Orna Grumberg, Nissim Francez, Shmuel Katz
A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33 (3) (1986)
Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
Proving Termination of Prolog Programs. Logic of Programs (1985)
Orna Grumberg, Nissim Francez, Shmuel Katz
Fail Termination of Communicating Processe. PODC (1984)
Orna Grumberg, Nissim Francez, Shmuel Katz
A Compete Proof Rule for Strong Equifair Termination. Logic of Programs (1983)
Shmuel Katz, Ruth Zimmerman
An Advisory System for Developing Data Representations. IJCAI (1981)
Shmuel Katz, Lawrence J. Risman, Michael Rodeh
A System for Constructing Linear Programming Models. IBM Syst. J. 19 (4) (1980)
Shmuel Katz
Program Optimization Using Invariants. IEEE Trans. Software Eng. 4 (5) (1978)
Stanley J. Rosenschein, Shmuel Katz
Selection of representations for data structures. Artificial Intelligence and Programming Languages (1977)
Shmuel Katz
Program Optimization Using Invariants. ECI (1976)
Shmuel Katz, Zohar Manna
Logical Analysis of Programs. Commun. ACM 19 (4) (1976)
Shmuel Katz, Zohar Manna
Towards automatic debugging of programs. Reliable Software (1975)
Shmuel Katz, Zohar Manna
A Closer Look at Termination. Acta Informatica 5 (1975)
Shmuel Katz, Zohar Manna
A Heuristic Approach to Program Verification. IJCAI (1973)