Oumaima Barhoumi

According to our database¹, Oumaima Barhoumi authored at least 5 papers between 2024 and 2026.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates.

[BibT_eX]

[DOI]

Oumaima Barhoumi

Mohamed H. Zaki

Sofiène Tahar

CoRR, January, 2026

2025

A Comparative Study of Oscillatory Perturbations in Car-Following Models.

[BibT_eX]

[DOI]

CoRR, October, 2025

Fuel Consumption in Platoons: A Literature Review.

[BibT_eX]

[DOI]

CoRR, August, 2025

Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections.

[BibT_eX]

[DOI]

Oumaima Barhoumi

Mohamed H. Zaki

Sofiène Tahar

Proceedings of the IEEE International systems Conference, 2025

2024

Formal Analysis of Vehicular Crash Severity Using KeYmaera X.

[BibT_eX]

[DOI]

Oumaima Barhoumi

Mohamed H. Zaki

Sofiène Tahar

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024

Oumaima Barhoumi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...