Shmuel (Tysh) Tyszberowicz, M.Sc. Students

List of Master (M.Sc.) works

9	Soyed Ben-Tzion Project: Translation of state charts diagrams into NuSmv to enable model verification pdf code Date: January 12, 2022
8	Shiri Morshtein Thesis: Methods of verifying complexity bounds of algorithms using Dafny pdf Date: December 2, 2020 Publication: F-IDE 2021 Co-advisors: Ran Ettinger and Shmuel Tyszberowicz
7	Adi Marinov Thesis: An efficient syntax preserving slide based algorithm for program slicing pdf Date: December 1, 2020 Co-advisors: Ran Ettinger and Shmuel Tyszberowicz
6	Or Golov Project: A Slice Refinement Framework for the Derivation of Correct Refactoring Tools and Algorithms Date: 2018 Co-advisors: Ran Ettinger and Shmuel Tyszberowicz
5	Alex Tilkin Project: Deverywhere - Develop Software Everywhere pdf Date: 2015 Publication: MOBILESoft 2015 Co-advisors: Yishai Feldman and Shmuel Tyszberowicz
4	Shay Menaia Project: Efficient method extraction for automatic elimination of type-3 clones Date: 2013 Publication: SANER 2017
3	Moshe Tzemah Project: Semantics preserving procedures extraction Date: 2012
2	Assaf Raman Project: The EasyCRC Tool pdf code Date: 2007 Publication: ICSEA 2007
1	Vladimir Polonsky Project: Parser for Jose, A Design by Contant System Date: 2006

School of Computer Science