115 citations · 311 across the 31 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 3 cited
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…
cs.LO2013★ 7 cited
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…