Alex Rodrigue Ndouna

According to our database, Alex Rodrigue Ndouna authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD.

Alex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

2024

Modelling a Mechanical Lung Ventilation System Using TASTD.

Alex Rodrigue Ndouna, Marc Frappier

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024