Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT, 2020)

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. - Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui (AINA (2), 2024)