Morteza Mohaqeqi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ehsan Khamespanah
7 publications
Marjan Sirjani
5 publications
Wang Yi
4 publications
Susanne Graf
1 publication
Mohammad Ashjaei
1 publication

research

∙ 04/30/2022

Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach

Wireless sensor and actuator networks (WSAN) are real-time systems which...

0 Ehsan Khamespanah, et al. ∙

research

∙ 11/26/2020

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we...

0 Wang Yi, et al. ∙