Zobrazeno 1 - 10
of 174
pro vyhledávání: '"El Hokayem, A"'
Autor:
El hokayem, Antoine
La vérification à l’exécution est une méthode formelle légère qui consiste à vérifier qu’une exécution d’un système est correcte par rapport à une spécification. La spécification exprime de manière rigoureuse le comportement atten
Externí odkaz:
http://www.theses.fr/2018GREAM086/document
Autor:
El-Hokayem, Léonard, De Vita, Pantaleone, Usman, Muhammad, Link, Andreas, Conrad, Christopher
Publikováno v:
In Science of the Total Environment 10 November 2023 898
Publikováno v:
International Journal of Entrepreneurial Behavior & Research, 2022, Vol. 28, Issue 7, pp. 1868-1898.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJEBR-03-2022-0293
Publikováno v:
In Ecological Indicators February 2023 146
Autor:
El-Hokayem, Antoine, Falcone, Yliès
We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities
Externí odkaz:
http://arxiv.org/abs/1808.05487
Autor:
El-Hokayem, Antoine, Falcone, Yliès
We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our approach introduces a dat
Externí odkaz:
http://arxiv.org/abs/1808.02692
We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially
Externí odkaz:
http://arxiv.org/abs/1805.08406
Autor:
Semer Maksoud, Joelle El Hokayem
Publikováno v:
Heliyon, Vol 9, Iss 4, Pp e15055- (2023)
HIV infection progressively weakens the immune system by infecting and destroying cells involved in host defense. Viral infection symptoms are generated and aggravated as immunosuppression progresses, triggered by the presence of opportunistic infect
Externí odkaz:
https://doaj.org/article/360272680fb4494892c71117de8dfc9a
Publikováno v:
Ecological Indicators, Vol 146, Iss , Pp 109784- (2023)
Groundwater dependent ecosystems (GDEs) are biodiversity hotspots and provide important ecosystem services. This study presents a novel multi-instrument concept for the local identification of groundwater dependent vegetation (GDV) in the Mediterrane
Externí odkaz:
https://doaj.org/article/c67afc3e620b49ccad6dbcf375b3694a