Shmuel Katz

According to our database, Shmuel Katz authored at least 89 papers between 1973 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of two.

2016

Developing and Verifying Response Specifications in Hierarchical Event-Based Systems.

Cynthia Disenfeld, Shmuel Katz

LNCS Trans. Modul. Compos., 2016

2015

Proving mutual termination.

Dima Elenbogen, Shmuel Katz, Ofer Strichman

Formal Methods Syst. Des., 2015

2014

A tool-supported approach for modular design of energy-aware software.

Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz

Proceedings of the Symposium on Applied Computing, 2014

2013

Specification and verification of event detectors and responses.

Cynthia Disenfeld, Shmuel Katz

Proceedings of the Aspect-Oriented Software Development, 2013

Deriving minimal models for resource utilization.

Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz

Proceedings of the 2013 Workshop on Green in/by Software Engineering, 2013

2012

The common aspect proof environment.

Shmuel Katz, David Faitelson

Int. J. Softw. Tools Technol. Transf., 2012

Proving Mutual Termination of Programs.

Dima Elenbogen, Shmuel Katz, Ofer Strichman

Proceedings of the Hardware and Software: Verification and Testing, 2012

A closer look at aspect interference and cooperation.

Cynthia Disenfeld, Shmuel Katz

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.

Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Compositional verification of events and observers: (summary).

Cynthia Disenfeld, Shmuel Katz

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Making aspects natural: events and composition.

Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

MAVEN: modular aspect verification and interference analysis.

Max Goldman, Emilia Katz, Shmuel Katz

Formal Methods Syst. Des., 2010

User Queries for Specification Refinement Treating Shared Aspect Join Points.

Emilia Katz, Shmuel Katz

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Checking the Correspondence between UML Models and Implementation.

Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Editorial for Special Section on Dependencies and Interactions with Aspects.

Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink

LNCS Trans. Aspect Oriented Softw. Dev., 2009

Reusing semi-specified behavior models in systems analysis and design.

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Softw. Syst. Model., 2009

Dataflow Analysis for Properties of Aspect Systems.

Yevgenia Alperin-Tsimerman, Shmuel Katz

Proceedings of the Hardware and Software: Verification and Testing, 2009

Modular verification of strongly invasive aspects: summary.

Emilia Katz, Shmuel Katz

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

Modular Verification of Strongly Invasive Aspects.

Emilia Katz, Shmuel Katz

Proceedings of the Languages: From Formal to Natural, 2009

The HighspectJ framework.

Oren Mishali, Shmuel Katz

Proceedings of the ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, 2009

2008

The TDD-Guide Training and Guidance Tool for Test-Driven Development.

Oren Mishali, Yael Dubinsky, Shmuel Katz

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Incremental analysis of interference among aspects.

Emilia Katz, Shmuel Katz

Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

Aspects and Formal Methods.

Shmuel Katz

Proceedings of the FM 2008: Formal Methods, 2008

2007

VeriTech: a framework for translating among model description notations.

Orna Grumberg, Shmuel Katz

Int. J. Softw. Tools Technol. Transf., 2007

A concern architecture view for aspect-oriented software design.

Mika Katara, Shmuel Katz

Softw. Syst. Model., 2007

MAVEN: Modular Aspect Verification.

Max Goldman, Shmuel Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Aspect Categories and Classes of Temporal Properties.

Shmuel Katz

LNCS Trans. Aspect Oriented Softw. Dev., 2006

A Model Curriculum for Aspect-Oriented Software Development.

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

IEEE Softw., 2006

Rigorous Fault Tolerance Using Aspects and Formal Methods.

Shmuel Katz

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Using aspects to support the software process: XP over Eclipse.

Oren Mishali, Shmuel Katz

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Modelling code mobility and migration: an OPM/Web approach.

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Int. J. Web Eng. Technol., 2005

Verifying Scenario-Based Aspect Specifications.

Emilia Katz, Shmuel Katz

Proceedings of the FM 2005: Formal Methods, 2005

2004

From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.

Shmuel Katz, Awais Rashid

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003

A Mechanized Proof Environment for the Convenient Computations Proof Method.

Marcelo Glusman, Shmuel Katz

Formal Methods Syst. Des., 2003

Superimpositions and Aspect-oriented Programming.

Marcelo Sihman, Shmuel Katz

Comput. J., 2003

Model Checking Conformance with Scenario-Based Specifications.

Marcelo Glusman, Shmuel Katz

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Aspect Validation Using Model Checking.

Shmuel Katz, Marcelo Sihman

Proceedings of the Verification: Theory and Practice, 2003

Architectural views of aspects.

Mika Katara, Shmuel Katz

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002

OPM/Web - Object-Process Methodology for Developing Web Applications.

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Ann. Softw. Eng., 2002

Translations between Textual Transition Systems and Petri Nets.

Katerina Korenblat, Orna Grumberg, Shmuel Katz

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Framework for Translating Models and Specifications.

Shmuel Katz, Orna Grumberg

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Open Reuse of Component Designs in OPM/We.

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

A calculus of superimpositions for distributed systems.

Marcelo Sihman, Shmuel Katz

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001

Faithful Translations among Models and Specifications.

Shmuel Katz

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Developing Web Applications with OPM/Web.

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Proceedings of the First International Workshop on Data Integration over the Web, 2001

Extending Memory Consistency of Finite Prefixes to Infinite Computations.

Marcelo Glusman, Shmuel Katz

Proceedings of the CONCUR 2001, 2001

1999

Saving Space by Fully Exploiting Invisible Transitions.

Shmuel Katz, Hillel Miller

Formal Methods Syst. Des., 1999

Self-Stabilizing Distributed Constraint Satisfaction.

Zeev Collin, Rina Dechter, Shmuel Katz

Chic. J. Theor. Comput. Sci., 1999

Aspects and Superimpositions.

Shmuel Katz, Joseph Gil

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Mechanizing Proofs of Computation Equivalence.

Marcelo Glusman, Shmuel Katz

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

Low-Overhead Time-Triggered Group Membership.

Shmuel Katz, Patrick Lincoln, John M. Rushby

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

Refinement with global equivalence proofs in temporal logic.

Shmuel Katz

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1994

Impossibility Results in the Presence of Multiple Faulty Processes

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran

Inf. Comput., September, 1994

Reconciliations.

John H. Howard, Shmuel Katz

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Global Equivalence Proofs for ISTL.

Shmuel Katz

Proceedings of the Temporal Logic, First International Conference, 1994

1993

A Superimposition Control Construct for Distributed Systems.

Shmuel Katz

ACM Trans. Program. Lang. Syst., 1993

Self-Stabilizing Extensions for Message-Passing Systems.

Shmuel Katz, Kenneth J. Perry

Distributed Comput., 1993

1992

Defining Conditional Independence Using Collapses.

Shmuel Katz, Doron A. Peled

Theor. Comput. Sci., 1992

Verification of Distributed Programs Using Representative Interleaving Sequences.

Shmuel Katz, Doron A. Peled

Distributed Comput., 1992

1991

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Inf. Process. Lett., 1991

Specifying and Proving Serializability in Temporal Logic

Doron A. Peled, Shmuel Katz, Amir Pnueli

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

On the Feasibility of Distributed Constraint Satisfaction.

Zeev Collin, Rina Dechter, Shmuel Katz

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

High-Level Language Debugging for Concurrent Programs.

Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz

ACM Trans. Comput. Syst., 1990

Interleaving Set Temporal Logic.

Shmuel Katz, Doron A. Peled

Theor. Comput. Sci., 1990

Language Constructs for Distributed Systems.

Shmuel Katz, Ira R. Forman, Michael Evangelist

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

Multiparty Interactions for Interprocess Communication and Synchronization.

Michael Evangelist, Nissim Francez, Shmuel Katz

IEEE Trans. Software Eng., 1989

Initial failures in distributed computations.

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran

Int. J. Parallel Program., 1989

Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version).

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Partially Interpreted Schemas for CSP Programming.

Orit Baruch, Shmuel Katz

Sci. Comput. Program., 1988

Appraising Fairness in Languages for Distributed Programming.

Krzysztof R. Apt, Nissim Francez, Shmuel Katz

Distributed Comput., 1988

An efficient verification method for parallel and distributed programs.

Shmuel Katz, Doron A. Peled

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

Interactive Blackbox Debugging for Concurrent Languages.

Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

1987

Cooperative Distributed Algorithms for Dynamic Cycle Prevention.

Shmuel Katz, Oded Shmueli

IEEE Trans. Software Eng., 1987

Fairness and the axioms of control predicates.

Nissim Francez, Shmuel Katz

Int. J. Parallel Program., 1987

Interleaving Set Temporal Logic (Preliminary Version).

Shmuel Katz, Doron A. Peled

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

PARIS: A System for Reusing Partially Interpreted Schemas.

Shmuel Katz, Charles A. Richter, Khe-Sing The

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1986

A Complete Rule for Equifair Termination.

Orna Grumberg, Nissim Francez, Shmuel Katz

J. Comput. Syst. Sci., 1986

What Processes Know: Definitions and Proof Methods (Preliminary Version).

Shmuel Katz, Gadi Taubenfeld

Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

1985

Proving Termination of Prolog Programs.

Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli

Proceedings of the Logics of Programs, 1985

1984

Fail Termination of Communicating Processe.

Orna Grumberg, Nissim Francez, Shmuel Katz

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983

A Compete Proof Rule for Strong Equifair Termination.

Orna Grumberg, Nissim Francez, Shmuel Katz

Proceedings of the Logics of Programs, 1983

1981

An Advisory System for Developing Data Representations.

Shmuel Katz, Ruth Zimmerman

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

A System for Constructing Linear Programming Models.

Shmuel Katz, Lawrence J. Risman, Michael Rodeh

IBM Syst. J., 1980

1978

Program Optimization Using Invariants.

Shmuel Katz

IEEE Trans. Software Eng., 1978

1977

Selection of representations for data structures.

Stanley J. Rosenschein, Shmuel Katz

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1976

Logical Analysis of Programs.

Shmuel Katz, Zohar Manna

Commun. ACM, 1976

1975

A Closer Look at Termination.

Shmuel Katz, Zohar Manna

Acta Informatica, 1975

Towards automatic debugging of programs.

Shmuel Katz, Zohar Manna

Proceedings of the International Conference on Reliable Software 1975, 1975

1973

A Heuristic Approach to Program Verification.

Shmuel Katz, Zohar Manna

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973