Antoine El-Hokayem | DeepAI

DeepAI

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

Featured Co-authors

Yliès Falcone
12 publications
Mohamad Jaber
2 publications

research

∙ 08/16/2018

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

We use runtime verification (RV) to check various properties in a smart ...

0 Antoine El-Hokayem, et al. ∙

research

∙ 08/08/2018

On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation

We define two complementary approaches to monitor decentralized systems....

0 Antoine El-Hokayem, et al. ∙

research

∙ 05/22/2018

Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework

We define a method to modularize crosscutting concerns in Component-Base...

0 Antoine El-Hokayem, et al. ∙