| Runtime Enforcement for IEC 61499 Applications Y Falcone, I Faqrizal, G Salaün International Conference on Software Engineering and Formal Methods, 352-368, 2022 | 4 | 2022 |
| Probabilistic Analysis of Industrial IoT Applications Y Falcone, I Faqrizal, G Salaün IoT 2022-The 12th International Conference on the Internet of Things, 2022 | 3* | 2022 |
| Counting bugs in behavioural models using counterexample analysis I Faqrizal, G Salaün Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 2 | 2022 |
| Clusters of Faulty States for Debugging Behavioural Models I Faqrizal, G Salaün 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 91-99, 2020 | 2 | 2020 |
| Automated Repair of Violated Eventually Properties in Concurrent Programs I Faqrizal, Q Nivon, G Salaün Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024 | | 2024 |
| Probabilistic Model Checking for IEC 61499: A Manufacturing Application I Faqrizal, T Liakh, M Xavier, G Salaün, V Vyatkin 2024 IEEE International Conference on Industrial Technology (ICIT), 1-6, 2024 | | 2024 |
