Khaoula Boukir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2018–2026
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | GPCE | ATLAS: From Access conTrol Language to ACSL Specifications. | Julien Signoles, Khaoula Boukir, Amine Nasri |
| 2020 | RTNS | Requirement specification and model-checking of a real-time scheduler implementation. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |
| 2018 | RTNS | Formal approach for a verified implementation of Global EDF in Trampoline. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |