Irman Faqrizal

According to our database, Irman Faqrizal authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Automated Repair of Violated Eventually Properties in Concurrent Programs.

Irman Faqrizal, Quentin Nivon, Gwen Salaün

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Probabilistic Model Checking for IEC 61499: A Manufacturing Application.

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin

Proceedings of the IEEE International Conference on Industrial Technology, 2024

Guided Evolution of IEC 61499 Applications.

Irman Faqrizal, Gwen Salaün, Yliès Falcone

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2022

Runtime Enforcement for IEC 61499 Applications.

Yliès Falcone, Irman Faqrizal, Gwen Salaün

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Probabilistic Analysis of Industrial IoT Applications.

Irman Faqrizal, Gwen Salaün, Yliès Falcone

Proceedings of the 12th International Conference on the Internet of Things, 2022

Counting Bugs in Behavioural Models using Counterexample Analysis.

Irman Faqrizal, Gwen Salaün

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2020

Clusters of Faulty States for Debugging Behavioural Models.

Irman Faqrizal, Gwen Salaün

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020