Eric Lallet

Publication Activity (10 Years)

Years Active: 1995-2011
Publications (10 Years): 0

Publications

J. Paul Gibson, Jean-Luc Raffy, Eric Lallet
Formal object-oriented development of a voting system test oracle. Innov. Syst. Softw. Eng. 7 (4) (2011)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. ISARCS (2010)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Feature Interactions in a Software Product Line for E-voting. ICFI (2009)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. ICSEA (2008)
Eric Lallet, Stefan Fischer, Jean-François Verdier
A New Approach for Distributing Estelle Specifications. FORTE (1995)