Impact of Software Optimization on Variable Lifetimes in a Microprocessor-Based System. - Salma Bergaoui; Régis Leveugle (DELTA, 2011)

Detailed Analysis of Compilation Options for Robust Software-based Embedded Systems. - Salma Bergaoui; A. Wecxsteen; Régis Leveugle (J. Electron. Test., 2013)

Criticality evaluation of embedded software running on a pipelined microprocessor and impact of compilation options. - K. Chibani; Salma Bergaoui; Michele Portolan; Régis Leveugle (ICECS, 2014)

IDSM: An improved disjoint signature monitoring scheme for processor behavioral checking. - Salma Bergaoui; Pierre Vanhauwaert; Régis Leveugle (LATW, 2014)