Induction-Oriented Formal Verification in Symmetric Interconnection Networks. - Eric Gascard; Laurence Pierre (CHARME, 2001)

Mechanical Verification of Hypercube Algorithms. - Eric Gascard; Laurence Pierre (IPDPS, 2002)

Formal Proof of Applications Distributed in Symmetric Interconnection Networks. - Eric Gascard; Laurence Pierre (Parallel Process. Lett., 2003)

Synthesis of Property Monitors for Online Fault Detection. - Katell Morin-Allory; Eric Gascard; Dominique Borrione (J. Circuits Syst. Comput., 2007)

Modular Modeling for the Diagnostic of Complex Discrete-Event Systems. - Eric Gascard; Zineb Simeu-Abazi (IEEE Trans Autom. Sci. Eng., 2013)

A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems. - Eric Gascard; Zineb Simeu-Abazi; Bérangère Suiphon (Int. J. Adapt. Resilient Auton. Syst., 2015)

Diagnostic and prognostic of hybrid dynamic systems: Modeling and RUL evaluation for two maintenance policies. - Lobna Belkacem; Zineb Simeu-Abazi; Hedi Dhouibi; Eric Gascard; Hassani Messaoud (Reliab. Eng. Syst. Saf., 2017)

Quantitative Analysis of Dynamic Fault Trees by means of Monte Carlo Simulations: Event-Driven Simulation Approach. - Eric Gascard; Zineb Simeu-Abazi (Reliab. Eng. Syst. Saf., 2018)

Overcoming the Barriers in Diagnostics and Prognostics of the Circular Industrial System by Hidden Markov Model. - Akash Basia; Eric Gascard; Zineb Simeu-Abazi; Peggy Zwolinski (ICCAD, 2019)

Fault diagnosis method for timed discrete-event systems: Application to autonomous electric vehicle. - Zineb Simeu-Abazi; Eric Gascard (ICCAD, 2019)

Implementation of a cost optimization algorithm in a context of distributed maintenance. - Zineb Simeu-Abazi; Eric Gascard (ICCAD, 2020)

Comparison of data driven algorithms for SoH estimation of Lithium-ion batteries. - Akash Basia; Zineb Simeu-Abazi; Eric Gascard; Peggy Zwolinski (ICCAD, 2021)

Méthodologies et algorithmes pour l'analyse de la sûreté de fonctionnement des systèmes industriels complexes. - Eric Gascard (2022)

Application of fault trees and Bayesian networks for maintenance. - Hedi Dhouibi; K. Chihani; Eric Gascard; Zineb Simeu-Abazi (ICCAD, 2023)

Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow. - Ihem Hnayen; Hedi Dhouibi; Zineb Simeu-Abazi; Eric Gascard (ICCAD, 2023)

Prognostic and predicting failures methods in complex systems. - Houyem Taous; Hedi Dhouibi; Eric Gascard; Zineb Simeu-Abazi (ICCAD, 2023)

A Literature Review of Digital Twins and Their Applications in the Internet of Things Based on Artificial Intelligence. - Ilhem Ben Hnaien; Eric Gascard; Zineb Simeu-Abazi; Hedi Dhouibi (ICCAD, 2024)

Medicine consumption demand forecasting in French hospitals using Seasonal Auto-Regressive Integrated Moving Average (SARIMA) models. - Stanley Suan You Lim; Siao-Leu Phouratsamay; Zakaria Yahouni; Eric Gascard (ICCAD, 2024)

A methodological review on the combined use of mixed reality and artificial intelligence for predictive maintenance in industry. - Risy Matthias; Zineb Simeu-Abazi; Eric Gascard (ICCAD, 2024)

Joint Modeling of Preventive and Corrective Maintenance in Production Workshop Simulation: a literature review. - Houyem Taous; Eric Gascard; Zineb Simeu-Abazi; Chakib Ben Njima (ICCAD, 2024)

Evaluating Energy-Aware Cloud Task Scheduling Techniques: A Comprehensive Dialectical Approach. - Anas Hattay; Fred Ngolè Mboula; Eric Gascard; Zakaria Yahouni (UCC, 2024)

A Literature Review: Application of AI for Predictive Maintenance in Digital Twins Across Various Industries. - Ilhem Ben Hnaien; Eric Gascard; Zineb Simeu-Abazi; Hedi Dhouibi (SSD, 2025)

Modeling the Maintenance Operation of a Car Production Workshop Using Arena. - Houyem Taous; Eric Gascard; Zineb Simeu-Abazi; Chakib Ben Njima (SSD, 2025)