PhD and MSc Theses

PhD and MSc Theses, since 1988

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