Journal Paper

1. "An Encrypted Traffic Classifier via Combination of Deep Learning and Automata Learning"
   Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani
   soft computing, Vol. 29, No 11, 2024
2. "Efficient analysis of belief properties in process algebra"
   Zahra Moezkarimi, Fatemeh Ghassemi Esfahani
   Journal of Logical and Algebraic Methods in Programming, Vol. 141, 2024
3. "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
4. "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
5. "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
6. "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
7. "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
8. "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
9. "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
10. "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
11. "Reliable Restricted Process Theory"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FUNDAMENTA INFORMATICAE, Vol. 165, No 1, pp.1-41, 2019
12. "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
13. "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
14. "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
15. "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
16. "Model checking mobile ad hoc networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FORMAL METHODS IN SYSTEM DESIGN, Vol. 48, pp.1-31, 2016
17. "Product Line Process Theory"
    Fatemeh Ghassemi Esfahani, Seyed Mohammad Reza Mousavi
    Journal of Logical and Algebraic Methods in Programming, Vol. 85, No 1, 2016
18. "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
19. "Equational Reasoning on Mobile Ad Hoc Networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink , Ali Movaghar
    FUNDAMENTA INFORMATICAE, Vol. 105, No 4, pp.375-415, 2010
20. "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
21. "Similarity of Network Applications Using Active Learning"
    Ali Mohammadi, Fatemeh Ghassemi Esfahani
    The CSI Journal on Computing Science and Information Technology, Vol. 21, No 1, 2023

Conference Paper

1. "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
2. "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
3. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   Fifth International ABS Workshop, 2023
4. "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
5. "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
6. "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
7. "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
8. "Formal Modeling and Analysis of Medical Systems"
   Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   22nd International Conference on Coordination Models and Languages, 2020
9. "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
10. "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
11. "Reo Connectors and Components as Tagged Signal Models"
    Marjan Sirjani, Fatemeh Ghassemi Esfahani, Bahman Pourvatan
    It s All About Coordination, 2018
12. "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
13. "Purpose-based Policy Enforcement in Actor-based Systems"
    Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
    7th International Conference on Fundamentals of Software Engineering, 2017
14. "Modeling and Efficient Verification of Broadcasting Actors"
    Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    6 international on Fundamentals of Software Engineering 2015, 2015
15. "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
16. "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
17. "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
18. "Promotion e-Health Services for Rural and Less Developed Regions through Cyber Physical Systems (CPS)"
    Fattaneh Taghiyareh, Ahmad Khonsari, Azadeh Shakery, Mehdi Kargahi, Fatemeh Ghassemi Esfahani, Siamak Mohammadi
    The First National Conference on Universal Service Obligation (USO) for ICT in Rural and Less Developed Regions, 2016