Salwa Habbachi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2026
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | Don't Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event Systems. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li |
| 2023 | VECoS | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen |
| 2020 | VECoS | Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. | Salwa Habbachi, Zhiwu Li, Mohamed Khalgui |