PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor DR. Gabi Nakibly
Advisor’s Email gnakibly@cs.technion.ac.il
No of theses 1
Department Computer Science
Department Web Site www.cs.technion.ac.il
Student’s Name Graduation Year Degree Abstracts Research Name
Marcovich Ron 2023 MSc Abstracts Protocol Inference from Program Executable using Symbolic Execution and Automata Learning