Modeling and simulation of complex heterogeneous systems. - Amine Anane; El Mostapha Aboulhamid; Julie Vachon; Yvon Savaria (ISCAS, 2008)

Introspection mechanisms for runtime verification in a system-level design environment. - Michel Metzger; Amine Anane; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (Microelectron. J., 2009)

System modeling and multicore simulation using transactions. - Amine Anane; El Mostapha Aboulhamid; Yvon Savaria (ICSAMOS, 2012)

A Transaction-Based Environment for System Modeling and Parallel Simulation. - Amine Anane; El Mostapha Aboulhamid (Int. J. Parallel Program., 2015)