Irman Faqrizal

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Probabilistic Model

Concurrent Programs

Top Venues

Publications

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT (2024)
Irman Faqrizal, Quentin Nivon, Gwen Salaün
Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE (2024)
Yliès Falcone, Irman Faqrizal, Gwen Salaün
Runtime Enforcement for IEC 61499 Applications. SEFM (2022)
Irman Faqrizal, Gwen Salaün
Counting Bugs in Behavioural Models using Counterexample Analysis. FormaliSE@ICSE (2022)
Irman Faqrizal, Gwen Salaün, Yliès Falcone
Probabilistic Analysis of Industrial IoT Applications. IOT (2022)
Irman Faqrizal, Gwen Salaün
Clusters of Faulty States for Debugging Behavioural Models. APSEC (2020)