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


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


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

Last updated on: Friday ,June 22, 2018