![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Fatemeh Ghassemi
Person information
- affiliation: University of Tehran, Iran
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Mahboubeh Samadi, Fatemeh Ghassemi
, Ramtin Khosravi:
Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144: 103544 (2024) - [j15]Zahra Moezkarimi, Fatemeh Ghassemi
:
Efficient analysis of belief properties in process algebra. J. Log. Algebraic Methods Program. 141: 101001 (2024) - [j14]Shahrzad Riahi
, Ramtin Khosravi
, Fatemeh Ghassemi
:
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. J. Univers. Comput. Sci. 30(4): 462-501 (2024) - [p1]Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260 - 2023
- [j13]Mahboubeh Samadi, Fatemeh Ghassemi
, Ramtin Khosravi:
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60(2): 145-178 (2023) - [c20]Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat:
Transparent Actor Model. FormaliSE 2023: 97-107 - [c19]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: 1-9 - 2022
- [j12]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) - [j11]Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi:
A policy-aware epistemic framework for social networks. J. Log. Comput. 32(6): 1234-1271 (2022) - 2021
- [j10]Iman Jahandideh, Fatemeh Ghassemi
, Marjan Sirjani:
An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3): 641-665 (2021) - 2020
- [c18]Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani:
Formal Modeling and Analysis of Medical Systems. COORDINATION 2020: 386-402 - [c17]Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS 2020: 21:1-21:18 - [c16]Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi:
Combining Machine and Automata Learning for Network Traffic Classification. TTCS 2020: 17-31 - [i7]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR abs/2012.04025 (2020)
2010 – 2019
- 2019
- [j9]Rosa Abbasi
, Fatemeh Ghassemi, Ramtin Khosravi:
Verification of asynchronous systems with an unspecified component. Acta Informatica 56(2): 161-203 (2019) - [j8]Fatemeh Ghassemi, Wan J. Fokkink
:
Reliable Restricted Process Theory. Fundam. Informaticae 165(1): 1-41 (2019) - [j7]Zeynab Sabahi-Kaviani, Fatemeh Ghassemi:
Behavioral model identification and classification of multi-component systems. Sci. Comput. Program. 177: 41-66 (2019) - [c15]Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi:
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT 2019: 1-10 - [i6]Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CoRR abs/1901.02597 (2019) - 2018
- [c14]Marjan Sirjani
, Fatemeh Ghassemi, Bahman Pourvatan:
Reo Connectors and Components as Tagged Signal Models. It's All About Coordination 2018: 160-173 - [c13]Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CyPhy/WESE 2018: 3-27 - [i5]Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi:
ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps. CoRR abs/1811.10448 (2018) - 2017
- [j6]Ghazaleh Jahandoust, Fatemeh Ghassemi:
An adaptive sinkhole aware algorithm in wireless sensor networks. Ad Hoc Networks 59: 24-34 (2017) - [j5]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. 29(6): 1051-1086 (2017) - [c12]Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi:
Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN 2017: 196-211 - [c11]Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan:
Automatic Transition System Model Identification for Network Applications from Packet Traces. FSEN 2017: 212-227 - [i4]Fatemeh Ghassemi, Wan J. Fokkink:
Reliable Restricted Process Theory. CoRR abs/1705.02600 (2017) - [i3]Behnaz Yousefi, Fatemeh Ghassemi:
An Efficient Loop-free Version of ADOVv2. CoRR abs/1709.01786 (2017) - [i2]Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi:
Verification of Asynchronous Systems with an Unspecified Component. CoRR abs/1709.03245 (2017) - 2016
- [j4]Fatemeh Ghassemi, Wan J. Fokkink
:
Model checking mobile ad hoc networks. Formal Methods Syst. Des. 49(3): 159-189 (2016) - [j3]Fatemeh Ghassemi, Mohammad Reza Mousavi:
Product line process theory. J. Log. Algebraic Methods Program. 85(1): 200-226 (2016) - [i1]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR abs/1604.07179 (2016) - 2015
- [c10]Mahdieh Ahmadi, Mohammed Gharib
, Fatemeh Ghassemi, Ali Movaghar
:
Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic. AINA 2015: 185-192 - [c9]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Broadcasting Actors. FSEN 2015: 69-83 - 2013
- [c8]Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink
, Ali Movaghar
:
Model Checking MANETs with Arbitrary Mobility. FSEN 2013: 217-232 - 2011
- [j2]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412(28): 3262-3282 (2011) - [c7]Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar
, Wan J. Fokkink
:
Stochastic Restricted Broadcast Process Theory. EPEW 2011: 72-86 - 2010
- [j1]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae 105(4): 375-415 (2010) - [c6]Fatemeh Ghassemi, Ali Movaghar
, Wan J. Fokkink
:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD 2010: 85-92
2000 – 2009
- 2009
- [c5]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Ad Hoc Networks. FSEN 2009: 113-128 - 2008
- [c4]Fatemeh Ghassemi, Ali Movaghar
:
Modeling Routing Protocols in Adhoc Networks. CSICC 2008: 419-426 - [c3]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Restricted Broadcast Process Theory. SEFM 2008: 345-354 - 2006
- [c2]Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani:
Specification and Implementation of Multi-Agent Organizations. WEBIST (1) 2006: 447-453 - 2005
- [c1]Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani:
Automated Mapping of Reo Circuits to Constraint Automata. FSEN 2005: 99-115
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint