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

Optimized and Dependable Router suitable for dynamic Networks on Chip. - Mohamed Frihi; M. Boutalbi; Salah Toumi; Camel Tanougast; Mikael Heil (CoDIT, 2014)

Fault-tolerant self-organized mechanism for networked reconfigurable MPSoC. - Mikael Heil; Camel Tanougast (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)