A graphical representation and prototype editor for the Formal Description Technique Estelle. - Justin Templemore-Finlayson; Pieter S. Kritzinger; Jean-Luc Raffy; Stanislaw Budkowski (FORTE, 1998)

Résumés de thèse sur l'ingénierie des protocoles. - Luiz Paula Lima; Jean-Luc Raffy (Ann. des Télécommunications, 1999)

Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes. - Piotr Rolinski; Jean-Luc Raffy (CSMR, 2000)

JEstelle novel approach to the distributed Java systems specification and development. - Marcin Czenko; Jean-Luc Raffy (PPPJ, 2003)

Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ICSEA, 2008)

Feature Interactions in a Software Product Line for E-voting. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ICFI, 2009)

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ISARCS, 2010)

Formal object-oriented development of a voting system test oracle. - J. Paul Gibson; Jean-Luc Raffy; Eric Lallet (Innov. Syst. Softw. Eng., 2011)

Formalising the Requirements of an E-Voting Software Product Line Using Event-B. - Abderrahim Ait Wakrime; J. Paul Gibson; Jean-Luc Raffy (WETICE, 2018)