Conference Papers

International Conferences:

29. Maryam Bagheri, Seyed-Hassan  Mirian-Hosseinabadi, Hoda Mashayekhi,  Jafar Habibi, Mining Distributed Frequent Itemsets Using a Gossip Based Protocol, The 9th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2012) – Building Smart Worlds in Real and Cyber Spaces – , Fukuoka, Japan, IEEE Press,  pp.780 – 785, Sep 2012.

28. Saeed Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi,Generation of Database Schemas from Z Specifications, EIT 2011-International Conference on Electro/Information Technology , Mankato, Minnesota, USA, IEEE Press,  pp. 1-7, May 2011.

27. Amir Jahangard Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, A Z Approach to Formalisation and Validation of ORM Models, The International Conference on Digital Enterprise and Information Systems ,London, UK, CCIS Sries of Springer,  pp. 513-626, July 2011.

26. Alireza Sadeghi and Seyed-Hassan Mirian-Hosseinabadi, MBTDD- Model Based Test Driven Development, ICCSM 2010- International Conference on Computer and Software Modeling , Manila, Philippines,IEEE Press,  pp. , Dec 2010.

25. Mohammad Tanhaei, Shahrouz Moaven, Jafar Habibi and Seyed-Hassan Mirian-Hosseinabadi, Architectural Driven Approach for Software Product Line Testing, SERP10 – 9th International Conference on Software Engineering Research and Practice , Las Vegas, USA, ?,  pp. ?, July2010.

24. Saeed Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi,Derivation of Z Functional Input/output Refinement Proof Rules,ICEIE2010-The 2010 International Conference on Electronics and Information Engineering , Kyoto, Japan, IEEE Press,  pp. V1-209-213,Aug 2010.

23. Seyed-Hassan Mirian-Hosseinabadi, Zahra Aghakasiri, Alireza Sadeghi, Parisa Delfani, Morteza Ghandehari, Emphasizing Experiences in Teaching Software Engineering Courses, ICETC 2010-The 2010 International Conference on Education Technology and Computer, Shanghai, China,IEEE Press,  pp. V2-149-153, June 2010.

22. Saeed Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Rule-based Translation of Specifications  to Executable Code, IEEE-ICIME2010-2nd IEEE International Conference on Information Management and Engineering, Chengdu, China, IEEE Press,  pp. 1-4,April 2010.

21. Gholamreza Safi and Seyed-Hassan Mirian-Hosseinabadi, A New Approach to Self-Adaptive Software Systems based on Constructing a Group of Autonomic Elements, EASe2010-7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, Oxford, UK, IEEE Computer Society,  pp. 101-105, March 2010.

20. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, A Refinement Approach for Developing Probabilistic Programs, CSICC2009- The 14th International Computer Society of Iran Computer Conference ,Tehran, Iran, Computer Society of Iran,  pp. 140-145, Oct 2009.

19. Razieh Piri and Seyed-Hassan Mirian-Hosseinabadi, An Approach for Refining JML Specification To Object Oriented Code, CSICC2009- The 14th International Computer Society of Iran Computer Conference ,Tehran, Iran, Computer Society of Iran,  pp. 1-9, Oct 2009.

18. Zahra Aghakasiri and Seyed-Hassan Mirian-Hosseinabadi, Workflow Change Patterns: Opportunities for Extension and Reuse Workflow Change Patterns: Opportunities for Extension and Reuse, SERA2009-7th ACIS International Conference on Software Engineering Research, Management and Applications , Haikou, Hainan Island, China, Springer- Studies in Computational Intelligence, Volume 253/2009, 265-275, DOI: 10.1007/978-3-642-05441-9_23,  pp. 265-275, Dec 2009.

17. Amir Jahangard Refsanjani and Seyed-Hassan Mirian-Hosseinabadi, A Top Down Approach to Semi-structured Database Design, ICADIWT2009-The Second International Conference on the Applications of Digital Information and Web Technologies , London, UK, ,  pp. 26-31, Aug2009.

16. Nima Roohi, Gwen Salaün and Seyyed Hassan Mirian, Analyzing Chor Specifications by Translation into FSP, FOCLASA09-8th International Workshop on the Foundations of Coordination Languages and Software Architectures , Rhodes, Greece, ELSEVIER-Electronic Notes in Theoretical Computer Science(Volume 255),  pp. 159-176, July 2009.

15. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Towards a Constructive Framework for Developing Concurrent Programs, LPAR08- 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , Doha, Qatar, ,  pp. ?, Nov 2008.

14. Hassan Haghgighi, Seyed-Hassan Mirian-Hosseinabadi and Hamid Reza Anvari, Specifying Randomized Programs Using Constructive Z,LPAR08- 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , Doha, Qatar, ,  pp. ?, Nov 2008.

13. Amir Jahangard Refsanjani and Seyed-Hassan Mirian-Hosseinabadi,RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations, ISE2008-International Conference on Innovation in Software Engineering , Viena, Austria, ,  pp. 25-31, Dec 2008.

12. Naeem Esfahani, Seyed-Hassan Mirian-Hosseinabadi and Kamyar Rafati, Real-Time Analysis Process Patterns, CSICC2008- The 13th International Computer Society of Iran Computer Conference , Kish Island, Iran, Springer-Communications in Computer and Information Science, 2009, Volume 6, Part 2, 777-781, DOI: 10.1007/978-3-540-89985-3_101,  pp. 777-781, March 2008.

11. Hamid Bagheri,Vajih Montaghami, Gholamreza Safi and Seyed-Hassan Mirian-Hosseinabadi, An Evaluation Method for Aspectual Modeling of Distributed Software Architectures, AICCSA-08- The 6th ACS/IEEE International Conference on Computer Systems and Applications(Software Systems and Applications Track) , Doha, Qatar, , pp. ?, March 2008.

10. Hossein Keramati and Seyed-Hassan Mirian-Hosseinabadi, Integrating Software Development Security Activities with Agile Methodologies,AICCSA-08- The 6th ACS/IEEE International Conference on Computer Systems and Applications(Software Systems and Applications Track) ,Doha, Qatar, ,  pp. ?, March 2008.

9. Hamid Bagheri and Seyed-Hassan Mirian-Hosseinabadi, Injecting security as aspectable NFR into Software Architecture, APSEC07- 14th Asia-Pacific Software Engineering Conference , Nagoya, Japan, IEEE Computer Society- Conference Publishing Services,  pp. 310-317, Dec2007.

8. Hamid Bagheri, Hesam Chiniforooshan Esfahani and Seyed-Hassan Mirian-Hosseinabadi, An Aspect Enhanced Method of NFR Modeling in Software Architecture, ICIT 2007- 10th International Conference on Information Technology , Rourkela, India, ,  pp. ?, Dec 2007.

7. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi,Nondeterminism in Formal Development of Concurrent Programs: A Constructive Approach, LPAR06- 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning , Phnom Penh,Cambodia, ,  pp. ?, Nov 2006.

6. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Making Nondeterminism Explicit in Constructive Z, AWCVS-2006, 1st Asian Working Conference on Verified Software , Macao SAR, China, UNU-IIST(United Nations University International Institute for Software Technology) Report No. 348,  pp. 34-47, Oct 2006.

5. Hesam Chiniforooshan Esfahani and Seyed-Hassan Mirian-Hosseinabadi, A Scalable Agent-Based Workflow Management System for Business Process Management Environmen, Multi-Agent Systems And Software Architecture(MASSA06)- The Special Track at Net.ObjectDays ,Erfurt, Germany, ,  pp. 59-70, Sep 2006.

4. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Lofs Theory of Types, FSEN2005-The First IPM International Workshop on Foundations of Software Engineering , Tehran, Iran, ELSEVIER-Electronic Notes in Theoretical Computer Science(Volume 159),  pp.117-137, May 2006.

3. Mahdi Niamanesh, Seyed-Hassan Mirian-Hosseinabadi, Reza Zakeri, A Dynamic Reconfigurable Model for  Software Architecture using B-Method, First International Conference on Modeling, Simulation and Applied Optimization , Sharjeh, UAE, ,  pp. , Feb 2005.

2. Seyed-Hassan Mirian-Hosseinabadi and Arash Jalali, Multiple Promotion in Z, The First International EuroAsian Conference on Information and Communication Technology (EuroAsia ICT 2002) , Shiraz, Iran, ,  pp. 9-13, Oct 2002.

1. Seyed-Hassan Mirian-Hosseinabadi and Marjan Sirjani, A Calculus for Real-Time Specification Statements, The First International EuroAsian Conference on Information and Communication Technology (EuroAsia ICT 2002) , Shiraz, Iran, ,  pp. 15-19, Oct 2002.

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

Update Date: 92/04/09(June  2013)


National Conferences:

32. حسین کرامتی و سید حسن میریان حسین آبادی، افزودن ویژگی‌های امنیتی به فرآیند‌های چابک، سیزدهمين كنفرانس ملی انجمن كامپيوتر ايران،دانشگاه صنعتي شريف – پردیس کیش، جزیره کیش، ص ، اسفند 1386.

31. وجیه اله منتقمی و سید حسن میریان حسین آبادی، روشی برای مقایسه معماری های نرم افزار، سیزدهمين كنفرانس ملی انجمن كامپيوتر ايران، دانشگاه صنعتي شريف – پردیس کیش، جزیره کیش، ص ، اسفند 1386.

30. فاطمه اژه ای و سید حسن میریان حسین آبادی، ترجمه حلقه های تودرتو در پرس وجوهای XQuery به عبارتهای SQL، سیزدهمين كنفرانس انجمن كامپيوتر ايران-ملی، دانشگاه صنعتي شريف – پردیس کیش، جزیره کیش، ص ، اسفند1386.

29. غلامرضا صفی، سید حسن میریان حسین آبادی وعلی کمندی، ارائه يک زبان توصيف معماري جديد براي استفاده در روش هاي ارزيابي معماري نرم افزار،سیزدهمين كنفرانس ملی انجمن كامپيوتر ايران، دانشگاه صنعتي شريف – پردیس کیش، جزیره کیش، ص ، اسفند 1386.

28. بهناز چنگيزي و سيد حسن ميريان، از توصیف به زبان Z تا برنامه نمونه،پانزدهمين كنفرانس بين المللي مهندسي برق ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 271-277، ارديبهشت 1386.

27. ندا نوروزی و سيد حسن ميريان، يک زبان توصيف معماري براي سيستم هاي قابل بازپيکربندي پويا، دوازدهمين كنفرانس انجمن كامپيوتر ايران، دانشگاه شهيد بهشتي، تهران، ص 1084-1091، اسفند 1385.

26. حسن حقيقي و سيد حسن ميريان، Formal Development of Two Player Games: A Constructive Approach، دوازدهمين كنفرانس انجمن كامپيوتر ايران،دانشگاه شهيد بهشتي، تهران، ص 1672-1675، اسفند 1385.

25. سيد شبير فخرايي و سيد حسن ميريان، استخراج جنبه از مدل طراحي نرم افزار، دوازدهمين كنفرانس انجمن كامپيوتر ايران، دانشگاه شهيد بهشتي، تهران،ص 1120-1130، اسفند 1385.

24. حسام چيني فروشان، سيد حسن ميريان و امير رضا عبدالرشيدي، Process Agent: A Solution for Workflow Automation، دوازدهمين كنفرانس انجمن كامپيوتر ايران، دانشگاه شهيد بهشتي، تهران، ص 1661-1668، اسفند 1385.

23. حسن شجاعي مند و سيد حسن ميريان، مجتمع سازي داده ها در محيطP2P، چهاردهمين كنفرانس بين المللي مهندسي برق ايران، دانشگاه صنعتي اميرکبير، تهران، ص Computer-1878(1-7)، ارديبهشت 1385.

22. محمد مهدی جاقوری، سيد حسن ميريان و حمید شیخ ویسی، SEPID: The Simple Enhanced Process for Interactive Systems Development، یازدهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات فيزيک نظري و رياضيات، تهران، ص465-472، بهمن 1384.

21. ندا نوروزی، سيد حسن ميريان و حجت شیخ عطار، یک مدل معماری برای سیستم های قابل بازپیکربندی با استفاده از مولفه های پوشش دار، یازدهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات فيزيک نظري و رياضيات، تهران، ص419-425، بهمن 1384.

20. محمد صادق مکارم و سيد حسن ميريان، چهارچوبی برای مدل سازی و ارزیابی صوری ویژگی های معماری نرم افزار با تاکید بر ویژگی های کیفیتی،یازدهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات فيزيک نظري و رياضيات،تهران، ص 392-401، بهمن 1384.

19. امير جهانگرد رفسنجانی و سيد حسن ميريان، الگوریتم حافظ وابستگی های تابعی برای تبدیل شمای اکس-ام-ال به شمای رابطه ای، یازدهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات فيزيک نظري و رياضيات، تهران، ص 385-391،بهمن 1384.

18. مرتضي يوسف صنعتي و سيد حسن ميريان، زبان مدل سازي جريان گردش كار، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران،ص 579-587، بهمن 1383.

17. نيما دژكام و  سيد حسن ميريان، معرفي سيستم هاي ايي-آر-پي و روش ارزيابي و انتخاب آن براي سازمان ها، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 451-459، بهمن 1383.

16. سالار مصداقي نيا و سيد حسن ميريان، خط تطبيق: خط توليدي براي نرم افزار تطبيق پذير  در زمان اجرا، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 596-604، بهمن 1383.

15. امين روزبهاني و سيد حسن ميريان، روشي براي ارزيابي كيفي شماي پايگاه داده رابطه اي، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 571-578، بهمن 1383.

14. امين روزبهاني و سيد حسن ميريان، طراحي تكاملي شماي پايگاه داده رابطه اي با استفاده از ارزيابي كيفيت، دهمين كنفرانس انجمن كامپيوتر ايران،مرکز تحقيقات مخابرات ايران، تهران، ص 398-405، بهمن 1383.

13. عليرضا  روحي و سيد حسن ميريان، ارزيابي روش هاي تفكيك حالات و ارتقا در توصيف صوري نرم افزار- يك تجربه عملي، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 836-843، بهمن 1383.

12. حسن حقيقي و  سيد حسن ميريان، بررسي نحوه بيان گونه هاي مختلف عدم قطعيت در تئوري انواع مارتين لوف، دهمين كنفرانس انجمن كامپيوتر ايران،مرکز تحقيقات مخابرات ايران، تهران، ص 461-468، بهمن 1383.

11. حسن حقيقي و سيد حسن ميريان، رهيافتي به مساله عدم قطعيت در تئوري انواع مارتين لوف، دهمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 469-477، بهمن 1383.

10. سيد حسن ميريان و  حسن حقيقي، تبديل خودكار يك زبان پرس و جوي شي گرا به  يك زبان پرس و جوي رابطه اي، نهمين كنفرانس انجمن كامپيوتر ايران، دانشگاه صنعتي شريف، تهران، ص 388-398، بهمن 1382.

9. سيد حسن ميريان و سيد وحيد هاشميان، توصيف صوري سيستم هاي احتمالاتي در ‌‌Z، هشتمين كنفرانس انجمن كامپيوتر ايران، دانشگاه فردوسي،مشهد، ص 342-350، اسفند 1381.

8. مهدي آبادي و  سيد حسن ميريان، توصيف رسمي يك سيستم تشخيص نفوذ مبتني بر شبكه با استفاده از زبان توصيفZ، هشتمين كنفرانس انجمن كامپيوتر ايران، دانشگاه فردوسي، مشهد، ص 327-334، اسفند 1381.

7. سيد حسن ميريان و محمدرضا موسوي، عدم قطعيت در توصيف صوري مبتني بر تئوري مجموعه‌ها، هفتمين كنفرانس انجمن كامپيوتر ايران، مرکز تحقيقات مخابرات ايران، تهران، ص 257-264، اسفند 1380.

6. بهروز ترك لاداني و سيد حسن ميريان، توصيف صوري معناي پروتكل هاي رمزنگاري با استفاده از z، ششمين كنفرانس انجمن كامپيوتر ايران، دانشگاه اصفهان، اصفهان، ص 237-246، اسفند 1379.

5. سيد حسن ميريان و بهروز رحمتي، تبديل خودكار مدل شي گرا به پايگاه داده مدل رابطه اي، ششمين كنفرانس انجمن كامپيوتر ايران، دانشگاه اصفهان،اصفهان، ص 86-100، اسفند 1379.

4. كامبيز طغاني و سيد حسن ميريان، توسعه رسمي زبان مدل سازي UML،پنجمين كنفرانس انجمن كامپيوتر ايران، دانشگاه شهيد بهشتي، تهران، ص 355-362، اسفند 1378.

3. سيد حسن ميريان، A Constructive Approach to Set- theoretical Formal Specificutron، چهارمين كنفرانس انجمن كامپيوتر ايران، دانشگاه صنعتي شريف،تهران، ص 158-165، بهمن 1377.

2. سيد حسن ميريان، Explicit Pre and Post Condition in Z، چهارمين كنفرانس انجمن كامپيوتر ايران، دانشگاه صنعتي شريف، تهران، ص 46-54، بهمن 1377.

1. سيد حسن ميريان، Program Development from Formal Specification:( Z and the Refinement Calculus: Bridging the Gap)، دومين كنفرانس انجمن كامپيوتر ايران، دانشگاه صنعتي اميرکبير، تهران، ص 15-22، دي 1375.

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

Update Date: 92/04/09(June  2013)