16 citations · 57 across the 31 of their papers we have counts for
3 papers · 1 filter
On the Verification of a WiMax Design Using Symbolic Simulation
Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu +2
In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques h…
Formal Analysis of Soft Errors using Theorem Proving
Naeem Abbasi, Osman Hasan, Sofiène Tahar
Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations. Computer simulations cannot guarantee correctness of analysis be…
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
Maissa Elleuch, Osman Hasan, Sofiène Tahar +1
Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is…