Shmuel Katz

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