3 citations · 6 across the 4 of their papers we have counts for
9 papers
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
Ali Ataollahi, Fatemeh Ghassemi, Eduard Kamburjan +1
Tiny twins are compact behavioral models derived from timed actor models for selected observable messages. When a source model evolves, regenerating its tiny twin requires state-sp…
Hybrid Rebeca Revisited
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam +5
Hybrid Rebeca is a modeling framework for asynchronous event-based cyber-physical systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non-deterministic t…
Specification and Verification of Timing Properties in Interoperable Medical Systems
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah +2
To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices ha…
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational…
ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps
Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi
In this paper, we present a concolic execution technique for detecting SQL injection vulnerabilities in Android apps, with a new tool we called ConsiDroid. We extend the source cod…
An Efficient Loop-free Version of AODVv2
Behnaz Yousefi, Fatemeh Ghassemi
Ad hoc On Demand distance Vector (AODV) routing protocol is one of the most prominent routing protocol used in Mobile Ad-hoc Networks (MANETs). Due to the mobility of nodes, there…
Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its sa…
Reliable Restricted Process Theory
Fatemeh Ghassemi, Wan Fokkink
Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by…
Modeling and Efficient Verification of Wireless Ad hoc Networks
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very fast as they make communication easier and more available. However, their protocols tend t…