Sahar Mohajerani | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Stephane Lafortune
3 publications
Yiding Ji
1 publication

research

∙ 10/01/2019

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement

This paper develops a novel compositional and abstraction-based approach...

0 Sahar Mohajerani, et al. ∙

research

∙ 04/12/2019

Transforming opacity verification to nonblocking verification in modular systems

We consider the verification of current-state and K-step opacity for sys...

0 Sahar Mohajerani, et al. ∙