A new approach for minimizing buffer capacities with throughput constraint for embedded system design. - Mohamed Benazouz; Olivier Marchetti; Alix Munier Kordon; Pascal Urard (AICCSA, 2010)

A new method for minimizing buffer sizes for Cyclo-Static Dataflow graphs. - Mohamed Benazouz; Olivier Marchetti; Alix Munier Kordon; Thierry Michel (ESTIMedia, 2010)

Liveness evaluation of a cyclo-static DataFlow graph. - Mohamed Benazouz; Alix Munier Kordon; Thomas Hujsa; Bruno Bodin (DAC, 2013)

Cyclo-static DataFlow phases scheduling optimization for buffer sizes minimization. - Mohamed Benazouz; Alix Munier Kordon (M-SCOPES, 2013)

An Approximate Method for Throughput Evaluation of Cyclo-static Dataflow Programs. - Pascal Aubry; Mohamed Benazouz; Renaud Sirdey (CISIS, 2014)

Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions. - Mohamed Benazouz; Jean-Marc Faure (IEEE Trans Autom. Sci. Eng., 2018)

Multilevel simulation-based co-design of next generation HPC microprocessors. - Lilia Zaourar; Mohamed Benazouz; Ayoub Mouhagir; Fatma Jebali; Tanguy Sassolas; Jean-Christophe Weill; Carlos Falquez; Nam Ho; Dirk Pleiter; Antoni Portero; Estela Suarez; Polydoros Petrakis; et al. (PMBS, 2021)

Improving Integrated Circuit Security Using Mathematical Model Based on Clique Covering Reformulation. - Jonathan Fontaine; Mohamed Benazouz; Lilia Zaourar; Roselyne Chotin (CoDIT, 2023)

Case Studies on the Impact and Challenges of Heterogeneous NUMA Architectures for HPC. - Lilia Zaourar; Mohamed Benazouz; Ayoub Mouhagir; Carlos Falquez; Antoni Portero; Nam Ho; Estela Suarez; Polydoros Petrakis; Manolis Marazakis; Francesco Sgherzi; Ivan Fernandez; Romain Dolbeau; et al. (ARCS, 2024)