| 2014 | SAC | A tool-supported approach for modular design of energy-aware software. | Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz |
| 2010 | RV | Checking the Correspondence between UML Models and Implementation. | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
| 2010 | SEFM | User Queries for Specification Refinement Treating Shared Aspect Join Points. | Emilia Katz, Shmuel Katz |
| 2008 | FM | Aspects and Formal Methods. | Shmuel Katz |
| 2007 | TACAS | MAVEN: Modular Aspect Verification. | Max Goldman, Shmuel Katz |
| 2005 | FM | Verifying Scenario-Based Aspect Specifications. | Emilia Katz, Shmuel Katz |
| 2004 | RE | From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. | Shmuel Katz, Awais Rashid |
| 2003 | CAV | Model Checking Conformance with Scenario-Based Specifications. | Marcelo Glusman, Shmuel Katz |
| 2002 | COMPSAC | Open Reuse of Component Designs in OPM/We. | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
| 2002 | IFM | A Framework for Translating Models and Specifications. | Shmuel Katz, Orna Grumberg |
| 2002 | IFM | Translations between Textual Transition Systems and Petri Nets. | Katerina Korenblat, Orna Grumberg, Shmuel Katz |
| 2001 | CONCUR | Extending Memory Consistency of Finite Prefixes to Infinite Computations. | Marcelo Glusman, Shmuel Katz |
| 2001 | FM | Faithful Translations among Models and Specifications. | Shmuel Katz |
| 1999 | CAV | Mechanizing Proofs of Computation Equivalence. | Marcelo Glusman, Shmuel Katz |
| 1996 | CAV | Saving Space by Fully Exploiting Invisible Transitions. | Hillel Miller, Shmuel Katz |
| 1994 | PODC | Reconciliations. | John H. Howard, Shmuel Katz |
| 1991 | IJCAI | On the Feasibility of Distributed Constraint Satisfaction. | Zeev Collin, Rina Dechter, Shmuel Katz |
| 1991 | LICS | Specifying and Proving Serializability in Temporal Logic | Doron A. Peled, Shmuel Katz, Amir Pnueli |
| 1990 | PODC | Self-Stabilizing Extensions for Message-Passing Systems. | Shmuel Katz, Kenneth J. Perry |
| 1987 | ICSE | PARIS: A System for Reusing Partially Interpreted Schemas. | Shmuel Katz, Charles A. Richter, Khe-Sing The |
| 1987 | PODC | Interleaving Set Temporal Logic (Preliminary Version). | Shmuel Katz, Doron A. Peled |
| 1987 | POPL | Appraising Fairness in Languages for Distributed Programming. | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
| 1986 | PODC | What Processes Know: Definitions and Proof Methods (Preliminary Version). | Shmuel Katz, Gadi Taubenfeld |
| 1984 | PODC | Fail Termination of Communicating Processe. | Orna Grumberg, Nissim Francez, Shmuel Katz |
| 1981 | IJCAI | An Advisory System for Developing Data Representations. | Shmuel Katz, Ruth Zimmerman |
| 1973 | IJCAI | A Heuristic Approach to Program Verification. | Shmuel Katz, Zohar Manna |