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


Advisor Professor Ofer Strichman
Advisor's Email ofers@ie.technion.ac.il
Advisor's Home-Site www
No of theses 15
Department Industrial Engineering and Management
Department Web Site iew3.technion.ac.il


No.   Student's Name Graduation
Year
Degree Abstracts Research Name
 1 Nof Yair 2018 MSc Abstracts Real Time Solving of Discrete Optimization Problems
 2 Veitsman Maor 2017 MSc Abstracts Methods to Improve completeness of Regression Verification
 3 Veksler Michael 2015 PhD Abstracts Constraint Solving with a Learning Mechanism based on General Constraints
 4 Elenbogen Dima 2014 MSc Abstracts Proving Mutual Termination of Programs
 5 Ryvchin Vadim 2014 PhD Abstracts Core Algorithms for SAT and SAT Related Problems
 6 Vaisman Radislav 2014 PhD Abstracts Stochastic Enumeration Methods for Counting, Rare-Events and Optimization
 7 Drucker Nir 2014 MSc Abstracts Cyclic Routing of Unmanned Aerial Vehicles
 8 Emmer Moshe 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic
 9 Rozanov Mirron 2011 MSc Abstracts An Approximation Scheme for Weighet and Non-Weighted Model Counting
 10 Ryabtsev Michael 2009 MSc Abstracts Translation Validation: from Simulink to C
 11 Kutsy Ekaterina 2008 MSc Abstracts A Probabilistic Analysis of Coverage Methods
 12 Godlin Benny 2008 MSc Abstracts Regression Verification: Theoretical and Implementation Aspects
 13 Koifman Maya 2007 MSc Abstracts An Approach to Extracting a Small Unsatisfiable Core
 14 Gershman Roman 2007 MSc Abstracts Improvements of SAT Solving Techniques
 15 Meir Orly 2005 MSc Abstracts A Decision Procedure for Equality Logic

Last updated on: Friday ,November 15, 2019