A Verification Tool Implementation using Introspection Mechanism. - Michel Metzger; Frédéric Bastien; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (FDL, 2006)

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. - Michel Metzger; Frédéric Bastien; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (IEEE International Workshop on Rapid System Prototyping, 2006)

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)