Mikael Heil

According to our database, Mikael Heil authored at least 4 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

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

2014

Fault-tolerant self-organized mechanism for networked reconfigurable MPSoC.

Mikael Heil, Camel Tanougast

Proceedings of the International Conference on Control, 2014

Optimized and Dependable Router suitable for dynamic Networks on Chip.

Mohamed Frihi, M. Boutalbi, Salah Toumi, Camel Tanougast, Mikael Heil

Proceedings of the International Conference on Control, 2014

Formal specification and verification of wireless networked self-organized Systems on Chip.

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil

Proceedings of the International Conference on Control, 2014