Formal Analysis of Optical Systems. - Sanaz Khan Afshar; Umair Siddique; Mohamed Yousri Mahmoud; Vincent Aravantinos; Ons Seddiki; Osman Hasan; Sofiène Tahar (Math. Comput. Sci., 2014)

Enabling Symbolic and Numerical Computations in HOL Light. - Ons Seddiki; Cvetan Dunchev; Sanaz Khan Afshar; Sofiène Tahar (CICM, 2015)