Seyed-Hassan Mirian-Hosseinabadi | Computer Engineering Department | Sharif University of Technology | سید حسن میریان حسین آبادی
 MSc Students

1: Taghani,  Kambiz

Formal Extension of UML Modeling Language, Mehr 77(Oct 1998), Mehr 78(Oct 1999), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

2: Rahmati,  Behrouz

Automatic Mapping of an Object Oriented Model to a Relational Database Model, Mehr 78(Oct 1999), Mehr 79(Oct 2000), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

3: Jalali,  Arash

Translation of CZ set theory into Martin-Lof theory of types and its implementation, Mehr 78(Oct 1999), Aban 79(Nov 2000), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

4: Foladgar,  Mahdi

Formal Specification of a Firewall, Mehr 78(Oct 1999), Esfand 79(March 2001), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Bakhtiari)

 

5: Mousavi,  Seyyed-Mohammad-Reza

Nondeterminisim in Set Theoretical Formal Specification: A Constructive Approach, Mehr 79(Oct 2000), Mehr 80(Oct 2001), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

6: Hashemian,  Seyyed-Vahid

Formal Specification of Probabilistic Systems, Mehr 80(Oct 2001), Mordad 81(Oct 2002), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Toserkani), External(Dr. Daneshgar)

 

7: Haghighi,  Hassan

Translating Object Oriented Queries into Relational Queries, Mehr 80(Oct 2001), Aban 81(Nov 2002), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

8: Roohi,  Ali-Reza

A Case Study in Formal Specification ( Intelligent Student Registration Database System), Mehr 81(Oct 2002), Khordad 83(June 2004), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Isazadeh)

 

9: Mesdaghinia,  Salar

Adaptive Architectures: An Approach for Behavior Dynamism, Mehr 82(Oct 2003), Bahman 83(Jan 2005), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

10: Roozbehani,  Amin

Database Design Evaluation based on Relational Data Model, Mehr 82(Oct 2003), Bahman 83(Jan 2005), Group(1), Field(SE), Paper(Yes(2)), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

11: Yousefsanati,  Morteza

Work Flow Engine Design: A Family Based Approach, Mehr 82(Oct 2003), Bahman 83(Jan 2005), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

12: Makarem,  Mohammad-Sadegh

Formal Specification and Verification of Software Architecture Properties, Mehr 83(Oct 2004), Dey 84(Jan 2006), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. S. Jalili)

 

13: Jahangard-Rafsanjani,  Amir

Mapping Between Relational Database Schemas and XML Schemas, Mehr 83(Oct 2004), Dey 84(Jan 2006), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Roohani)

 

14: Taghizadeh-Naeini,  Javad

Automatic Test-Case Generation from Formal Specification of Softwrae, Mehr 83(Oct 2004), Dey 84(Jan 2006), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. S. Jalili)

 

15: Rivadeh,  Mehran

A tool for Executing Lambda Claculus Programs, Bahman 83(Jan 2005), Mehr 85(Oct 2006), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

16: Fakhraei,  Seyed-Shobeir

Aspect Extraction from Software Design Model, Bahman 83(Jan 2005), Khordad 85(June 2006), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

17: Asiaei,  Amir-Hossein

User Interface Design: A Formal Approach, Mehr 84(Oct 2005), Khordad 86(June 2007), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

18: Movahedi-Mehr,  Elmira

Dynamic Architecture of Software: An Aspect Oriented Approach, Mehr 84(Oct 2005), Dey 85(Jan 2007), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(--)

 

19: Changizi,  Behnaz

Developing Executable Program from Formal Specificaton in Z, Mehr 84(Oct 2005), Dey 85(Jan 2007), Group(2), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

20: Noroozi,  Neda

Reconfigurable Software Systems Specification and Verification: An Approach Based on Adaptive Architecture, Mehr 84(Oct 2005), Mehr 85(Oct 2006), Group(1), Field(SE), Paper(Yes(2)), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

21: Chinifrooshan Esfahani,  Hesam

An Agent Oriented Workflow Management System, Mehr 84(Oct 2005), Dey 85(Jan 2007), Group(1), Field(SE), Paper(Yes(2)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

22: Shojaeemand,  Hassan

An Efficient Query Processor for Data Integration in the p2p Architecture Environment, Mehr 84(Oct 2005), Tir 86(July 2007), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Ghodsi), External(Dr. Abdolahzadeh)

 

23: Hajizadeh Moghadam,  Ali

A Model for Software Reliability Evaluation for Distributed Web Applications, Mehr 84(Oct 2005), Shahrivar 86(Sept 2007), Group(1), Field(IT), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

24: Tasharofi,  Shahab

A Constructive Theory to Characterize Computational Complexity, Mehr 85(Oct 2006), Bahman 86(Jan 2008), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ghodsi), External(Dr. Ardeshir)

 

25: Esfahani,  Naeim

Introducing a set of process patterns for real-time softwares, Mehr 85(Oct 2006), Khordad 87(June 2008), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

26: Bagheri,  Hamid

Injecting Non-Functional Requirements  into Software Architecture, Mehr 85(Oct 2006), Bahman 86(Jan 2008), Group(1), Field(SE), Paper(Yes(3)), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Sharifi)

 

27: Keramati,  Hossein

A Software Engineering Process for Developing Security-Critical Softwares, Mehr 85(Oct 2006), Khordad 87(June 2008), Group(1), Field(SE), Paper(Yes(2)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)

 

28: Ganjo-Haghighi,  Arash

Formal Specification Development From Code, Mehr 85(Oct 2006), Shahrivar 87(Sept 2008), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

29: Ejehei,  Fatemeh

Mapping XML Queries to Relational Queries, Mehr 85(Oct 2006), Day 86(Jan 2008), Group(2), Field(SE), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

30: Montaghemi,  Vajiholah

A Method for Evaluating and Comparing Software Architecture, Mehr 85(Oct 2006), Shahrivar 87(Sept 2008), Group(1), Field(SE), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Shams)

 

31: Khata va khotan,  Ahdieh sadat

Improving Agile Methods By Using RMMM (Risk Mitigation, Monitoring ,Management), Khordad 86(June 2007), Bahman 86(Feb 2008), Group(3), Field(IT), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Sedighi), External(Dr. Ramsin)

 

32: Safi,  Gholamreza

An Architecture for Self-Healing Software Systems, Mehr 86(Oct 2007), Day 87(Jan 2009), Group(1), Field(IT), Paper(Yes(3)), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

33: Badi zadegan,  Mohammad-Amin

Refinement of Formal Specification into Object-Oriented Design, Mehr 86(Oct 2007), Khordad 89(June 2010), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

34: Forghani,  Hadi

A Process Model for Software Product line Engineering Based on the Model Driven Architecture, Mehr 86(Oct 2007), Day 88(Jan 2010), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

35: Rezvan,  Abolfazl

Tailoring Software Testing Techiques for Product Line Engineering, Mehr 86(Oct 2007), Mehr 88(Oct 2009), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)

 

36: Piri,  Razieh

Refining  Object Oriented Formal Specification to Object Oriented Code, Mehr 86(Oct 2007), Khordad 88(June 2009), Group(2), Field(SE), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Sharifi)

 

37: Rohi,  Nima

Choreography and Orchestration of Coordinators in Component-Based Systems, Mehr 87(Oct 2008), Azar 88(Dec 2009), Group(1), Field(SE), Paper(Yes(2)), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

38: Aghakasiri,  Zahra

A Dynamic Workflow Management System, Mehr 87(Oct 2008), Aban 88(Oct 2009), Group(2), Field(SE), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Beigi), External(Dr. Abdolahi-Azgomi)

 

39: Khalafinejad,  Saeid

Component Based Translation of Z Specifications to Executable Code, Mehr 87(Oct 2008), Khordad 89(June 2010), Group(3), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Sedighi), External(Dr. Haghighi)

 

40: Sadeghi,  Alireza

An Improvement on the Software Test Driven Development Approach, Mehr 88(Oct 2009), Day 89(Jan 2011), Group(1), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

41: Davari-Zanjani,  Eiman

A Method for Evaluation of UML Diagrams Complexity, Mehr 88(Oct 2009), Esfand 90(March 2012), Group(2), Field(SE), Paper(NO), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

42: Hojat,  Hamid

A Quantitative Method for Software Architecture Evaluation, Mehr 89(Oct 2010), Shahrivar 91(Sep 2012), Group(1), Field(SE), Paper(NO), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

43: Razavi-Ghahfarokhi,  Danesh

A Distributed Workflow Management System, Mehr 89(Oct 2010), Khordad 91(Jul 2012), Group(1), Field(SE), Paper(NO), Co-Supervisor(), Examiners: Internal(Dr. Beigi), External(Dr. Khosravi)

 

44: Sadri,  Mehdi

XML Query Processing Optimization, Mehr 89(Oct 2010), Mordad 90(Jul 2011), Group(1), Field(SE), Paper(NO), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr Haghighi)

 

45: Bagheri,  Maryam

An Algorithm for Frequent Pattern Mining in Distributed Data Mining, Mehr 89(Oct 2010), Azar 90(Dec 2011), Group(1), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Saniei)

 

46: Monemi Bidgoli,  Atieh

A Method for Comparing Effectiveness and Efficiency of Grammar-Based  Testing Criteria, Mehr 90(Oct 2011), Mehr 91(Oct 2012), Group(1), Field(SE), Paper(NO), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr.Haghihi)

 

47: Nasiri Amini,  Melisa

Managing Variability of Quality Attributes in Software Product Line, Mehr 90(Oct 2011), Day 91(Jan 2013), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Haghighi)

 

48: Shokohi Dehkordi,  Sahar

A Method for Testing Aspect Oriented Software, Mehr 90(Oct 2011), Mordad 92(Aug 2013), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

49: Zahiri Mehrabadi,  Mahdieh

Model Based Testing in Software Product Line, Mehr 90(Oct 2011), Mehr 91(Oct 2012), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

50: Shahravesh,  Fatemeh Sadat

Clustering in Multiple Data Streams Mining, Mehr 90(Oct 2011), Mehr 91(Oct 2012), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Saniei)

 

51: Habibi,  Elaheh

Event-Driven Web Application Testing, Mehr 91(Oct 2012), Shahrivar 92(Aug 2013), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. ZarabiZadeh), External(Dr. Haghighi)

 

52: Kiaeiha,  Masoud

A Framework for Work-Flow Management Systems: An Agent Oriented approach, Mehr 91(Oct 2012), Khordad 93(June 2014), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External(Dr. Khosravi)

 

53: Parvizi Mosaed,  Alireza

Towards a Framework for self-adaptive Service-Oriented Architectures based on Quality Attributes and Patterns, Mehr 91(Oct 2012), Shahrivar 92(Sept 2013), Group(1), Field(SE), Paper(No), Co-Supervisor(Dr. Habibi), Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi)

 

54: Zarchini,  Akram

Associate Rule Mining in Distributed Databases, Mehr 91(Oct 2012), Day 92(Jan 2014), Group(1), Field(SE), Paper(No), Co-Supervisor(Dr. Habibi), Examiners: Internal(Dr. Heydarnouri), External(Dr. Saniei)

 

55: Abazari Torghabeh,  Reza

Multi-Query Optimization in Distributed Databases Using an Ants Colony-Based Algorithm, Mehr 92(Oct 2013), Dey 93(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Amini), External(Dr. Haghighi)

 

56: Bahrami,  Yaser

Evolutionary Testing of Object Oriented Programs, Mehr 92(Oct 2013), Khordad 94(June 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

57: Farnoush,  Mojtaba

Testing of Workflow Engine Based Systems: A Model-Based Approach, Mehr 92(Oct 2013), Dey 93(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Beigi), External(Dr.Khosravi)

 

58: Khorshidi,  Taher

A Proof Environment for Z Notation Using Coq Logical Framework, Mehr 92(Oct 2013), Bahman 92(Feb 2014), Group(4), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Izadi), External()

 

59: Mortezazadeh Jaghargh,  Eiman

A Tool for Generating Test Cases from Formal Specification of Programs, Mehr 92(Oct 2013), Dey 93(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Izadi), External(Dr. Haghighi)

 

60: Tahmoresi,  Hamed

Enabling Flexibility in Workflow Systems at Runtime, Mehr 92(Oct 2013), Sharivar 93(Sept 2014), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Beigi), External(Dr. Khosravi)

 

61: Hassan-Tabar,  Navid

Testing Android Event-Driven Applications, Mehr 93(Oct 2014), Shahrivar 95(Sept. 2016), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. ZarabiZadeh), External(Dr. Khosravi)

 

62: Masghadi,  Nima

Test Case Refactoring in Test Driven Development of Software: A Pattern-Based Approach, Mehr 93(Oct 2014), Dey 94(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

63: Pourabedini,  Mohammd

A Technique for Transforming Computer Independent Model  to 

Platform Independent Model in Model Driven Development of Software 

, Mehr 93(Oct 2014), Dey 94(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

64: Taheri,  Naeim

An Evolutionary Feature-Oriented Approach For Software Product Line Engineering, Mehr 93(Oct 2014), Dey 94(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External(Dr. Khosravi)

 

65: Varmazyar,  Mojtaba

An  Agile Methodology with the Facility of Reusing Common Assets, Mehr 93(Oct 2014), Shahrivar 94(Sept. 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

66: Khanbaba,  Younes

A Semi-Automated Software Testing Using Input Space Partitioning Method, Mehr 94(Oct 2015), Dey 95(Jan 2017), Group(1), Field(IT), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi)

 

67: Lotfi,  Mahsa

Generating Test Cases  for Web-Based Programs Using Field Data, Mehr 94(Oct 2015), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(), External()

 

68: Ordokhani,  Arman

Generating Test Cases for the User Interface of Event-Driven Web Programs, Mehr 94(Oct 2015), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(), External()

 

69: Dehghani,  Ali

Strategies for increasing software quality in Microservices, Mehr 94(Oct 2015), (), Group(4), Field(IT), Paper(), Co-Supervisor(), Examiners: Internal(), External()

 

70: Niroomand,  Mohammad Hassan

Testing cross platform software, Mehr 94(Oct 2015), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(), External()

 

71: Barati,  Babak

Generating Mutants to Improve Test Suits: A Search Based Approach, Mehr 95(Oct 2016), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(؟), External()

 

72: Etemadi-Someeoliaei,  Khashayar

Generating Mutants From Android Event-Driven Programs, Mehr 95(Oct 2016), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External()

 

73: Jalali,  Sajad

A Method for Evaluating Effectiveness of Test Cases, Mehr 95(Oct 2016), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Abam), External()

 

74: Nosrati,  Ali

A Technique for Program Fault Location Using External Information Sources, Mehr 95(Oct 2016), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External()

 

75: Pourjam,  Hamid

Software Fault Categorization, Mehr 95(Oct 2016), (), Group(4), Field(SE), Paper(), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External()

 

Create Date: 80/12/27(March 2003),  

Update Date: 96/01/21(April 2017)


Seyed Hassan Mirian Hosseinabadi | سید حسن میریان حسین آبادی 
Seyed-Hassan Mirian-Hosseinabadi
Associate Professor,
Computer Engineering Department,
Sharif University of Technology
 
 
 

All Rights Reserved | Seyed-Hassan Mirian-Hosseinabadi | Sharif University of Technology