Ph.D and MS.c Theses, since 1988.
| Advisor | Assoc. Prof. Strichman Ofer |
| Advisor's Email | ofers@ie.technion.ac.il |
| Advisor's Home-Site | www |
| No of theses | 7 |
| Department | Industrial Engineering and Management |
| Department Web Site | iew3.technion.ac.il |
No. |
Student's Name | Graduation Year  |
Degree | Abstracts | ResearchName |
|---|---|---|---|---|---|
| 1 | Mirron Rozanov | 2011 | MSc | Abstracts | An Approximation Scheme for Weighet and Non-Weighted Model Counting |
| 2 | Michael Ryabtsev | 2009 | MSc | Abstracts | Translation Validation: from Simulink to C |
| 3 | Benny Godlin | 2008 | MSc | Abstracts | Regression Verification: Theoretical and Implementation Aspects |
| 4 | Ekaterina Kutsy | 2008 | MSc | Abstracts | A Probabilistic Analysis of Coverage Methods |
| 5 | Roman Gershman | 2007 | MSc | Abstracts | Improvements of SAT Solving Techniques |
| 6 | Maya Koifman | 2007 | MSc | Abstracts | An Approach to Extracting a Small Unsatisfiable Core |
| 7 | Orly Meir | 2005 | MSc | Abstracts | A Decision Procedure for Equality Logic |
Last updated on: Tuesday ,May 21, 2013