Fatemeh Ghassemi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Babak Sadeghiyan
8 publications
Ehsan Khamespanah
7 publications
Marjan Sirjani
5 publications
Ramtin Khosravi
3 publications
Ehsan Edalat
1 publication
Rosa Abbasi
1 publication
Mahsa Zarneshan
1 publication
John Hatcliff
1 publication

research

∙ 12/07/2020

Specification and Verification of Timing Properties in Interoperable Medical Systems

To support the dynamic composition of various devices/apps into a medica...

0 Mahsa Zarneshan, et al. ∙

research

∙ 11/26/2018

ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps

Android is a famous OS among users. Existing vulnerabilities in Android ...

0 Ehsan Edalat, et al. ∙

research

∙ 09/11/2017

Verification of Asynchronous Systems with an Unspecified Component

Component-based systems evolve as a new component is added or an existin...

0 Rosa Abbasi, et al. ∙

Success!

An error occurred