| Decomposition and Modeling of the Situational Awareness of Unmanned Aerial Vehicles for Advanced Air Mobility SA Kamkuimo, F Magalhaes, R Zrelli, HA Misson, MB Attia, G Nicolescu Drones 7 (8), 501, 2023 | 5 | 2023 |
| Checking and enforcing security through opacity in healthcare applications R Zrelli, M Yeddes, NB Hadj-Alouane Service-Oriented Computing–ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and …, 2018 | 2 | 2018 |
| A Fuzzy Multi agent Architecture for Sensor based Automated Scene Surveillance. N Yosra, K Raouf, Z Rym, H Mahmoud, M Ksouri J. Multim. Process. Technol. 4 (1), 1-13, 2013 | 1 | 2013 |
| Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents R Zrelli, H Amaral Misson, M Ben Attia, F Gohring de Magalhães, ... International Working Conference on Requirements Engineering: Foundation for …, 2024 | | 2024 |
| ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems HA Misson, R Zrelli, M Ben Attia, FG Magalhaes, G Nicolescu Proceedings of the 34th International Workshop on Rapid System Prototyping, 1-7, 2023 | | 2023 |
