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. "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
3. "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
4. "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
5. "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
6. "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
7. "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
8. "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
9. "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
10. "Reliable Restricted Process Theory"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FUNDAMENTA INFORMATICAE, Vol. 165, No 1, pp.1-41, 2019
11. "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
12. "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
13. "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
14. "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
15. "Model checking mobile ad hoc networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink
    FORMAL METHODS IN SYSTEM DESIGN, Vol. 48, pp.1-31, 2016
16. "Product Line Process Theory"
    Fatemeh Ghassemi Esfahani, Seyed Mohammad Reza Mousavi
    Journal of Logical and Algebraic Methods in Programming, Vol. 85, No 1, 2016
17. "Equational Reasoning on Mobile Ad Hoc Networks"
    Fatemeh Ghassemi Esfahani, Wan Fokkink , Ali Movaghar
    FUNDAMENTA INFORMATICAE, Vol. 105, No 4, pp.375-415, 2010
18. "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

Conference Paper

1. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   Fifth International ABS Workshop, 2023
2. "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
3. "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
4. "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
5. "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
6. "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
7. "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
8. "Reo Connectors and Components as Tagged Signal Models"
   Marjan Sirjani, Fatemeh Ghassemi Esfahani, Bahman Pourvatan
   It s All About Coordination, 2018
9. "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
10. "Purpose-based Policy Enforcement in Actor-based Systems"
    Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
    7th International Conference on Fundamentals of Software Engineering, 2017
11. "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
12. "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
13. "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
14. "Stochastic Restricted Broadcast Process Theory"
    Fatemeh Ghassemi Esfahani, Mahmoud Talebi , Ali Movaghar , Wan Fokkink
    8th European Performance Engineering Workshop-EPEW11, 2011