Amira Chouchane
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CoDIT | An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models. | Amira Chouchane, Mohamed Ghazel |
| 2024 | VECoS | A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. | Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel |
| 2017 | CoDIT | A strategy for estimation in timed Petri nets. | Philippe Declerck, Amira Chouchane, Patrice Bonhomme |