PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Full Professor Strichman Ofer
Advisor's Email ofers@ie.technion.ac.il
Advisor's Home-Site http://ie.technion.ac.il/ofers.phtml
No of theses 15
Department Industrial Engineering and Management
Department Web Site iew3.technion.ac.il
Student's Name Graduation Year Degree Abstracts Research Name
Michael Veksler 2015 PhD Abstracts Constraint Solving with a Learning Mechanism based on General Constraints
Vadim Ryvchin 2014 PhD Abstracts Core Algorithms for SAT and SAT Related Problems
Radislav Vaisman 2014 PhD Abstracts Stochastic Enumeration Methods for Counting, Rare-Events and Optimization
Dima Elenbogen 2014 MSc Abstracts Proving Mutual Termination of Programs
Michael Ryabtsev 2009 MSc Abstracts Translation Validation: from Simulink to C
Benny Godlin 2008 MSc Abstracts Regression Verification: Theoretical and Implementation Aspects
Roman Gershman 2007 MSc Abstracts Improvements of SAT Solving Techniques
Orly Meir 2005 MSc Abstracts A Decision Procedure for Equality Logic
Moshe Emmer 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic
Yair Nof 2018 MSc Abstracts Real Time Solving of Discrete Optimization Problems
Maor Veitsman 2017 MSc Abstracts Methods to Improve completeness of Regression Verification
Nir Drucker 2014 MSc Abstracts Cyclic Routing of Unmanned Aerial Vehicles
Mirron Rozanov 2011 MSc Abstracts An Approximation Scheme for Weighet and Non-Weighted Model Counting
Ekaterina Kutsy 2008 MSc Abstracts A Probabilistic Analysis of Coverage Methods
Maya Koifman 2007 MSc Abstracts An Approach to Extracting a Small Unsatisfiable Core