Salwa Habbachi

According to our database, Salwa Habbachi authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.

Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

2022

Secret inference and attacktability analysis of discrete event systems.

Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui

Inf. Sci., 2022

2020

Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms.

Salwa Habbachi, Zhiwu Li, Mohamed Khalgui

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020