A strategy for estimation in timed Petri nets. - Philippe Declerck; Amira Chouchane; Patrice Bonhomme (CoDIT, 2017)

Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net. - Amira Chouchane (IMA J. Math. Control. Inf., 2021)

Diagnosis on a sliding window for partially observable Petri nets. - Amira Chouchane; Philippe Declerck (Kybernetika, 2022)

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. - Amira Chouchane; Mohamed Ghazel; Abderraouf Boussif (Autom., 2023)

An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models. - Amira Chouchane; Mohamed Ghazel (CoDIT, 2024)

A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. - Imene Ben Hafaiedh; Amira Chouchane; Amani Elaoud; Linda Lamouchi; Mohamed Ghazel (VECoS, 2024)

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques. - Amira Chouchane; Mohamed Ghazel (Autom., 2024)