BOUKIR Khaoula
Email : khaoula.boukir@uit.ac.ma
Établissement : Ecole Nationale Supérieure De Chimie
Laboratoire : Système Electroniques Traitement de l’information, Mécanique Energétique
← Retour au laboratoire
📚 Publications Scopus — Total : 5
| Titre | Année | 🔗 Voir |
|---|---|---|
| ATLAS: From Access conTrol Language to ACSL Specifications | 2026 | 🔗 Voir |
| Leveraging generative AI for enhancing SDN security | 2025 | 🔗 Voir |
| Advances in the Security of SDNs: Exploration of Recent ML-Based Approaches | 2024 | 🔗 Voir |
| Requirement specification and model-checking of a real-time scheduler implementation | 2020 | 🔗 Voir |
| Formal approach for a verified implementation of global EDF in trampoline | 2018 | 🔗 Voir |