Login / Signup
Mikael Heil
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Formal Proof
Dynamic Networks
Fault Tolerant
Routing Algorithm
Top Venues
CoDIT
Syst.
</>
Publications
</>
Hayat Daoud
,
Camel Tanougast
,
Mostefa Belarbi
,
Mikael Heil
,
Camille Diou
Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.
Syst.
5 (1) (2017)
Hayat Daoud
,
Camel Tanougast
,
Mostefa Belarbi
,
Mikael Heil
Formal specification and verification of wireless networked self-organized Systems on Chip.
CoDIT
(2014)
Mohamed Frihi
,
M. Boutalbi
,
Salah Toumi
,
Camel Tanougast
,
Mikael Heil
Optimized and Dependable Router suitable for dynamic Networks on Chip.
CoDIT
(2014)
Mikael Heil
,
Camel Tanougast
Fault-tolerant self-organized mechanism for networked reconfigurable MPSoC.
CoDIT
(2014)