Salwa Habbachi

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Scheduling Algorithm

Formal Verification

Model Based Diagnosis

Top Venues

Publications

Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS (2023)
Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui
Secret inference and attacktability analysis of discrete event systems. Inf. Sci. 609 (2022)
Salwa Habbachi, Zhiwu Li, Mohamed Khalgui
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. VECoS (2020)