FAUST: Formal Analysis Using Specification Tools. - André Rifaut; Philippe Massonet; Jean-François Molderez; Christophe Ponsard; Pierre Stadnik; Axel van Lamsweerde; Hung Tran Van (RE, 2003)

Deriving Acceptance Tests from Goal Requirements. - Jean-François Molderez; Christophe Ponsard (MOZ, 2004)

Early Verification and Validation of Mission Critical Systems. - Christophe Ponsard; Philippe Massonet; André Rifaut; Jean-François Molderez; Axel van Lamsweerde; Hung Tran Van (FMICS, 2004)

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations. - Gautier Dallons; Philippe Massonet; Jean-François Molderez; Christophe Ponsard; Alvaro Arenas (SecureComm, 2007)