Afef Gafsi

According to our database¹, Afef Gafsi authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks.

[BibT_eX]

[DOI]

J. Reliab. Intell. Environ., December, 2025

2024

A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application.

[BibT_eX]

[DOI]

Imene Ben Hafaiedh

Afef Gafsi

Mohamed Yassine Yahyaoui

Yasmine Aouinette

Simul. Model. Pract. Theory, 2024

Afef Gafsi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...