Resource-Aware Verification Using Randomized Exploration of Large State Spaces. - Nazha Abed; Stavros Tripakis; Jean-Marc Vincent (SPIN, 2008)

Exploration randomisée de larges espaces d'états pour la vérification. (Randomised exploration of large state spaces for verification). - Nazha Abed (2009)

Cooperative ARQ protocols for underlay cognitive radio networks. - Sami Touati; Hatem Boujemaa; Nazha Abed (EUSIPCO, 2013)

Outage probability analysis of optimal and suboptimal interference aware routing protocols for multihop underlay cognitive radio networks. - Sami Touati; Hatem Boujemaa; Nazha Abed (Trans. Emerg. Telecommun. Technol., 2014)

Static hybrid multihop relaying and two hops hybrid relaying using DSTC. - Sami Touati; Hatem Boujemaa; Nazha Abed (Ann. des Télécommunications, 2015)

Cooperative HARQ protocols using semi-blind relays for underlay cognitive radio networks. - Sami Touati; Hatem Boujemaa; Musaed A. Alhussein; Fahd A. Alturki; Nazha Abed (Telecommun. Syst., 2016)