Seyed-Hassan Mirian-Hosseinabadi - سیدحسن میریان‌حسین‌آبادی

Publications

International Journal Papers

28. Zohreh Mafi, Seyed-Hassan Mirian-Hosseinabadi, Regression test selection in test driven development, Automated Software Engineering, ?, ?, Springer, Vol. 31, No. a9, pp. ?, Dec. 2023.

27. Elaheh Habibi, Seyed-Hassan Mirian-Hosseinabadi, Sharif-TaaWS: a tool to automate unit testing of web services, Automated Software Engineering, ?, ?, Springer, Vol. 30, No. 1, pp. 1-30, March 2023.

26. Mehran Rivadeh, Seyed-Hassan Mirian-Hosseinabadi, Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application, Software and Systems Modeling, ?, ?, Springer, Vol. 22, No. , pp. 941-968, Nov 2022.

25. Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh, Test case prioritization using test case diversification and fault-proneness estimations, Automated Software Engineering, ?, ?, Springer, Vol. 29, No. 2, pp. 1-43, Aug 2022.

24. Elaheh Habibi, Seyed-Hassan Mirian-Hosseinabadi, Generating test as a web service (TaaWS) through a method-based attribute grammar, International Journal on Software Tools for Technology Transfer, ?, ?, Springer, Vol. 24, No. ?, pp. 511-527, March 2022.

23. Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, An ensemble-based predictive mutation testing approach that considers impact of unreached mutants, Software Testing, Verification and Reliability, Amsterdam, Holand, Elsevier, Vol. 31, No. 7, pp. 106426, Nov. 2021.

22. Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali, Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 129, No. , pp. 106426, Jan 2021.

21. Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali, Incorporating fault-proneness estimations into coverage-based test case prioritization methods, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 121, No. , pp. 106269, May 2020.

20. Mohammad Tanhaei, Jafar Habibi and Seyed-Hassan Mirian-Hosseinabadi, Automating feature Model Refactoring: A Model Transformation Approach, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 80, No. , pp. 138-157, Dec. 2016.

19. Mohammad Tanhaei, Jafar Habibi and Seyed-Hassan Mirian-Hosseinabadi, A Feature Model Based Framework for Refactoring Software Product Line Architecture, Journal of Computer Science and Technology, New York, USA, Springer, Vol. 31, No. 5, pp. 951-986, Sept 2016.

18. Maryam Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, A Model Driven Regression Testing Pattern for Enhancing Agile Release Management, International Journal of Computer Science and Information Security, SEOUL, SOUTH KOREA, , Vol. 14, No. 3, pp. , March 2016.

17. Maryam Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, Delta-based regression testing: a formal framework towards model-driven regression testing, Journal of Software: Evolution and Process, CHICHESTER, WEST SUSSEX, UK, John Wiley & Sons, Vol. 27, No. 12, pp. 913-952, Dec. 2015.

16. Elahe Habibi and Seyed-Hassan Mirian-Hosseinabadi, Event-Driven Web Application Testing Based on Model-Based Mutation Testing, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 67, No. 1, pp. 159-179, Nov 2015.

15. Hossein Keramati and Seyed-Hassan Mirian-Hosseinabadi, Generating semantically valid test inputs using constrained input grammars, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 57, No. 1, pp. 204-216, Jan 2015.

14. Amir Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, Lightweight formalization and validation of ORM models, Journal of Logic and Algebraic methods in Programming, ?, ?, Elsevier, Vol. 84, No. 1, pp. 534-549, 6,March 2015.

13. Amir Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, A model-driven approach to semi-structured database design, Frontiers of Computer Science, ?, ?, Springer, Vol. 9, No. 2, pp. 237-252, Nov 2015.

12. Shohreh Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, On Formalization of Extended Feature Model Using Promotion Technique in Z, Indian Journal of Science and technology, ?, ?, Indian Society for Education and Environment., Vol. 8, No. 17, pp. 42018, Aug 2015.

11. Shohreh Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, Automatic promotional specialization, generalization and analysis of Extended Feature Models with Cardinalities in Alloy, Journal of Logic and Algebraic methods in Programming, ?, ?, Elsevier, Vol. 84, No. 5, pp. 640-667, Sept 2015.

10. Hossein Keramati and Seyed-Hassan Mirian-Hosseinabadi, Effectiveness of control flow test coverage criteria using mutation analysis: An experimental study, Scientific Research and Essays, Nirobi, Nirobi, Academic Journals, Vol. 7, No. 45, pp. 3848-3859, Nov 2012.

9. Saeed Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Translation of Z Specifications to Executable Code: Application to the Database Domain, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 55, No. 6, pp. 1017-1044, June 2013.

8. Alireza Sadeghi and Seyed-Hassan Mirian-Hosseinabadi, MBTDD: Model Based Test Driven Development, International Journal of Software Engineering and Knowledge Engineering, Singapore, Singapore, World Scientiﬁc Publishing Company, Vol. 22, No. 8, pp. 1085-1102, Dec. 2012.

7. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Towards a Calculus for Nondeterministic Schemas in Z, International Journal of Software Engineering and Knowledge Engineering, Singapore, Singapore, World Scientiﬁc Publishing Company, Vol. 22, No. 6, pp. 839-865, Sept 2012.

6. Somayeh Madadpour, Seyed-Hassan Mirian-Hosseinabadi and Vahdat Abdelzad, Testing Aspect-Oriented Programs with UML Activity Diagrams, International Journal of Computer Applications, NY, USA, Foundation of Computer Science, Vol. 33, No. 8, pp. 4-11, Nov 2011.

5. Marzieh Esna-Ashari, Hamid Reza Rabiee and Seyed-Hassan Mirian-Hosseinabadi, Reliability of Separation of Duty in ANSI Standard Role Based Access Control, Scientia Iranica, Tehran, Iran, Sharif University of Technology, Vol. 18, No. 6, pp. 1416-1424, Nov 2011.

4. Seyed Mohammad Taghi Rouhani Rankohi and Seyed-Hassan Mirian-Hosseinabadi, A New Category of Relations: Combinationally Constrained Relations, Scientia Iranica, Tehran, Iran, Sharif University of Technology, Vol. 16, No. 1, pp. 34-52, June 2009.

3. Behnaz Changizi and Seyed-Hassan Mirian-Hosseinabadi, On the Correctness of A Translation Map Between Specifications In Z And Setl2 Prototype, International Journal of Information & Communication Technology, Tehran, Iran, Ministry of ICT- ITRC, Vol. 1, No. 2, pp. 21-27, May 2009.

2. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Nondeterminism in Constructive Z, Fundamenta Informaticae, Amsterdam, The Netherlands, IOS Press, Vol. 88, No. 1-2, pp. 109-134, Dec. 2008.

1. Mirian-Hosseinabadi, S.-H. and Turner, R., Constructive Z, Journal of Logic and Computation, Oxford, UK, Oxford University Press, Vol. 8, No. 1, pp. 49-70, Feb 1998.

Update Date: 1403/01/01(March 2024), Create Date: 1380/12/27(March 2003)

International Conference Papers

31. Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi, On-demand Test as a Web Service Process (OTaaWS Process), 7th International Conference on Web Research , Tehran, Iran, , pp. , May 2021.

30. Khashayar Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Program State Coverage: A Test Coverage Metric Based on Executed Program States, 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER) , Hangzhou, China, IEEE Press, pp. 584-588, Feb 2019.

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. ?, July 2010.

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, Aug 2009.

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, Dec 2007.

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.

Update Date: 1403/01/01(March 2024), Create Date: 1380/12/27(March 2003)

National Journal Papers

4. زهره مافی- سید حسن میریان، انتخاب موارد آزمون مبتنی بر روش تولید آزمون رانه، انجمن فناوری اطلاعات و ارتباطات ایران، ، جلد 56، شماره ، ص ، .

3. مرتضی یوسف صنعتی و سيد حسن ميريان، موتور مولد گردش کار SWEG، انجمن کامپيوتر ايران-نشريه علمي پژوهشي، ، جلد 1389، شماره 8، ص 26-36، ؟1389.

2. امين روزبهاني و سيد حسن ميريان، طراحي تكاملي شماي پايگاه داده رابطه اي بر پايه اندازه گيري نرم افزار، انجمن کامپيوتر ايران-نشريه علمي پژوهشي، ، جلد 4، شماره 1 (الف)، ص 18-24، اسفند1385.

1. سيد حسن ميريان و آرش جلالي قمبواني، محيطي براي توليد برنامه از توصيف صوري، دانشگاه صنعتي شريف معاونت پژوهشي، ، جلد 19، شماره 25، ص 42-53، پاییز و زمستان1381.

Create Date: 1380/12/27(March 2003، Update Date: 1403/01/01(March 2024

National Conference Papers

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.

Update Date: 1403/01/01(March 2024), Create Date: 1380/12/27(March 2003)