Ilyes Rezgui
Orcid: 0009-0005-3026-5581
According to our database1,
Ilyes Rezgui
authored at least 3 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks.
J. Reliab. Intell. Environ., December, 2025
2024
Proceedings of the Software Architecture - 18th European Conference, 2024