Michel Metzger

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
Introspection mechanisms for runtime verification in a system-level design environment. Microelectron. J. 40 (7) (2009)
Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. IEEE International Workshop on Rapid System Prototyping (2006)
Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
A Verification Tool Implementation using Introspection Mechanism. FDL (2006)