הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
Ph.D and MS.c Theses, since 1988.


Advisor Professor Shmuel Katz
Advisor's Email katz@cs.technion.ac.il
Advisor's Home-Site  
No of theses 25
Department Computer Science
Department Web Site www.cs.technion.ac.il


No.   Student's Name Graduation
Year
Degree Abstracts Research Name
 1 Disenfeld Cynthia 2015 PhD Abstracts Compositional Verification of Events and Responses
 2 Elenbogen Dima 2014 MSc Abstracts Proving Mutual Termination of Programs
 3 Katz Emilia 2011 PhD Abstracts Analysis and Detection of Interactions among Aspects
 4 Alperin Yevgenia 2010 MSc Abstracts Property Analysis and Automatic Detection of Aspect Categories
 5 Mishali Oren 2010 PhD Abstracts Using Aspects to Support the Software Process
 6 Katz Emilia 2006 MSc Abstracts Verifying Scenario-Based Aspect Specifications
 7 Estrin Yacov 2006 MSc Abstracts Expert System On Translations among Formal Verification Tools in VeriTech
 8 Goldman Max 2006 MSc Abstracts Modular Verification of Aspects
 9 Berg Mirit 2003 MSc Abstracts Property Transformations for Translations
 10 Shapiro Constantine 2003 MSc Abstracts Object-Oriented Implementation of Reconciliations
 11 Reinhartz-Berger Iris 2003 PhD Abstracts Developing Web Applications with Object-Oriented Approaches and Object-Process Methodology
 12 Glusman Marcelo 2003 PhD Abstracts Mechanizing Proofs of Computation Equivalence
 13 Sihman Marcelo 2003 PhD Abstracts Language and Proof Support for Superimpositions and Aspects
 14 Firstenberg Yosef 2002 MSc
Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
 15 Eckel Jacob 1998 MSc
A Framework for Static Checking of Design Level Traits
 16 Miller Hillel 1996 MSc
Saving Space by Fully Exploiting Invisible Transitions
 17 Ben-David Shoham 1994 MSc
Using Graphs to Represent Equivalence Classes of Parallel
 18 Adir Allon 1994 MSc
Compiling Programs with Multiparty-Interactions and Teams
 19 Aizenbud Netta 1993 MSc
Self-Stabilization of Fault-Tolerant Distributed Algorithms
 20 Dvir Nir 1992 MSc
Freezing - Interaction Between Concurrent Distributed Algs.
 21 Sprejer Nelson 1992 MSc