The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shmuel Katz" ( http://dblp.L3S.de/Authors/Shmuel_Katz )

URL (Homepage):  http://www.cs.technion.ac.il/~katz/  Author page on DBLP  Author page in RDF  Community of Shmuel Katz in ASPL-2

Publication years (Num. hits)
1973-1987 (20) 1988-1992 (16) 1993-2001 (15) 2002-2006 (17) 2007-2010 (18) 2011-2016 (13)
Publication types (Num. hits)
article(32) inproceedings(62) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 68 occurrences of 50 keywords

Results
Found 100 publication records. Showing 99 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cynthia Disenfeld, Shmuel Katz Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dima Elenbogen, Shmuel Katz, Ofer Strichman Proving mutual termination. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz A tool-supported approach for modular design of energy-aware software. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz Deriving minimal models for resource utilization. Search on Bibsonomy GIBSE@AOSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cynthia Disenfeld, Shmuel Katz Specification and verification of event detectors and responses. Search on Bibsonomy AOSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, David Faitelson The common aspect proof environment. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shmuel 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 Search on Bibsonomy FOAL The full citation details ... 2012 DBLP  BibTeX  RDF
1Dima Elenbogen, Shmuel Katz, Ofer Strichman Proving Mutual Termination of Programs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cynthia Disenfeld, Shmuel Katz A closer look at aspect interference and cooperation. Search on Bibsonomy AOSD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen (eds.) Transactions on Aspect-Oriented Software Development VIII Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cynthia Disenfeld, Shmuel Katz Compositional verification of events and observers: (summary). Search on Bibsonomy FOAL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz Making aspects natural: events and composition. Search on Bibsonomy AOSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. Search on Bibsonomy SSV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Max Goldman, Emilia Katz, Shmuel Katz MAVEN: modular aspect verification and interference analysis. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.) Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit Checking the Correspondence between UML Models and Implementation. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emilia Katz, Shmuel Katz User Queries for Specification Refinement Treating Shared Aspect Join Points. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Iris Reinhartz-Berger, Dov Dori, Shmuel Katz Reusing semi-specified behavior models in systems analysis and design. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Aspect-oriented software engineering, Modularity, Software reuse, Aspect-oriented modeling, Object-Process Methodology
1Shmuel 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 Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink Editorial for Special Section on Dependencies and Interactions with Aspects. Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emilia Katz, Shmuel Katz Modular Verification of Strongly Invasive Aspects. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Orna 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 Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emilia Katz, Shmuel Katz Modular verification of strongly invasive aspects: summary. Search on Bibsonomy FOAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-checking, specification, modularity, aspects
1Yevgenia Alperin-Tsimerman, Shmuel Katz Dataflow Analysis for Properties of Aspect Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Oren Mishali, Shmuel Katz The HighspectJ framework. Search on Bibsonomy ACP4IS@AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Oren Mishali, Yael Dubinsky, Shmuel Katz The TDD-Guide Training and Guidance Tool for Test-Driven Development. Search on Bibsonomy XP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rule-based framework, software process support, test driven development (TDD), user evaluation
1Shmuel Katz Aspects and Formal Methods. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, specification, interference, detection, Aspects
1Emilia Katz, Shmuel Katz Incremental analysis of interference among aspects. Search on Bibsonomy FOAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, specification, interference, detection, aspects
1Mika Katara, Shmuel Katz A concern architecture view for aspect-oriented software design. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF UML, Aspect orientation, Design concepts
1Orna Grumberg, Shmuel Katz VeriTech: a framework for translating among model description notations. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Translating model notations, Incompatibilities in translations Faithful translations, Additional information about translations
1Max Goldman, Shmuel Katz MAVEN: Modular Aspect Verification. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan Brichau, Ruzanna Chitchyan, Siobhán Clarke, Ellie D'Hondt, Alessandro Garcia 0001, Michael Haupt, Wouter Joosen, Shmuel Katz, Jacques Noyé, Awais Rashid, Mario Südholt A Model Curriculum for Aspect-Oriented Software Development. Search on Bibsonomy IEEE Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer science education, curriculum, aspect-oriented software development
1Shmuel Katz Aspect Categories and Classes of Temporal Properties. Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative
1Oren Mishali, Shmuel Katz Using aspects to support the software process: XP over Eclipse. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF extreme programming, software process, Eclipse, aspects
1Shmuel Katz Rigorous Fault Tolerance Using Aspects and Formal Methods. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, formal methods, aspect orientation
1Iris Reinhartz-Berger, Dov Dori, Shmuel Katz Modelling code mobility and migration: an OPM/Web approach. Search on Bibsonomy Int. J. Web Eng. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Emilia Katz, Shmuel Katz Verifying Scenario-Based Aspect Specifications. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF convenient executions, model-checking, scenarios, Aspects, conformance
1Shmuel Katz, Awais Rashid From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. Search on Bibsonomy RE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Glusman, Shmuel Katz A Mechanized Proof Environment for the Convenient Computations Proof Method. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF convenient computations, proof environment, deductive theorem proving, formal verification, PVS
1Marcelo Sihman, Shmuel Katz Superimpositions and Aspect-oriented Programming. Search on Bibsonomy Comput. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marcelo Glusman, Shmuel Katz Model Checking Conformance with Scenario-Based Specifications. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Marcelo Sihman Aspect Validation Using Model Checking. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mika Katara, Shmuel Katz Architectural views of aspects. Search on Bibsonomy AOSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Iris Reinhartz-Berger, Dov Dori, Shmuel Katz OPM/Web - Object-Process Methodology for Developing Web Applications. Search on Bibsonomy Ann. Softw. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Iris Reinhartz-Berger, Dov Dori, Shmuel Katz Open Reuse of Component Designs in OPM/We. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Katerina Korenblat, Orna Grumberg, Shmuel Katz Translations between Textual Transition Systems and Petri Nets. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF textual transition systems, structure and semantics preservation, Petri nets, model translations
1Shmuel Katz, Orna Grumberg A Framework for Translating Models and Specifications. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcelo Sihman, Shmuel Katz A calculus of superimpositions for distributed systems. Search on Bibsonomy AOSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Shmuel Katz Faithful Translations among Models and Specifications. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Iris Reinhartz-Berger, Dov Dori, Shmuel Katz Developing Web Applications with OPM/Web. Search on Bibsonomy DIWeb The full citation details ... 2001 DBLP  BibTeX  RDF
1Marcelo Glusman, Shmuel Katz Extending Memory Consistency of Finite Prefixes to Infinite Computations. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zeev Collin, Rina Dechter, Shmuel Katz Self-Stabilizing Distributed Constraint Satisfaction. Search on Bibsonomy Chic. J. Theor. Comput. Sci. The full citation details ... 1999 DBLP  BibTeX  RDF
1Shmuel Katz, Hillel Miller Saving Space by Fully Exploiting Invisible Transitions. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marcelo Glusman, Shmuel Katz Mechanizing Proofs of Computation Equivalence. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Joseph Gil Aspects and Superimpositions. Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  BibTeX  RDF
1Shmuel Katz, Patrick Lincoln, John M. Rushby Low-Overhead Time-Triggered Group Membership. Search on Bibsonomy WDAG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF time-triggered protocol, fault tolerance, formal modeling, group membership, synchronous algorithms
1Hillel Miller, Shmuel Katz Saving Space by Fully Exploiting Invisible Transitions. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Shmuel Katz Refinement with global equivalence proofs in temporal logic. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gadi Taubenfeld, Shmuel Katz, Shlomo Moran Impossibility Results in the Presence of Multiple Faulty Processes Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John H. Howard, Shmuel Katz Reconciliations. Search on Bibsonomy PODC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shmuel Katz Global Equivalence Proofs for ISTL. Search on Bibsonomy ICTL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Kenneth J. Perry Self-Stabilizing Extensions for Message-Passing Systems. Search on Bibsonomy Distributed Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shmuel Katz A Superimposition Control Construct for Distributed Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF control construct, formal and actual processes, roletype, superimposition, modularity, distributed programming
1Shmuel Katz, Doron A. Peled Verification of Distributed Programs Using Representative Interleaving Sequences. Search on Bibsonomy Distributed Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Doron A. Peled Defining Conditional Independence Using Collapses. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martí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". Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Shmuel Katz, Amir Pnueli Specifying and Proving Serializability in Temporal Logic Search on Bibsonomy LICS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Zeev Collin, Rina Dechter, Shmuel Katz On the Feasibility of Distributed Constraint Satisfaction. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz High-Level Language Debugging for Concurrent Programs. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF temporal logic, portability, distributed debugging, language independence
1Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Ira R. Forman, Michael Evangelist Language Constructs for Distributed Systems. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
1Shmuel Katz, Kenneth J. Perry Self-Stabilizing Extensions for Message-Passing Systems. Search on Bibsonomy PODC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Gadi Taubenfeld, Shmuel Katz, Shlomo Moran Initial failures in distributed computations. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Michael Evangelist, Nissim Francez, Shmuel Katz Multiparty Interactions for Interprocess Communication and Synchronization. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
1Gadi Taubenfeld, Shmuel Katz, Shlomo Moran Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Nissim Francez, Shmuel Katz Appraising Fairness in Languages for Distributed Programming. Search on Bibsonomy Distributed Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Orit Baruch, Shmuel Katz Partially Interpreted Schemas for CSP Programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Doron A. Peled An efficient verification method for parallel and distributed programs. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
1Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini Interactive Blackbox Debugging for Concurrent Languages. Search on Bibsonomy Workshop on Parallel and Distributed Debugging The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Nissim Francez, Shmuel Katz Fairness and the axioms of control predicates. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Oded Shmueli Cooperative Distributed Algorithms for Dynamic Cycle Prevention. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Nissim Francez, Shmuel Katz Appraising Fairness in Languages for Distributed Programming. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic (Preliminary Version). Search on Bibsonomy PODC The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Charles A. Richter, Khe-Sing The PARIS: A System for Reusing Partially Interpreted Schemas. Search on Bibsonomy ICSE The full citation details ... 1987 DBLP  BibTeX  RDF
1Orna Grumberg, Nissim Francez, Shmuel Katz A Complete Rule for Equifair Termination. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Gadi Taubenfeld What Processes Know: Definitions and Proof Methods (Preliminary Version). Search on Bibsonomy PODC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli Proving Termination of Prolog Programs. Search on Bibsonomy Logic of Programs The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Orna Grumberg, Nissim Francez, Shmuel Katz Fail Termination of Communicating Processe. Search on Bibsonomy PODC The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Orna Grumberg, Nissim Francez, Shmuel Katz A Compete Proof Rule for Strong Equifair Termination. Search on Bibsonomy Logic of Programs The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Ruth Zimmerman An Advisory System for Developing Data Representations. Search on Bibsonomy IJCAI The full citation details ... 1981 DBLP  BibTeX  RDF
1Shmuel Katz, Lawrence J. Risman, Michael Rodeh A System for Constructing Linear Programming Models. Search on Bibsonomy IBM Syst. J. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Shmuel Katz Program Optimization Using Invariants. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Stanley J. Rosenschein, Shmuel Katz Selection of representations for data structures. Search on Bibsonomy Artificial Intelligence and Programming Languages The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Zohar Manna Logical Analysis of Programs. Search on Bibsonomy Commun. ACM The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Shmuel Katz Program Optimization Using Invariants. Search on Bibsonomy ECI The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Zohar Manna A Closer Look at Termination. Search on Bibsonomy Acta Informatica The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Zohar Manna Towards automatic debugging of programs. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Zohar Manna A Heuristic Approach to Program Verification. Search on Bibsonomy IJCAI The full citation details ... 1973 DBLP  BibTeX  RDF
Displaying result #1 - #99 of 99 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license