Automated Mapping of Reo Circuits to Constraint Automata. - Fatemeh Ghassemi; Samira Tasharofi; Marjan Sirjani (FSEN, 2005)

Specification and Implementation of Multi-Agent Organizations. - Fatemeh Ghassemi; Naser Nematbakhsh; Behrouz Tork Ladani; Marjan Sirjani (WEBIST (1), 2006)

Modeling Routing Protocols in Adhoc Networks. - Fatemeh Ghassemi; Ali Movaghar 001 (CSICC, 2008)

Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (SEFM, 2008)

Equational Reasoning on Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2009)

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. - Fatemeh Ghassemi; Ali Movaghar 001; Wan J. Fokkink (ACSD, 2010)

Equational Reasoning on Mobile Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Fundam. Informaticae, 2010)

Stochastic Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Mahmoud Talebi; Ali Movaghar 001; Wan J. Fokkink (EPEW, 2011)

Verification of mobile ad hoc networks: An algebraic approach. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Theor. Comput. Sci., 2011)

Model Checking MANETs with Arbitrary Mobility. - Fatemeh Ghassemi; Saeide Ahmadi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2013)

Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. - Mahdieh Ahmadi; Mohammed Gharib; Fatemeh Ghassemi; Ali Movaghar 001 (AINA, 2015)

Modeling and Efficient Verification of Broadcasting Actors. - Behnaz Yousefi; Fatemeh Ghassemi; Ramtin Khosravi (FSEN, 2015)

Model checking mobile ad hoc networks. - Fatemeh Ghassemi; Wan J. Fokkink (Formal Methods Syst. Des., 2016)

Product line process theory. - Fatemeh Ghassemi; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2016)

Purpose-Based Policy Enforcement in Actor-Based Systems. - Shahrzad Riahi; Ramtin Khosravi; Fatemeh Ghassemi (FSEN, 2017)

Automatic Transition System Model Identification for Network Applications from Packet Traces. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi; Fateme Bajelan (FSEN, 2017)

An adaptive sinkhole aware algorithm in wireless sensor networks. - Ghazaleh Jahandoust; Fatemeh Ghassemi (Ad Hoc Networks, 2017)

An Efficient Loop-free Version of ADOVv2. - Behnaz Yousefi; Fatemeh Ghassemi (CoRR, 2017)

Modeling and efficient verification of wireless ad hoc networks. - Behnaz Yousefi; Fatemeh Ghassemi; Ramtin Khosravi (Formal Aspects Comput., 2017)

Reo Connectors and Components as Tagged Signal Models. - Marjan Sirjani; Fatemeh Ghassemi; Bahman Pourvatan (It's All About Coordination, 2018)

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. - Iman Jahandideh; Fatemeh Ghassemi; Marjan Sirjani (CyPhy/WESE, 2018)

ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps. - Ehsan Edalat; Babak Sadeghiyan; Fatemeh Ghassemi (CoRR, 2018)

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. - Marjan Sirjani; Ehsan Khamespanah; Fatemeh Ghassemi (DS-RT, 2019)

Verification of asynchronous systems with an unspecified component. - Rosa Abbasi; Fatemeh Ghassemi; Ramtin Khosravi (Acta Informatica, 2019)

Reliable Restricted Process Theory. - Fatemeh Ghassemi; Wan J. Fokkink (Fundam. Informaticae, 2019)

Behavioral model identification and classification of multi-component systems. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi (Sci. Comput. Program., 2019)

Formal Modeling and Analysis of Medical Systems. - Mahsa Zarneshan; Fatemeh Ghassemi; Marjan Sirjani (COORDINATION, 2020)

Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (OPODIS, 2020)

Combining Machine and Automata Learning for Network Traffic Classification. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi; Zahra Alimadadi (TTCS, 2020)

An actor-based framework for asynchronous event-based cyber-physical systems. - Iman Jahandideh; Fatemeh Ghassemi; Marjan Sirjani (Softw. Syst. Model., 2021)

Specification and Verification of Timing Properties in Interoperable Medical Systems. - Mahsa Zarneshan; Fatemeh Ghassemi; Ehsan Khamespanah; Marjan Sirjani; John Hatcliff (Log. Methods Comput. Sci., 2022)

A policy-aware epistemic framework for social networks. - Zahra Moezkarimi; Fatemeh Ghassemi; Mohammad Reza Mousavi 001 (J. Log. Comput., 2022)

Transparent Actor Model. - Fatemeh Ghassemi; Marjan Sirjani; Ehsan Khamespanah; Mahrokh Mirani; Hossein Hojjat (FormaliSE, 2023)

Mobile App Fingerprinting through Automata Learning and Machine Learning. - Fatemeh Marzani; Fatemeh Ghassemi; Zeynab Sabahi-Kaviani; Thijs van Ede; Maarten van Steen (IFIP Networking, 2023)

Decentralized runtime verification of message sequences in message-based systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (Acta Informatica, 2023)

Actors Upgraded for Variability, Adaptability, and Determinism. - Ramtin Khosravi; Ehsan Khamespanah; Fatemeh Ghassemi; Marjan Sirjani (Active Object Languages: Current Research Trends, 2024)

SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization. - Mahdi Farzandway; Fatemeh Ghassemi (AITest, 2024)

Hybrid Rebeca Revisited. - Saeed Zhiany; Fatemeh Ghassemi; Nesa Abbasimoghadam; Ali Hodaei; Ali Ataollahi; József Kovács; Erika Ábrahám; Marjan Sirjani (CoRR, 2024)

Decentralized deadlock-free enforcement of message orderings in message-based systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (J. Comput. Syst. Sci., 2024)

Efficient analysis of belief properties in process algebra. - Zahra Moezkarimi; Fatemeh Ghassemi (J. Log. Algebraic Methods Program., 2024)

Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. - Shahrzad Riahi; Ramtin Khosravi; Fatemeh Ghassemi (J. Univers. Comput. Sci., 2024)

An encrypted traffic classifier via combination of deep learning and automata learning. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi (Soft Comput., 2024)

Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca. - Zahra Moezkarimi; Fatemeh Ghassemi (Rebeca for Actor Analysis in Action, 2025)

Ranch: Rebeca On Chip. - Meyssam Rostamzadeh; Mahboubeh Samadi; Fatemeh Ghassemi; Hossein Hojjat (Rebeca for Actor Analysis in Action, 2025)

Extracting Formal Models for User's Behaviors in Social Networks Using Automata and Machine Learning. - Negar Kashef; Fatemeh Ghassemi (FSEN, 2025)

Reachability analysis of Hybrid Rebeca models. - Fatemeh Ghassemi; Saeed Zhiany; Nesa Abbasi; Ali Hodaei; Ali Ataollahi; József Kovács; Erika Ábrahám; Marjan Sirjani (J. Syst. Archit., 2025)

OptiGradTrust: Byzantine-Robust Federated Learning with Multi-Feature Gradient Analysis and Reinforcement Learning-Based Trust Weighting. - Mohammad Karami; Fatemeh Ghassemi; Hamed Kebriaei; Hamid Azadegan (CoRR, 2025)