VLDB 2026 Research / reviewers in the wild / expert
Salwa Habbachi
dblp:281/2431
· DBLP profile ↗
5ranked-venue papers
5as first author
4since 2021 · last 2026
0000-0003-0447-3561ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 1 since 2021Databases, data management, data science and information retrieval · 2 · 2 first-author · 2 since 2021Theory of computation · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Don't Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event Systems
Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li 0001 |
ICAART (5) | 1 |
| 2026 | Language-based opacity in modular discrete event systems: Compositional secret-based verification using labeled petri nets
Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li 0001 |
Inf. Sci. | 1 |
| 2023 | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation
Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li 0001, Moez Krichen |
VECoS | 1 |
| 2022 | Secret inference and attacktability analysis of discrete event systems
Salwa Habbachi, Amal Zaghdoud, Zhiwu Li 0001, Mohamed Khalgui |
Inf. Sci. | 1 |
| 2020 | Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms
Salwa Habbachi, Zhiwu Li 0001, Mohamed Khalgui |
VECoS | 1 |