Design and implementation of a near maximum likelihood decoder for Cortex codes. - Cédric Marchand 001; Mohamed Ben Hammouda; Yvan Eustache; Laura Conde-Canencia; Emmanuel Boutillon (ISTC, 2012)

A design approach to automatically generate on-chip monitors during high-level synthesis of hardware accelerator. - Mohamed Ben Hammouda; Philippe Coussy; Loïc Lagadec (ACM Great Lakes Symposium on VLSI, 2014)

A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators. - Mohamed Ben Hammouda; Philippe Coussy; Loïc Lagadec (ISCAS, 2014)

A design flow to automatically Generate on chip monitors during high-level synthesis of Hardware accelarators. (Un flot de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels). - Mohamed Ben Hammouda (2014)

Asserting causal properties in High Level Synthesis. - Erwan Fabiani; Loïc Lagadec; Mohamed Ben Hammouda; Ciprian Teodorov (IVSW, 2017)

A Unified Design Flow to Automatically Generate On-Chip Monitors During High-Level Synthesis of Hardware Accelerators. - Mohamed Ben Hammouda; Philippe Coussy; Loïc Lagadec (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)