Fatemeh Ghassemi

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 31

Top Topics

Ad Hoc Networks

Behavioral Model

Wireless Sensor Networks

Top Venues

J. Log. Algebraic Methods Program.

Acta Informatica

Publications

Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. J. Univers. Comput. Sci. 30 (4) (2024)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144 (2024)
Zahra Moezkarimi, Fatemeh Ghassemi
Efficient analysis of belief properties in process algebra. J. Log. Algebraic Methods Program. 141 (2024)
Fatemeh Marzani, Fatemeh Ghassemi, Zeynab Sabahi-Kaviani, Thijs van Ede, Maarten van Steen
Mobile App Fingerprinting through Automata Learning and Machine Learning. IFIP Networking (2023)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60 (2) (2023)
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
Transparent Actor Model. FormaliSE (2023)
Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
A policy-aware epistemic framework for social networks. J. Log. Comput. 32 (6) (2022)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18 (2) (2022)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20 (3) (2021)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi
Combining Machine and Automata Learning for Network Traffic Classification. TTCS (2020)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR (2020)
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
Formal Modeling and Analysis of Medical Systems. COORDINATION (2020)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS (2020)
Fatemeh Ghassemi, Wan J. Fokkink
Reliable Restricted Process Theory. Fundam. Informaticae 165 (1) (2019)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi
Behavioral model identification and classification of multi-component systems. Sci. Comput. Program. 177 (2019)
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT (2019)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CoRR (2019)
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Verification of asynchronous systems with an unspecified component. Acta Informatica 56 (2) (2019)
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CyPhy/WESE (2018)
Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
Reo Connectors and Components as Tagged Signal Models. It's All About Coordination (2018)
Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi
ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps. CoRR (2018)
Ghazaleh Jahandoust, Fatemeh Ghassemi
An adaptive sinkhole aware algorithm in wireless sensor networks. Ad Hoc Networks 59 (2017)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan
Automatic Transition System Model Identification for Network Applications from Packet Traces. FSEN (2017)
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN (2017)
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Verification of Asynchronous Systems with an Unspecified Component. CoRR (2017)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. 29 (6) (2017)
Behnaz Yousefi, Fatemeh Ghassemi
An Efficient Loop-free Version of ADOVv2. CoRR (2017)
Fatemeh Ghassemi, Wan J. Fokkink
Reliable Restricted Process Theory. CoRR (2017)
Fatemeh Ghassemi, Wan J. Fokkink
Model checking mobile ad hoc networks. Formal Methods Syst. Des. 49 (3) (2016)
Fatemeh Ghassemi, Mohammad Reza Mousavi
Product line process theory. J. Log. Algebraic Methods Program. 85 (1) (2016)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR (2016)
Mahdieh Ahmadi, Mohammed Gharib, Fatemeh Ghassemi, Ali Movaghar
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. AINA (2015)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and Efficient Verification of Broadcasting Actors. FSEN (2015)
Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar
Model Checking MANETs with Arbitrary Mobility. FSEN (2013)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412 (28) (2011)
Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan J. Fokkink
Stochastic Restricted Broadcast Process Theory. EPEW (2011)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae 105 (4) (2010)
Fatemeh Ghassemi, Ali Movaghar, Wan J. Fokkink
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD (2010)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Equational Reasoning on Ad Hoc Networks. FSEN (2009)
Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar
Restricted Broadcast Process Theory. SEFM (2008)
Fatemeh Ghassemi, Ali Movaghar
Modeling Routing Protocols in Adhoc Networks. CSICC (2008)
Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
Automated Mapping of Reo Circuits to Constraint Automata. Electron. Notes Theor. Comput. Sci. 159 (2006)
Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani
Specification and Implementation of Multi-Agent Organizations. WEBIST (1) (2006)