PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Professor Shmuel Katz
Advisor’s Email
No of theses 25
Department Computer Science
Department Web Site
Student’s Name Graduation Year Degree Abstracts Research Name
Disenfeld Cynthia 2015 PhD Abstracts Compositional Verification of Events and Responses
Katz Emilia 2011 PhD Abstracts Analysis and Detection of Interactions among Aspects
Mishali Oren 2010 PhD Abstracts Using Aspects to Support the Software Process
Sihman Marcelo 2003 PhD Abstracts Language and Proof Support for Superimpositions and Aspects
Glusman Marcelo 2003 PhD Abstracts Mechanizing Proofs of Computation Equivalence
Taubenfeld Gadi 1988 PhD An Axiomatic Approach for Proving Impossibility Results in
Reinhartz-Berger Iris 2003 PhD Abstracts Developing Web Applications with Object-Oriented Approaches and Object-Process Methodology
Elenbogen Dima 2014 MSc Abstracts Proving Mutual Termination of Programs
Alperin Yevgenia 2010 MSc Abstracts Property Analysis and Automatic Detection of Aspect Categories
Goldman Max 2006 MSc Abstracts Modular Verification of Aspects
Katz Emilia 2006 MSc Abstracts Verifying Scenario-Based Aspect Specifications
Firstenberg Yosef 2002 MSc Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
Eckel Jacob 1998 MSc A Framework for Static Checking of Design Level Traits
Miller Hillel 1996 MSc Saving Space by Fully Exploiting Invisible Transitions
Ben-David Shoham 1994 MSc Using Graphs to Represent Equivalence Classes of Parallel
Collin Ze’ev 1992 MSc A Self Stabilizing Distributed Solution
Bin Eyal 1991 MSc A Pre-Processor for Generating Self-Stabilizing Systems
Shapiro Constantine 2003 MSc Abstracts Object-Oriented Implementation of Reconciliations
Adir Allon 1994 MSc Compiling Programs with Multiparty-Interactions and Teams
Estrin Yacov 2006 MSc Abstracts Expert System On Translations among Formal Verification Tools in VeriTech
Berg Mirit 2003 MSc Abstracts Property Transformations for Translations
Aizenbud Netta 1993 MSc Self-Stabilization of Fault-Tolerant Distributed Algorithms
Dvir Nir 1992 MSc Freezing – Interaction Between Concurrent Distributed Algs.