default search action
Shmuel Katz
Person information
- affiliation: Technion - Israel Institute of Technology, Haifa, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j35]Cynthia Disenfeld, Shmuel Katz:
Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. LNCS Trans. Modul. Compos. 1: 41-79 (2016) - 2015
- [j34]Dima Elenbogen, Shmuel Katz, Ofer Strichman:
Proving mutual termination. Formal Methods Syst. Des. 47(2): 204-229 (2015) - 2014
- [c59]Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz:
A tool-supported approach for modular design of energy-aware software. SAC 2014: 1206-1212 - 2013
- [c58]Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz:
Deriving minimal models for resource utilization. GIBSE@AOSD 2013: 15-18 - [c57]Cynthia Disenfeld, Shmuel Katz:
Specification and verification of event detectors and responses. AOSD 2013: 121-132 - 2012
- [j33]Shmuel Katz, David Faitelson:
The common aspect proof environment. Int. J. Softw. Tools Technol. Transf. 14(1): 41-52 (2012) - [c56]Cynthia Disenfeld, Shmuel Katz:
A closer look at aspect interference and cooperation. AOSD 2012: 107-118 - [c55]Dima Elenbogen, Shmuel Katz, Ofer Strichman:
Proving Mutual Termination of Programs. Haifa Verification Conference 2012: 24-39 - [e5]Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara:
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1099-4 [contents] - 2011
- [c54]Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz:
Making aspects natural: events and composition. AOSD 2011: 285-300 - [c53]Cynthia Disenfeld, Shmuel Katz:
Compositional verification of events and observers: (summary). FOAL 2011: 1-5 - [c52]Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56 - [e4]Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen:
Transactions on Aspect-Oriented Software Development VIII. Lecture Notes in Computer Science 6580, Springer 2011, ISBN 978-3-642-22030-2 [contents] - 2010
- [j32]Max Goldman, Emilia Katz, Shmuel Katz:
MAVEN: modular aspect verification and interference analysis. Formal Methods Syst. Des. 37(1): 61-92 (2010) - [c51]Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit:
Checking the Correspondence between UML Models and Implementation. RV 2010: 198-213 - [c50]Emilia Katz, Shmuel Katz:
User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM 2010: 73-82 - [e3]Shmuel Katz, Mira Mezini, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling. Lecture Notes in Computer Science 6210, Springer 2010, ISBN 978-3-642-16085-1 [contents]
2000 – 2009
- 2009
- [j31]Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
Reusing semi-specified behavior models in systems analysis and design. Softw. Syst. Model. 8(2): 221-234 (2009) - [j30]Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink:
Editorial for Special Section on Dependencies and Interactions with Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5: 133-134 (2009) - [c49]Oren Mishali, Shmuel Katz:
The HighspectJ framework. ACP4IS@AOSD 2009: 19-24 - [c48]Emilia Katz, Shmuel Katz:
Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural 2009: 128-147 - [c47]Emilia Katz, Shmuel Katz:
Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12 - [c46]Yevgenia Alperin-Tsimerman, Shmuel Katz:
Dataflow Analysis for Properties of Aspect Systems. Haifa Verification Conference 2009: 87-101 - [e2]Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner:
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, ISBN 978-3-642-01747-6 [contents] - [e1]Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel:
Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering. Lecture Notes in Computer Science 5560, Springer 2009, ISBN 978-3-642-03763-4 [contents] - 2008
- [c45]Shmuel Katz:
Aspects and Formal Methods. FM 2008: 1-11 - [c44]Emilia Katz, Shmuel Katz:
Incremental analysis of interference among aspects. FOAL 2008: 29-38 - [c43]Oren Mishali, Yael Dubinsky, Shmuel Katz:
The TDD-Guide Training and Guidance Tool for Test-Driven Development. XP 2008: 63-72 - 2007
- [j29]Mika Katara, Shmuel Katz:
A concern architecture view for aspect-oriented software design. Softw. Syst. Model. 6(3): 247-265 (2007) - [j28]Orna Grumberg, Shmuel Katz:
VeriTech: a framework for translating among model description notations. Int. J. Softw. Tools Technol. Transf. 9(2): 119-132 (2007) - [c42]Max Goldman, Shmuel Katz:
MAVEN: Modular Aspect Verification. TACAS 2007: 308-322 - 2006
- [j27]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 Softw. 23(6): 53-61 (2006) - [j26]Shmuel Katz:
Aspect Categories and Classes of Temporal Properties. LNCS Trans. Aspect Oriented Softw. Dev. 1: 106-134 (2006) - [c41]Oren Mishali, Shmuel Katz:
Using aspects to support the software process: XP over Eclipse. AOSD 2006: 169-179 - [c40]Shmuel Katz:
Rigorous Fault Tolerance Using Aspects and Formal Methods. RODIN Book 2006: 226-240 - 2005
- [j25]Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
Modelling code mobility and migration: an OPM/Web approach. Int. J. Web Eng. Technol. 2(1): 6-28 (2005) - [c39]Emilia Katz, Shmuel Katz:
Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447 - 2004
- [c38]Shmuel Katz, Awais Rashid:
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. RE 2004: 48-57 - 2003
- [j24]Marcelo Sihman, Shmuel Katz:
Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003) - [j23]Marcelo Glusman, Shmuel Katz:
A Mechanized Proof Environment for the Convenient Computations Proof Method. Formal Methods Syst. Des. 23(2): 115-142 (2003) - [c37]Mika Katara, Shmuel Katz:
Architectural views of aspects. AOSD 2003: 1-10 - [c36]Shmuel Katz, Marcelo Sihman:
Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394 - [c35]Marcelo Glusman, Shmuel Katz:
Model Checking Conformance with Scenario-Based Specifications. CAV 2003: 328-340 - 2002
- [j22]Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
OPM/Web - Object-Process Methodology for Developing Web Applications. Ann. Softw. Eng. 13(1-4): 141-161 (2002) - [c34]Marcelo Sihman, Shmuel Katz:
A calculus of superimpositions for distributed systems. AOSD 2002: 28-40 - [c33]Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
Open Reuse of Component Designs in OPM/We. COMPSAC 2002: 19-26 - [c32]Shmuel Katz, Orna Grumberg:
A Framework for Translating Models and Specifications. IFM 2002: 145-164 - [c31]Katerina Korenblat, Orna Grumberg, Shmuel Katz:
Translations between Textual Transition Systems and Petri Nets. IFM 2002: 339-359 - 2001
- [c30]Marcelo Glusman, Shmuel Katz:
Extending Memory Consistency of Finite Prefixes to Infinite Computations. CONCUR 2001: 411-425 - [c29]Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
Developing Web Applications with OPM/Web. DIWeb 2001: 47-61 - [c28]Shmuel Katz:
Faithful Translations among Models and Specifications. FME 2001: 419-434
1990 – 1999
- 1999
- [j21]Zeev Collin, Rina Dechter, Shmuel Katz:
Self-Stabilizing Distributed Constraint Satisfaction. Chic. J. Theor. Comput. Sci. 1999 (1999) - [j20]Shmuel Katz, Hillel Miller:
Saving Space by Fully Exploiting Invisible Transitions. Formal Methods Syst. Des. 14(3): 311-332 (1999) - [c27]Marcelo Glusman, Shmuel Katz:
Mechanizing Proofs of Computation Equivalence. CAV 1999: 354-367 - [c26]Shmuel Katz, Joseph Gil:
Aspects and Superimpositions. ECOOP Workshops 1999: 308-309 - 1997
- [c25]Shmuel Katz, Patrick Lincoln, John M. Rushby:
Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169 - 1996
- [c24]Hillel Miller, Shmuel Katz:
Saving Space by Fully Exploiting Invisible Transitions. CAV 1996: 336-347 - [c23]Shmuel Katz:
Refinement with global equivalence proofs in temporal logic. Partial Order Methods in Verification 1996: 59-78 - 1994
- [j19]Gadi Taubenfeld, Shmuel Katz, Shlomo Moran:
Impossibility Results in the Presence of Multiple Faulty Processes. Inf. Comput. 113(2): 173-198 (1994) - [c22]Shmuel Katz:
Global Equivalence Proofs for ISTL. ICTL 1994: 17-29 - [c21]John H. Howard, Shmuel Katz:
Reconciliations. PODC 1994: 14-21 - 1993
- [j18]Shmuel Katz, Kenneth J. Perry:
Self-Stabilizing Extensions for Message-Passing Systems. Distributed Comput. 7(1): 17-26 (1993) - [j17]Shmuel Katz:
A Superimposition Control Construct for Distributed Systems. ACM Trans. Program. Lang. Syst. 15(2): 337-356 (1993) - 1992
- [j16]Shmuel Katz, Doron A. Peled:
Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Comput. 6(2): 107-120 (1992) - [j15]Shmuel Katz, Doron A. Peled:
Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992) - 1991
- [j14]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. 40(3): 141-142 (1991) - [c20]Zeev Collin, Rina Dechter, Shmuel Katz:
On the Feasibility of Distributed Constraint Satisfaction. IJCAI 1991: 318-324 - [c19]Doron A. Peled, Shmuel Katz, Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244 - 1990
- [j13]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990) - [j12]Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz:
High-Level Language Debugging for Concurrent Programs. ACM Trans. Comput. Syst. 8(4): 311-336 (1990) - [c18]Shmuel Katz, Ira R. Forman, Michael Evangelist:
Language Constructs for Distributed Systems. Programming Concepts and Methods 1990: 73-100 - [c17]Shmuel Katz, Kenneth J. Perry:
Self-Stabilizing Extensions for Message-Passing Systems. PODC 1990: 91-101
1980 – 1989
- 1989
- [j11]Gadi Taubenfeld, Shmuel Katz, Shlomo Moran:
Initial failures in distributed computations. Int. J. Parallel Program. 18(4): 255-276 (1989) - [j10]Michael Evangelist, Nissim Francez, Shmuel Katz:
Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15(11): 1417-1426 (1989) - [c16]Gadi Taubenfeld, Shmuel Katz, Shlomo Moran:
Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version). FSTTCS 1989: 109-120 - 1988
- [j9]Krzysztof R. Apt, Nissim Francez, Shmuel Katz:
Appraising Fairness in Languages for Distributed Programming. Distributed Comput. 2(4): 226-241 (1988) - [j8]Orit Baruch, Shmuel Katz:
Partially Interpreted Schemas for CSP Programming. Sci. Comput. Program. 10(1): 1-18 (1988) - [c15]Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini:
Interactive Blackbox Debugging for Concurrent Languages. Workshop on Parallel and Distributed Debugging 1988: 271-282 - [c14]Shmuel Katz, Doron A. Peled:
An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507 - 1987
- [j7]Nissim Francez, Shmuel Katz:
Fairness and the axioms of control predicates. Int. J. Parallel Program. 16(4): 263-278 (1987) - [j6]Shmuel Katz, Oded Shmueli:
Cooperative Distributed Algorithms for Dynamic Cycle Prevention. IEEE Trans. Software Eng. 13(5): 540-552 (1987) - [c13]Shmuel Katz, Charles A. Richter, Khe-Sing The:
PARIS: A System for Reusing Partially Interpreted Schemas. ICSE 1987: 377-386 - [c12]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190 - [c11]Krzysztof R. Apt, Nissim Francez, Shmuel Katz:
Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198 - [c10]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43 - 1986
- [j5]Orna Grumberg, Nissim Francez, Shmuel Katz:
A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33(3): 313-332 (1986) - [c9]Shmuel Katz, Gadi Taubenfeld:
What Processes Know: Definitions and Proof Methods (Preliminary Version). PODC 1986: 249-262 - 1985
- [c8]Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli:
Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105 - 1984
- [c7]Orna Grumberg, Nissim Francez, Shmuel Katz:
Fail Termination of Communicating Processe. PODC 1984: 254-265 - 1983
- [c6]Orna Grumberg, Nissim Francez, Shmuel Katz:
A Compete Proof Rule for Strong Equifair Termination. Logic of Programs 1983: 257-278 - 1981
- [c5]Shmuel Katz, Ruth Zimmerman:
An Advisory System for Developing Data Representations. IJCAI 1981: 1030-1036 - 1980
- [j4]Shmuel Katz, Lawrence J. Risman, Michael Rodeh:
A System for Constructing Linear Programming Models. IBM Syst. J. 19(4): 505-520 (1980)
1970 – 1979
- 1978
- [j3]Shmuel Katz:
Program Optimization Using Invariants. IEEE Trans. Software Eng. 4(5): 378-389 (1978) - 1977
- [c4]Stanley J. Rosenschein, Shmuel Katz:
Selection of representations for data structures. Artificial Intelligence and Programming Languages 1977: 147-154 - 1976
- [j2]Shmuel Katz, Zohar Manna:
Logical Analysis of Programs. Commun. ACM 19(4): 188-206 (1976) - [c3]Shmuel Katz:
Program Optimization Using Invariants. ECI 1976: 287-309 - 1975
- [j1]Shmuel Katz, Zohar Manna:
A Closer Look at Termination. Acta Informatica 5: 333-352 (1975) - [c2]Shmuel Katz, Zohar Manna:
Towards automatic debugging of programs. Reliable Software 1975: 143-155 - 1973
- [c1]Shmuel Katz, Zohar Manna:
A Heuristic Approach to Program Verification. IJCAI 1973: 500-512
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint