115 citations · 311 across the 31 of their papers we have counts for
4 papers · 1 filter
Applying Formal Methods to Networking: Theory, Techniques and Applications
Junaid Qadir, Osman Hasan
Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never desi…
Artificial Intelligence Based Cognitive Routing for Cognitive Radio Networks
Junaid Qadir
Cognitive radio networks (CRNs) are networks of nodes equipped with cognitive radios that can optimize performance by adapting to network conditions. While cognitive radio networks…
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…