A module language for typing by contracts. - Yann Glouche; Jean-Pierre Talpin; Paul Le Guernic; Thierry Gautier (NASA Formal Methods, 2009)

A Boolean Algebra of Contracts for Assume-guarantee Reasoning. - Yann Glouche; Paul Le Guernic; Jean-Pierre Talpin; Thierry Gautier (FACS@FMWeek, 2009)

Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués. - Yann Glouche (2009)

A Module Language for Typing SIGNAL Programs by Contracts. - Yann Glouche; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Distributed Tree Structure for Composite Physical Objects. - Arnab Sinha; Yann Glouche; Paul Couderc (ANT/SEIT, 2014)