Fatemeh Ghassemi

55 papers B 4C 2Misc 1Journal 29Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Comprehensive Forecasting-Based Framework for Time Series Anomaly Detection: Benchmarking on the Numenta Anomaly Benchmark (NAB).
CoRR
Mohammad Karami, Mostafa Jalali, Fatemeh Ghassemi
2025 J jnl
Automated Repair of C Programs Using Large Language Models.
CoRR
Mahdi Farzandway, Fatemeh Ghassemi
2025 — conf
Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics.
Principles of Formal Quantitative Analysis
Ali Mehrani, Fatemeh Ghassemi, Marjan Sirjani, Farhad Arbab
2025 — conf
Extracting Formal Models for User's Behaviors in Social Networks Using Automata and Machine Learning.
FSEN
Negar Kashef, Fatemeh Ghassemi
2025 J jnl
OptiGradTrust: Byzantine-Robust Federated Learning with Multi-Feature Gradient Analysis and Reinforcement Learning-Based Trust Weighting.
CoRR
Mohammad Karami, Fatemeh Ghassemi, Hamed Kebriaei, Hamid Azadegan
2025 — conf
Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca.
Rebeca for Actor Analysis in Action
Zahra Moezkarimi, Fatemeh Ghassemi
2025 — conf
Ranch: Rebeca On Chip.
Rebeca for Actor Analysis in Action
Meyssam Rostamzadeh, Mahboubeh Samadi, Fatemeh Ghassemi, Hossein Hojjat
2025 J jnl
Reachability analysis of Hybrid Rebeca models.
J. Syst. Archit.
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2024 — ch.
Actors Upgraded for Variability, Adaptability, and Determinism.
Active Object Languages: Current Research Trends
Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani
2024 J jnl
An encrypted traffic classifier via combination of deep learning and automata learning.
Soft Comput.
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi
2024 J jnl
Decentralized deadlock-free enforcement of message orderings in message-based systems.
J. Comput. Syst. Sci.
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2024 J jnl
Efficient analysis of belief properties in process algebra.
J. Log. Algebraic Methods Program.
Zahra Moezkarimi, Fatemeh Ghassemi
2024 J jnl
Hybrid Rebeca Revisited.
CoRR
Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2024 J jnl
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model.
J. Univers. Comput. Sci.
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
2024 — conf
SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization.
AITest
Mahdi Farzandway, Fatemeh Ghassemi
2023 J jnl
Decentralized runtime verification of message sequences in message-based systems.
Acta Informatica
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2023 B conf
Mobile App Fingerprinting through Automata Learning and Machine Learning.
IFIP Networking
Fatemeh Marzani, Fatemeh Ghassemi, Zeynab Sabahi-Kaviani, Thijs van Ede, Maarten van Steen
2023 — conf
Transparent Actor Model.
FormaliSE
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
2022 J jnl
A policy-aware epistemic framework for social networks.
J. Log. Comput.
Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
2022 J jnl
Specification and Verification of Timing Properties in Interoperable Medical Systems.
Log. Methods Comput. Sci.
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2021 J jnl
An actor-based framework for asynchronous event-based cyber-physical systems.
Softw. Syst. Model.
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2020 — conf
Combining Machine and Automata Learning for Network Traffic Classification.
TTCS
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi
2020 B conf
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.
OPODIS
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2020 C conf
Formal Modeling and Analysis of Medical Systems.
COORDINATION
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
2020 J jnl
Specification and Verification of Timing Properties in Interoperable Medical Systems.
CoRR
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2019 J jnl
Behavioral model identification and classification of multi-component systems.
Sci. Comput. Program.
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi
2019 J jnl
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.
CoRR
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2019 C conf
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.
DS-RT
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
2019 J jnl
Reliable Restricted Process Theory.
Fundam. Informaticae
Fatemeh Ghassemi, Wan J. Fokkink
2019 J jnl
Verification of asynchronous systems with an unspecified component.
Acta Informatica
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
2018 J jnl
ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps.
CoRR
Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi
2018 — conf
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.
CyPhy/WESE
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2018 — conf
Reo Connectors and Components as Tagged Signal Models.
It's All About Coordination
Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
2017 J jnl
An Efficient Loop-free Version of ADOVv2.
CoRR
Behnaz Yousefi, Fatemeh Ghassemi
2017 J jnl
An adaptive sinkhole aware algorithm in wireless sensor networks.
Ad Hoc Networks
Ghazaleh Jahandoust, Fatemeh Ghassemi
2017 — conf
Automatic Transition System Model Identification for Network Applications from Packet Traces.
FSEN
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan
2017 J jnl
Modeling and efficient verification of wireless ad hoc networks.
Formal Aspects Comput.
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2017 — conf
Purpose-Based Policy Enforcement in Actor-Based Systems.
FSEN
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
2017 J jnl
Reliable Restricted Process Theory.
CoRR
Fatemeh Ghassemi, Wan J. Fokkink
2017 J jnl
Verification of Asynchronous Systems with an Unspecified Component.
CoRR
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
2016 J jnl
Model checking mobile ad hoc networks.
Formal Methods Syst. Des.
Fatemeh Ghassemi, Wan J. Fokkink
2016 J jnl
Modeling and Efficient Verification of Wireless Ad hoc Networks.
CoRR
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2016 J jnl
Product line process theory.
J. Log. Algebraic Methods Program.
Fatemeh Ghassemi, Mohammad Reza Mousavi
2015 — conf
Modeling and Efficient Verification of Broadcasting Actors.
FSEN
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2015 B conf
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic.
AINA
Mahdieh Ahmadi, Mohammed Gharib, Fatemeh Ghassemi, Ali Movaghar
2013 — conf
Model Checking MANETs with Arbitrary Mobility.
FSEN
Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar
2011 — conf
Stochastic Restricted Broadcast Process Theory.
EPEW
Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan J. Fokkink
2011 J jnl
Verification of mobile ad hoc networks: An algebraic approach.
Theor. Comput. Sci.
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010 J jnl
Equational Reasoning on Mobile Ad Hoc Networks.
Fundam. Informaticae
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2010 — conf
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.
ACSD
Fatemeh Ghassemi, Ali Movaghar, Wan J. Fokkink
2009 — conf
Equational Reasoning on Ad Hoc Networks.
FSEN
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2008 Misc conf
Modeling Routing Protocols in Adhoc Networks.
CSICC
Fatemeh Ghassemi, Ali Movaghar
2008 B conf
Restricted Broadcast Process Theory.
SEFM
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
2006 — conf
Specification and Implementation of Multi-Agent Organizations.
WEBIST (1)
Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani
2005 — conf
Automated Mapping of Reo Circuits to Constraint Automata.
FSEN
Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani