Clusters of Faulty States for Debugging Behavioural Models. - Irman Faqrizal; Gwen Salaün (APSEC, 2020)

Counting Bugs in Behavioural Models using Counterexample Analysis. - Irman Faqrizal; Gwen Salaün (FormaliSE@ICSE, 2022)

Probabilistic Analysis of Industrial IoT Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (IOT, 2022)

Runtime Enforcement for IEC 61499 Applications. - Yliès Falcone; Irman Faqrizal; Gwen Salaün (SEFM, 2022)

Guided Evolution of IEC 61499 Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ETFA, 2024)

Probabilistic Model Checking for IEC 61499: A Manufacturing Application. - Irman Faqrizal; Tatiana Liakh; Midhun Xavier; Gwen Salaün; Valeriy Vyatkin (ICIT, 2024)

Automated Repair of Violated Eventually Properties in Concurrent Programs. - Irman Faqrizal; Quentin Nivon; Gwen Salaün (FormaliSE@ICSE, 2024)

Quantitative verification and runtime techniques for industrial automation systems. (Techniques de vérification quantitative et d'exécution pour les systèmes d'automatisation industrielle). - Irman Faqrizal (2024)

Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ACM Trans. Auton. Adapt. Syst., 2024)