Mise en oeuvre d'une approche componentielle pour la conception d'agents. - Alexandre Guillemet; Grégory Haïk; Thomas Meurisse; Jean-Pierre Briot; Marc Lhuillier (JFIADSMA, 1999)

Automatic Introduction of Mobility for Standard-Based Frameworks. - Grégory Haïk; Jean-Pierre Briot; Christian Queinnec (OTM Conferences (1), 2005)

Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. - Hugues Balp; Etienne Borde; Grégory Haïk; Jean-François Tilman (ICECCS, 2008)

Mode-based reconfiguration of critical software component architectures. - Etienne Borde; Grégory Haïk; Laurent Pautet (DATE, 2009)

Model driven code generation for critical and adaptative embedded systems. - Etienne Borde; Peter H. Feiler; Grégory Haïk; Laurent Pautet (SIGBED Rev., 2009)