مقالات علمی چاپ شده در مجلات

1. "Learning deterministic and probabilistic automata for formal modeling of user behaviors in social networks"
   Negar Kashef, Fatemeh Ghassemi Esfahani
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 254, 2026
2. "Byzantine robust federated learning for heterogeneous brain MRI using multisignal gradient fingerprinting and adaptive trust aggregation"
   Mohammad karami, Hamed Kebriaei, Fatemeh Ghassemi Esfahani, Hamid Azadegan
   Scientific Reports, Vol. 16, No 1, 2026
3. "Aresearch agenda for active automata learning"
   Sophie Fortz, Fatemeh Ghassemi Esfahani, Leo Henry, Falk Howar, Thomas Neele, Jurriaan Rot, Marnix Suilen
   International Journal on Software Tools for Technology Transfer, Vol. -, 2026
4. "Reachability analysis of Hybrid Rebeca models"
   Fatemeh Ghassemi Esfahani, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, Jozsef Kovacs, Erika Abraham, Marjan Sirjani
   JOURNAL OF SYSTEMS ARCHITECTURE, Vol. 167, 2025
5. "An Encrypted Traffic Classifier via Combination of Deep Learning and Automata Learning"
   Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani
   soft computing, Vol. 28, pp.13443-13460, 2024
6. "Efficient analysis of belief properties in process algebra"
   Zahra Moezkarimi, Fatemeh Ghassemi Esfahani
   Journal of Logical and Algebraic Methods in Programming, Vol. 141, 2024
7. "Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model"
   Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
   JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 30, No 4, pp.462-501, 2024
8. "Decentralized deadlock-free enforcement of message orderings in message-based systems"
   Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   JOURNAL OF COMPUTER AND SYSTEM SCIENCES, Vol. 144, No 1, 2024
9. "Decentralized runtime verification of message sequences in message-based systems"
   Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   ACTA INFORMATICA, Vol. 60, No 2, pp.145-178, 2022
10. "Specification and Verification of Timing Properties in Interoperable Medical Systems"
    Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, Ehsan Khamespanah, Marjan Sirjani, John Hotcliff
    LOGICAL METHODS IN COMPUTER SCIENCE, Vol. 18, No 2, 2022
11. "A Policy-Aware Epistemic Framework for Social Networks"
    Zahra Moezkarimi, Fatemeh Ghassemi Esfahani, Mohammad Reza Mousavi
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 1, No 1, pp.1-38, 2022
12. "An actor-based framework for asynchronous event-based cyber-physical systems"
    Iman Jahandideh, Fatemeh Ghassemi Esfahani, Marjan Sirjani
    SOFTWARE AND SYSTEMS MODELING, Vol. 1, No 1, 2021
13. "Behavioral model identification and classification of multi-component systems"
    Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani
    SCIENCE OF COMPUTER PROGRAMMING, Vol. 177, No 1, pp.41-66, 2019
14. "RUbIn: A Framework for Reliable and Ubiquitous Inference in WSNs"
    Abolhassan Shamsaie, Jafar Habibi, Erfan Abdi, Fatemeh Ghassemi Esfahani
    Scientia Iranica, Vol. 26-27, No 1, pp.1-22, 2019
15. "Reliable Restricted Process Theory"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FUNDAMENTA INFORMATICAE, Vol. 165, No 1, pp.1-41, 2019
16. "Verification of Mobile Ad hoc Network Processes with Data"
    Fatemeh Ghassemi Esfahani
    The CSI Journal on Computer Science and Engineeringn, Vol. 15, No 2, pp.44-52, 2018
17. "Verification of asynchronous systems with an unspecified component"
    Rosa Abbasi Boroujeni, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    ACTA INFORMATICA, Vol. 56, No 1, pp.1-43, 2018
18. "An adaptive sinkhole aware algorithm in wireless sensor networks"
    Ghazaleh Jahandoust, Fatemeh Ghassemi Esfahani
    Ad Hoc Networks, Vol. 59, No 1, pp.24-34, 2017
19. "Modeling and efficient verification of wireless ad hoc networks"
    Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    FORMAL ASPECTS OF COMPUTING, Vol. 30, No 2, pp.1-36, 2017
20. "Model checking mobile ad hoc networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FORMAL METHODS IN SYSTEM DESIGN, Vol. 48, pp.1-31, 2016
21. "Product Line Process Theory"
    Fatemeh Ghassemi Esfahani, Seyed Mohammad Reza Mousavi
    Journal of Logical and Algebraic Methods in Programming, Vol. 85, No 1, 2016
22. "Verification of mobile ad hoc networks: An algebraic approach"
    Fatemeh Ghassemi Esfahani, Wan Fokkink, Ali Movaghar
    Theoretical Computer Science, Vol. 412, No 28, pp.3262-3282, 2011
23. "Equational Reasoning on Mobile Ad Hoc Networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink , Ali Movaghar
    FUNDAMENTA INFORMATICAE, Vol. 105, No 4, pp.375-415, 2010
24. "Formal Modeling Routing Protocols in Mobile Ad-hoc Networks"
    Fatemeh Ghassemi Esfahani, Ali Movaghar
    The CSI Journal on Computer Science and Engineeringn, Vol. 5, No 24, pp.46-55, 2008
25. "تشخیص همسانی برنامه های تحت شبکه با استفاده از یادگیری فعال"
    علی محمدی، فاطمه قاسمی اصفهانی
    علوم رایانش و فناوری اطلاعات، نسخه 21، شماره 1، 1402

مقالات علمی ارائه شده در همایش‌ها

1. "Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics"
   Ali Mehrani, Fatemeh Ghassemi Esfahani, Marjan Sirjani, Farhd Arbab
   International Colloquium on Principles of Formal Quantitative Analysis, 2025
2. "Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca"
   Zahra Moezkarimi, Fatemeh Ghassemi Esfahani
   Rebeca for Actor Analysis in Action, 2025
3. "Extracting Formal Models for User’s Behaviors in Social Networks Using Automata and Machine Learning"
   Negar Kashef, Fatemeh Ghassemi Esfahani
   International Conference on Fundamentals of Software Engineering, 2025
4. "FLGuard: Robust Federated Learning Using Dual Attention and Gradient Reconstruction"
   Mohammad Karami, Fatemeh Ghassemi Esfahani, Hamed Kebriaei, Hamid Azadegan
   2025 International Conference for Artificial Intelligence, Applications, Innovation and Ethics (AI2E), 2025
5. "Estimating Energy Wastage in Embedded Systems Using Model Checking of Timed Automata"
   Peyman Shabani, Fatemeh Ghassemi Esfahani, Mehdi Kargahi
   CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory), 2024
6. "SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization"
   Mahdi Farzandway, Fatemeh Ghassemi Esfahani
   The 6th IEEE International Conference on Artificial Intelligence Testing, 2024
7. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   Fifth International ABS Workshop, 2023
8. "Mobile App Fingerprinting through Automata Learning and Machine Learning"
   Fateme Marzani, Fatemeh Ghassemi Esfahani, Zeynab Sabahi Kaviani, Thijs van Ede, Maarten van Steen
   2023 IFIP International Conference on Networking Conference (IFIP Networking), 2023
9. "Transparent Actor Model"
   Fatemeh Ghassemi Esfahani, Marjan Sirjani, Ehsan Khamespanah, mahrokh Mirani, Hosein Hojat
   2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
10. "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems"
    Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    24th International Conference on Principles of Distributed Systems, 2020
11. "Combining Machine and Automata Learning for Network Traffic Classification"
    Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani, Zahra Alimadadi
    The Third IFIP International Conference on Topics in Theoretical Computer Science, 2020
12. "Formal Modeling and Analysis of Medical Systems"
    Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, Marjan Sirjani
    22nd International Conference on Coordination Models and Languages, 2020
13. "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems"
    Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani
    2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2019
14. "Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems"
    Iman Jahandideh, Fatemeh Ghassemi Esfahani, Marjan Sirjani
    8th International Workshop on Model-Based Design of Cyber Physical Systems (cyphy2018), 2018
15. "Reo Connectors and Components as Tagged Signal Models"
    Marjan Sirjani, Fatemeh Ghassemi Esfahani, Bahman Pourvatan
    It s All About Coordination, 2018
16. "Purpose-based Policy Enforcement in Actor-based Systems"
    Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
    7th International Conference on Fundamentals of Software Engineering, 2017
17. "Automatic Transition System Model Identifications for Network Applications from Packet Traces"
    Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani, Fateme Bajelan
    7th International Conference on Fundamentals of Software Engineering, 2017
18. "Modeling and Efficient Verification of Broadcasting Actors"
    Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    6 international on Fundamentals of Software Engineering 2015, 2015
19. "Probabilistic Key Pre-distribution for Heterogeneous Mobile Ad hoc Networks Using Subjective Logic"
    Mahdieh Ahmadi, Mohammed Gharib, Fatemeh Ghassemi Esfahani, Ali Movaghar
    The 29th IEEE International Conference on Advanced Information Networking and Applications, 2015
20. "An Analysis of Vendor Lock-in Problem in Cloud Storage"
    Majid Razavian, Hadi Khani, Naser Yazdani, Fatemeh Ghassemi Esfahani
    International Conference on Computer and Knowledge Eng. 2013, 2013
21. "Model checking MANETs with arbitrary mobility"
    Fatemeh Ghassemi Esfahani, Saeideh Ahmadi, Wan Fokkink , Ali Movaghar
    5th International Conference on Fundamentals of Software Engineering-FSEN13, 2013
22. "ارتقاء کیفیت خدمات سلامت در مناطق روستایی و کمتر توسعه یافته با رویکرد سیستمهای سایبرفیزیکی"
    فتانه تقی یاره، احمد خونساری، آزاده شاکری، مهدی کارگهی، فاطمه قاسمی اصفهانی، سیامک محمدی
    همایش ملی خدمات عمومی الزامی ICT در مناطق روستایی و کمتر توسعه یافته، 1395