| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shmuel Katz, David Faitelson |
The common aspect proof environment.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Disenfeld, Shmuel Katz |
A closer look at aspect interference and cooperation. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FOAL |
2012 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen (eds.) |
Transactions on Aspect-Oriented Software Development VIII |
T. Aspect-Oriented Software Development |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz |
Making aspects natural: events and composition. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Disenfeld, Shmuel Katz |
Compositional verification of events and observers: (summary). |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.) |
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling |
T. Aspect-Oriented Software Development |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Goldman, Emilia Katz, Shmuel Katz |
MAVEN: modular aspect verification and interference analysis. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
Checking the Correspondence between UML Models and Implementation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Katz, Shmuel Katz |
User Queries for Specification Refinement Treating Shared Aspect Join Points. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
Reusing semi-specified behavior models in systems analysis and design. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Aspect-oriented software engineering, Modularity, Software reuse, Aspect-oriented modeling, Object-Process Methodology |
| 1 | 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 |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink |
Editorial for Special Section on Dependencies and Interactions with Aspects. |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Katz, Shmuel Katz |
Modular verification of strongly invasive aspects: summary. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
model-checking, specification, modularity, aspects |
| 1 | Emilia Katz, Shmuel Katz |
Modular Verification of Strongly Invasive Aspects. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgenia Alperin-Tsimerman, Shmuel Katz |
Dataflow Analysis for Properties of Aspect Systems. |
Haifa Verification Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Katz, Shmuel Katz |
Incremental analysis of interference among aspects. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, aspects |
| 1 | Shmuel Katz |
Aspects and Formal Methods. |
FM |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, Aspects |
| 1 | Oren Mishali, Yael Dubinsky, Shmuel Katz |
The TDD-Guide Training and Guidance Tool for Test-Driven Development. |
XP |
2008 |
DBLP DOI BibTeX RDF |
Rule-based framework, software process support, test driven development (TDD), user evaluation |
| 1 | Mika Katara, Shmuel Katz |
A concern architecture view for aspect-oriented software design. |
Software and System Modeling |
2007 |
DBLP DOI BibTeX RDF |
UML, Aspect orientation, Design concepts |
| 1 | Orna Grumberg, Shmuel Katz |
VeriTech: a framework for translating among model description notations. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Translating model notations, Incompatibilities in translations Faithful translations, Additional information about translations |
| 1 | Max Goldman, Shmuel Katz |
MAVEN: Modular Aspect Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
computer science education, curriculum, aspect-oriented software development |
| 1 | Shmuel Katz |
Aspect Categories and Classes of Temporal Properties. |
T. Aspect-Oriented Software Development |
2006 |
DBLP DOI BibTeX RDF |
Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative |
| 1 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
| 1 | Oren Mishali, Shmuel Katz |
Using aspects to support the software process: XP over Eclipse. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
extreme programming, software process, Eclipse, aspects |
| 1 | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
Modelling code mobility and migration: an OPM/Web approach. |
Int. J. Web Eng. Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Katz, Shmuel Katz |
Verifying Scenario-Based Aspect Specifications. |
FM |
2005 |
DBLP DOI BibTeX RDF |
convenient executions, model-checking, scenarios, Aspects, conformance |
| 1 | Shmuel Katz, Awais Rashid |
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Sihman, Shmuel Katz |
Superimpositions and Aspect-oriented Programming. |
Comput. J. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Glusman, Shmuel Katz |
A Mechanized Proof Environment for the Convenient Computations Proof Method. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
convenient computations, proof environment, deductive theorem proving, formal verification, PVS |
| 1 | Mika Katara, Shmuel Katz |
Architectural views of aspects. |
AOSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Marcelo Sihman |
Aspect Validation Using Model Checking. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Glusman, Shmuel Katz |
Model Checking Conformance with Scenario-Based Specifications. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
OPM/Web - Object-Process Methodology for Developing Web Applications. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Sihman, Shmuel Katz |
A calculus of superimpositions for distributed systems. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
Open Reuse of Component Designs in OPM/We. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Katerina Korenblat, Orna Grumberg, Shmuel Katz |
Translations between Textual Transition Systems and Petri Nets. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
textual transition systems, structure and semantics preservation, Petri nets, model translations |
| 1 | Shmuel Katz, Orna Grumberg |
A Framework for Translating Models and Specifications. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Glusman, Shmuel Katz |
Extending Memory Consistency of Finite Prefixes to Infinite Computations. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz |
Faithful Translations among Models and Specifications. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Reinhartz-Berger, Dov Dori, Shmuel Katz |
Developing Web Applications with OPM/Web. |
DIWeb |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zeev Collin, Rina Dechter, Shmuel Katz |
Self-Stabilizing Distributed Constraint Satisfaction. |
Chicago J. Theor. Comput. Sci. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Katz, Hillel Miller |
Saving Space by Fully Exploiting Invisible Transitions. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Joseph Gil |
Aspects and Superimpositions. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Glusman, Shmuel Katz |
Mechanizing Proofs of Computation Equivalence. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Patrick Lincoln, John M. Rushby |
Low-Overhead Time-Triggered Group Membership. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
time-triggered protocol, fault tolerance, formal modeling, group membership, synchronous algorithms |
| 1 | Hillel Miller, Shmuel Katz |
Saving Space by Fully Exploiting Invisible Transitions. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gadi Taubenfeld, Shmuel Katz, Shlomo Moran |
Impossibility Results in the Presence of Multiple Faulty Processes |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz |
Global Equivalence Proofs for ISTL. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Howard, Shmuel Katz |
Reconciliations. |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz |
A Superimposition Control Construct for Distributed Systems. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
control construct, formal and actual processes, roletype, superimposition, modularity, distributed programming |
| 1 | Shmuel Katz, Kenneth J. Perry |
Self-Stabilizing Extensions for Message-Passing Systems. |
Distributed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
Defining Conditional Independence Using Collapses. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
Verification of Distributed Programs Using Representative Interleaving Sequences. |
Distributed Computing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeev Collin, Rina Dechter, Shmuel Katz |
On the Feasibility of Distributed Constraint Satisfaction. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Shmuel Katz, Amir Pnueli |
Specifying and Proving Serializability in Temporal Logic |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
Interleaving Set Temporal Logic. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz |
High-Level Language Debugging for Concurrent Programs. |
ACM Trans. Comput. Syst. |
1990 |
DBLP DOI BibTeX RDF |
temporal logic, portability, distributed debugging, language independence |
| 1 | Shmuel Katz, Kenneth J. Perry |
Self-Stabilizing Extensions for Message-Passing Systems. |
PODC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Evangelist, Nissim Francez, Shmuel Katz |
Multiparty Interactions for Interprocess Communication and Synchronization. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multiparty interaction construct, weakening, fault tolerance, parallel programming, synchronization, fault tolerant computing, distributed programs, participants, nondeterminism, interprocess communication, primitive, acceptability criteria |
| 1 | Gadi Taubenfeld, Shmuel Katz, Shlomo Moran |
Initial failures in distributed computations. |
International Journal of Parallel Programming |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gadi Taubenfeld, Shmuel Katz, Shlomo Moran |
Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Orit Baruch, Shmuel Katz |
Partially Interpreted Schemas for CSP Programming. |
Sci. Comput. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
Appraising Fairness in Languages for Distributed Programming. |
Distributed Computing |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini |
Interactive Blackbox Debugging for Concurrent Languages. |
Workshop on Parallel and Distributed Debugging |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
An efficient verification method for parallel and distributed programs. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences |
| 1 | Shmuel Katz, Oded Shmueli |
Cooperative Distributed Algorithms for Dynamic Cycle Prevention. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez, Shmuel Katz |
Fairness and the axioms of control predicates. |
International Journal of Parallel Programming |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
Appraising Fairness in Languages for Distributed Programming. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
Interleaving Set Temporal Logic (Preliminary Version). |
PODC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Doron Peled |
Interleaving Set Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP BibTeX RDF |
|
| 1 | Orna Grumberg, Nissim Francez, Shmuel Katz |
A Complete Rule for Equifair Termination. |
J. Comput. Syst. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Gadi Taubenfeld |
What Processes Know: Definitions and Proof Methods (Preliminary Version). |
PODC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli |
Proving Termination of Prolog Programs. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Nissim Francez, Shmuel Katz |
Fail Termination of Communicating Processe. |
PODC |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Nissim Francez, Shmuel Katz |
A Compete Proof Rule for Strong Equifair Termination. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Ruth Zimmerman |
An Advisory System for Developing Data Representations. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Katz, Lawrence J. Risman, Michael Rodeh |
A System for Constructing Linear Programming Models. |
IBM Systems Journal |
1980 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Katz |
Program Optimization Using Invariants. |
IEEE Trans. Software Eng. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Zohar Manna |
Logical Analysis of Programs. |
Commun. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz |
Program Optimization Using Invariants. |
ECI |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Zohar Manna |
A Closer Look at Termination. |
Acta Inf. |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, Zohar Manna |
A Heuristic Approach to Program Verification. |
IJCAI |
1973 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")