Formal specification and verification of wireless networked self-organized Systems on Chip. - Hayat Daoud; Camel Tanougast; Mostefa Belarbi; Mikael Heil (CoDIT, 2014)

Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. - Hayat Daoud; Camel Tanougast; Mostefa Belarbi; Mikael Heil; Camille Diou (Syst., 2017)