Salwa Habbachi

According to our database, Salwa Habbachi authored at least 4 papers between 2020 and 2026.

Collaborative distances:

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

2026

Language-based opacity in modular discrete event systems: Compositional secret-based verification using labeled petri nets.

Salwa Habbachi, Imene Ben Hafaiedh, Zhi-Wu Li

Inf. Sci., 2026

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