Aline Uwimbabazi

According to our database, Aline Uwimbabazi authored at least 3 papers between 2021 and 2025.

Collaborative distances:

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

2025

Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking.

Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi

Proceedings of the Testing Software and Systems, 2025

2022

Automated replication of tuple spaces via static analysis.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi

Sci. Comput. Program., 2022

2021

Automated Replication of Tuple Spaces via Static Analysis.

Aline Uwimbabazi, Omar Inverso, Rocco De Nicola

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021