Login / Signup
Roufaida Bettira
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Formal Verification
First Order Logic
Reconfigurable Architecture
Reachability Analysis
Top Venues
SMC
ENASE
</>
Publications
</>
Roufaida Bettira
,
Laïd Kahloul
,
Mohamed Khalgui
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.
ENASE
(2020)
Roufaida Bettira
,
Laïd Kahloul
,
Mohamed Khalgui
,
Zhiwu Li
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.
SMC
(2019)