Ayoub Bouheroum

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Security Problems

Formal Analysis

Top Venues

Int. J. Organ. Collect. Intell.

Publications

Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala, Aya Lehamdi, Radhia Aouissate
A Formal Integrated Approach for Cyber Physical Systems. PAIS (2022)
Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. Int. J. Organ. Collect. Intell. 11 (2) (2021)
Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala
From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. TACC (2021)
Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud (2019)
Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. CAL (2019)