Michel Metzger

According to our database, Michel Metzger authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Introspection mechanisms for runtime verification in a system-level design environment.

Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Microelectron. J., 2009

2006

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

A Verification Tool Implementation using Introspection Mechanism.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the Forum on specification and Design Languages, 2006