Roufaida Bettira

According to our database, Roufaida Bettira authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.

Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019

Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.

Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019