Irman Faqrizal

According to our database, Irman Faqrizal authored at least 4 papers between 2020 and 2022.

Collaborative distances:

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

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