Clusters of Faulty States for Debugging Behavioural Models
Faqrizal, Irman, Salaun, Gwen
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Get full text
Conference Proceeding
Guided Evolution of IEC 61499 Applications
Faqrizal, Irman, Salaun, Gwen, Falcone, Ylies
Published in 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA) (10.09.2024)
Published in 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA) (10.09.2024)
Get full text
Conference Proceeding
Counting Bugs in Behavioural Models using Counterexample Analysis
Faqrizal, Irman, Salaun, Gwen
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Get full text
Conference Proceeding
Probabilistic Model Checking for IEC 61499: A Manufacturing Application
Faqrizal, Irman, Liakh, Tatiana, Xavier, Midhun, Salaun, Gwen, Vyatkin, Valeriy
Published in 2024 IEEE International Conference on Industrial Technology (ICIT) (25.03.2024)
Published in 2024 IEEE International Conference on Industrial Technology (ICIT) (25.03.2024)
Get full text
Conference Proceeding