Fair Adversaries and Randomization in Two-Player Games. - Eugene Asarin; Raphaël Chane-Yack-Fa; Daniele Varacca (FoSSaCS, 2010)

Comparison of Model Checking Tools for Information Systems. - Marc Frappier; Benoît Fraikin; Romain Chossart; Raphaël Chane-Yack-Fa; Mohammed Ouenzar (ICFEM, 2010)

Proving the Absence Property Pattern Using the B Method. - Amel Mammar; Marc Frappier; Raphaël Chane-Yack-Fa (HASE, 2012)

Parameterized verification of monotone information systems. - Raphaël Chane-Yack-Fa; Marc Frappier; Amel Mammar; Alain Finkel (Formal Aspects Comput., 2018)