Roufaida Bettira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2019–2020
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ENASE | A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui |
| 2019 | SMC | Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, Zhiwu Li |