Yani Ziani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FASE | Combining Deductive Verification with Shape Analysis. | To Bernier, Yani Ziani, Nikolai Kosmatov, Frdric Loulergue |
| 2024 | TAP | Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez |
| 2023 | IFM | Towards Formal Verification of a TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez, To Bernier |