Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. - Salwa Habbachi; Zhiwu Li 001; Mohamed Khalgui (VECoS, 2020)

Secret inference and attacktability analysis of discrete event systems. - Salwa Habbachi; Amal Zaghdoud; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (Inf. Sci., 2022)

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. - Salwa Habbachi; Imene Ben Hafaiedh; Zhiwu Li 001; Moez Krichen (VECoS, 2023)