A New Approach for Distributing Estelle Specifications. - Eric Lallet; Stefan Fischer; Jean-François Verdier (FORTE, 1995)

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)