Ahmed Nagy Abdelkhalek Mansour

According to our database, Ahmed Nagy Abdelkhalek Mansour authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Efficient Verification of Protection System Configuration of Electrical Distribution Grids.

Francesco Pellei, Ahmed Nagy Abdelkhalek Mansour, Enrico Ragaini, Samuele Grillo, Matteo G. Rossi

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2024

2023

A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.

Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023