| Runtime Enforcement for IEC 61499 Applications Y Falcone, I Faqrizal, G Salaün International Conference on Software Engineering and Formal Methods, 352-368, 2022 | 7 | 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 | 6* | 2022 |
| 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 | 2 | 2024 |
| 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 |
| Guided Evolution of IEC 61499 Applications I Faqrizal, G Salaün, Y Falcone 29th IEEE International Conference on Emerging Technologies and Factory …, 2024 | | 2024 |
| 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 |
| Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement I Faqrizal, G Salaün, Y Falcone ACM Transactions on Autonomous and Adaptive Systems, 2024 | | 2024 |