“Battleground: Fact and Fantasy in Palestine” By Shmuel Katz .1. The War Before The Six Day War On May 14, 1967, the territorial limits of the State of Israel were the lines agreed upon in

Source URL: shmuelkatz.com

A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science

Source URL: www.cs.technion.ac.il

• Aspect-oriented programming
• Logic in computer science
• Formal methods
• Philosophical logic
• Grammatical aspect
• Economic model
• AspectJ
• Formal verification
• Modal logic
• Software development
• Software
• Aspect-oriented software development

Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science

Source URL: www.cs.technion.ac.il

• Logic in computer science
• Aspect-oriented programming
• Formal verification
• Model checking
• Grammatical aspect
• E
• Formal specification
• Abstraction
• Software development
• Formal methods
• Aspect-oriented software development

Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz

Source URL: www.cs.technion.ac.il

• Aspect-oriented programming
• Join point
• Linear temporal logic
• AspectJ
• Pointcut
• Formal verification
• Model checking
• Kripke structure
• Temporal logic
• Software development
• Software
• Aspect-oriented software development

Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel

Source URL: www.cs.technion.ac.il

• Models of computation
• Temporal logic
• UML diagrams
• Aspect-oriented programming
• Abstraction
• Grammatical aspect
• Kripke structure
• Programming language
• Monad
• Software development
• Aspect-oriented software development
• Software engineering

User Queries for Specification Refinement Treating Shared Aspect Join Points Emilia Katz, Shmuel Katz Computer Science Department Technion – Israel Institute of Technology Haifa, Israel Email: {emika, katz}@cs.technion

Source URL: www.cs.technion.ac.il

• Aspect-oriented software development
• Join point
• Pointcut
• AspectJ
• Spring Framework
• Advice
• Monad
• Actor model
• Grammatical aspect
• Software development
• Software
• Aspect-oriented programming

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz

Source URL: www.cs.technion.ac.il

• Electronic engineering
• Formal methods
• Predicate logic
• Hardware description languages
• Construction and Analysis of Distributed Processes
• Formal verification
• State transition system
• Model checking
• Petri net
• Models of computation
• Theoretical computer science
• Concurrency

Publication List: Shmuel Katz • Journal Articles 1. S. Katz and Z. Manna, A closer look at termination, Acta Informatica, 5, December 1975, ppS. Katz and Z. Manna, Logical analysis of programs, CACM, 19,

Source URL: www.cs.technion.ac.il

• Model checking
• Software
• Software development
• Aspect-oriented software development
• Web engineering

April 2014—Issue #275 PUBLISHED BY AMERICANS FOR A SAFE ISRAEL The Peresian Succession From The Editor

Source URL: www.afsi.org

• Prime Ministers of Israel
• Zionism
• Aliyah
• Americans for a Safe Israel
• Shimon Peres
• Arab citizens of Israel
• Shmuel Katz
• Jewish state
• Yitzhak Rabin
• Israel
• Israeli Jews
• Asia

“Battleground: Fact and Fantasy in Palestine” By Shmuel Katz .1. The War Before The Six Day War On May 14, 1967, the territorial limits of the State of Israel were the lines agreed upon in

Source URL: www.shmuelkatz.com

• Gamal Abdel Nasser
• Israel
• Six-Day War
• Battleground: Fact and Fantasy in Palestine
• Armistice Agreements
• Golan Heights
• Suez Crisis
• Origins of the Six-Day War
• Asia
• Arab–Israeli conflict
• Sinai Peninsula