Secure extensible type system for efficient embedded operating system by using metatypes. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (ICPADS (2), 2005)

A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (AINA Workshops (2), 2007)

On the use of metatypes for safe embedded operating system extension. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (Int. J. Parallel Emergent Distributed Syst., 2007)