9 |
Soyed Ben-Tzion Project: Translation of state charts diagrams into NuSmv to enable model verification (code) Date: January 12, 2022
|
8 |
Shiri Morshtein Thesis: Methods of verifying complexity bounds of algorithms using Dafny Date: December 2, 2020 Publication: F-IDE 2021 Co-advisor: Ran Ettinger |
7 |
Adi Marinov Thesis: An efficient syntax preserving slide based algorithm for program slicing Date: December 1, 2020
Co-advisor: Ran Ettinger |
6 |
Or Golov Project: A Slice Refinement Framework for the Derivation of Correct Refactoring Tools and Algorithms Date: 2018
Co-advisor: Ran Ettinger |
5 |
Alex Tilkin Project: Deverywhere - Develop Software Everywhere Date: 2015 Publication: MOBILESoft 2015 Co-advisor: Yishai Feldman |
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 (code) Date: 2007 Publication: ICSEA 2007 |
1 |
Vladimir Polonsky Project: Parser for Jose, A Design by Contant System Date: 2006
|