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


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