Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks

by Mohamed Abdelghany, Sofiene Tahar
Published 2021-01-01

Formal Analysis of Soft Errors using Theorem Proving

by Sofiène Tahar, Osman Hasan, Naeem Abbasi
Published 2013-07-01

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency

by Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Published 2019-01-01

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving

by Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar
Published 2019-01-01

Formal reasoning about systems biology using theorem proving.

by Adnan Rashid, Osman Hasan, Umair Siddique, Sofiène Tahar
Published 2017-01-01

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection

by Sofiène Tahar, Osman Hasan, Maissa Elleuch, Mohamed Abid
Published 2013-07-01

On the Verification of a WiMax Design Using Symbolic Simulation

by Gabriela Nicolescu, Sofiène Tahar, Salim Ismail Al-Akhras, Michel Langevin, Pierre Paulin
Published 2013-07-01