• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 53 matches

• 2024
• 
  Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
  Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144: 103544 (2024)
• 
  Zahra Moezkarimi, Fatemeh Ghassemi:
  Efficient analysis of belief properties in process algebra. J. Log. Algebraic Methods Program. 141: 101001 (2024)
• 
  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)
• 
  Zeynab Sabahi-Kaviani, Fatemeh Ghassemi:
  An encrypted traffic classifier via combination of deep learning and automata learning. Soft Comput. 28(23): 13443-13460 (2024)
• 
  Mahdi Farzandway, Fatemeh Ghassemi:
  SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization. AITest 2024: 81-86
• 
  Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
  Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260
• 
  Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani:
  Hybrid Rebeca Revisited. CoRR abs/2411.03160 (2024)
• 2023
• 
  Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
  Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60(2): 145-178 (2023)
• 
  Sheida Ansarinasab, Fatemeh Parastesh, Farnaz Ghassemi, Karthikeyan Rajagopal, Sajad Jafari, Dibakar Ghosh:
  Synchronization in functional brain networks of children suffering from ADHD based on Hindmarsh-Rose neuronal model. Comput. Biol. Medicine 152: 106461 (2023)
• 
  Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat:
  Transparent Actor Model. FormaliSE 2023: 97-107
• 
  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
• 
  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)
• 
  Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi:
  A policy-aware epistemic framework for social networks. J. Log. Comput. 32(6): 1234-1271 (2022)
• 2021
• 
  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
• 
  Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani:
  Formal Modeling and Analysis of Medical Systems. COORDINATION 2020: 386-402
• 
  Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
  Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS 2020: 21:1-21:18
• 
  Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi:
  Combining Machine and Automata Learning for Network Traffic Classification. TTCS 2020: 17-31
• 
  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)
• 2019
• 
  Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi:
  Verification of asynchronous systems with an unspecified component. Acta Informatica 56(2): 161-203 (2019)
• 
  Fatemeh Ghassemi, Wan J. Fokkink:
  Reliable Restricted Process Theory. Fundam. Informaticae 165(1): 1-41 (2019)
• 
  Zeynab Sabahi-Kaviani, Fatemeh Ghassemi:
  Behavioral model identification and classification of multi-component systems. Sci. Comput. Program. 177: 41-66 (2019)
• 
  Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi:
  Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT 2019: 1-10
• 
  Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
  Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CoRR abs/1901.02597 (2019)
• 2018
• 
  Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan:
  Reo Connectors and Components as Tagged Signal Models. It's All About Coordination 2018: 160-173
• 
  Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
  Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. CyPhy/WESE 2018: 3-27
• 
  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
• 
  Ghazaleh Jahandoust, Fatemeh Ghassemi:
  An adaptive sinkhole aware algorithm in wireless sensor networks. Ad Hoc Networks 59: 24-34 (2017)
• 
  Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
  Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. 29(6): 1051-1086 (2017)
• 
  Fatemeh Kowkabi, Hassan Ghassemian, Ahmad Keshavarz:
  Hybrid Preprocessing Algorithm for Endmember Extraction Using Clustering, Over-Segmentation, and Local Entropy Criterion. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 10(6): 2940-2949 (2017)
• 
  Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi:
  Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN 2017: 196-211

skipping 23 more matches