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


Advisor Professor Orna Grumberg
Advisor's Email orna@cs.technion.ac.il
Advisor's Home-Site www
No of theses 30
Department Computer Science
Department Web Site www.cs.technion.ac.il


No.   Student's Name Graduation
Year
Degree Abstracts Research Name
 1 Devir Nurit 2019 MSc Abstracts Applying Machine Learning for Identifying Attacks at Run-Time
 2 Rasin Dan 2018 MSc Abstracts Modular Verification of Concurrent Programs via Sequential Model Checking
 3 Trostanetski Anna 2018 MSc Abstracts Modular Demand-Driven Analysis of Semantic Difference for Program Versions
 4 Sosnovich Adi 2017 PhD Abstracts Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
 5 Abdelkader Karam 2016 MSc Abstracts Automated Circular Assume-Guarantee Reasoning
 6 Meller Yael 2016 PhD Abstracts Model Checking Techniques for Behavioral UML Models
 7 Vizel Yakir 2014 PhD Abstracts SAT-Based Model Checking Using Interpolation and IC3
 8 Flur Shaked 2013 MSc Abstracts Weak Omega Automata
 9 Meller Yael 2010 MSc Abstracts Multi Valued Abstraction and Compositional Model Checking
 10 Yadgar Avraham 2010 PhD Abstracts New Approaches to Model Checking and to 3-Valued Abstraction and Refinement
 11 Shoham Buchbinder Sharon 2009 PhD Abstracts Abstraction-Refinement and Modularity in Mu-Calculus Model Checking
 12 Oshman Rotem 2008 MSc Abstracts Bounded Model - Checking for Branching-Time Logic
 13 Brel Rachel 2006 MSc Abstracts Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
 14 Ifergan Nili 2005 MSc Abstracts Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
 15 Shoham Buchbinder Sharon 2004 MSc Abstracts A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
 16 Yadgar Avraham 2004 MSc Abstracts Solving All-SAT Problem for Reachability Analysis
 17 Heyman Tamir 2004 PhD Abstracts Distributed Symbolic Model Checking
 18 Keidar Sharon 2003 MSc Abstracts Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
 19 Katz Sagi 2002 MSc
Techniques for Increasing Coverage of Formal Verification
 20 Bustan Doron 2002 PhD Abstracts Equivalence-Based Reductions and Checking for Preorders
 21 Livne Shlomo 2001 MSc
Machine Learning for Efficient BDD Variable Ordering in Verification
 22 Rinetskey Noam 2001 MSc
Interprocedural Shape Analysis
 23 Yorav Karen 2000 PhD
Exploiting Syntactic Structure for Automatic Verification
 24 Kupferman-Bernholtz Orna 1995 PhD
Model Checking for Branching-Time Temporal Logics
 25 Gershon Benjamin 1994 MSc
Synthesis of Concurrent Systems
 26 De-Lion Hana 1991 MSc
Real Time Temporal Logics
 27 Marelly Rami 1991 MSc
Automatic Verifier of Distributed Algorithms
 28 Shurek Gil 1991 MSc
Modular Computer Aided Verification of Concurrent Systems
 29 Shtapler Zeiev 1990 MSc
Automatic Verification of Distributed Algorithms
 30 Leyzerovitch Esther 1989 MSc
Impiementing Superimpositions for Occam

Last updated on: Tuesday ,September 17, 2019