On the Formalization of the Heat Conduction Problem in HOL. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (CICM, 2022)

Formalizing Potential Flows Using the HOL Light Theorem Prover. - Elif Deniz; Sofiène Tahar (ICFEM, 2024)

Formal Verification of ABCD Parameters Based Models for Transmission Lines. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (SCSS, 2024)

Formal Verification of Coupled Transmission Lines using Theorem Proving. - Elif Deniz; Adnan Rashid; Sofiène Tahar (VECoS, 2024)