Kimiya Kolahdouz
MSc
Start: Sep. 2019
Finish: Jan. 2023
Thesis Title: Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi Advisor: Dr. Kevin Lano
more
Atefeh Nirumand
PHD
Start: Sep. 2018
Finish: Jan. 2023
Thesis Title: An Integrated Model-based Framework for Inter-App Communication Security Analysis of Android Apps
Supervisor: Dr. Bahman Zamani Advisors: Dr. Behrouz Tork Ladani & Dr. Jacques Klein
more
Sayyed Mohammad-Sajad Kasaei
PhD STUDENT
Start: Sep. 2022
Thesis Title: --
Supervisor: Dr. Afsaneh Fatemi Co-Supervisor: Dr. Bahman Zamani
more
Mohammadreza Sharbaf
PhD
Start: Sep. 2016Finish: Oct. 2022
Thesis Title: A Framework for Semi-Automatic Conflict Management in Online and Offline Collaborative Modeling
Supervisor: Dr. Bahman Zamani Co-Supervisor: Dr. Gerson Sunyé
more
Mohammadreza Talebi
MSc
Start: Sep. 2019
Start: Sep. 2022
Thesis Title: Model-Driven Framework for Automatic Secure Code Generation for Ethereum Smart Contract
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi Advisor: Dr. Behrouz Tork Ladani
more
Yaser Shahvari
PhD STUDENT
Start: Sep. 2021
Thesis Title: --
Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi
more
Sayyed Arman Taheri
MSc STUDENT
Start: Sep. 2021
Thesis Title: Android Inter-App data-flow analysis using Model-Driven techniques for information leakage detection
Supervisor: Dr. Bahman Zamani Advisor: Dr. Behrouz Tork Ladani
more
Shayan Badiei
MSc
Start: Sep. 2019
Finish: Feb. 2022
Thesis Title: A Low-Code Framework for Developing Educational Chatbots
Supervisor: Dr. Bahman Zamani Advisor: Dr. Leila Samimi-Dehkordi
more
Sayyed Mohammad-Sajad Kasaei
MSc
Start: Sep. 2019
Finish: Feb. 2022
Thesis Title: A New Framework for Consistent N-Way Model Merging
Supervisor: Dr. Bahman Zamani
Current Position: Ph.D. Student at University of Isfahan
more