Eric Lallet

According to our database, Eric Lallet authored at least 5 papers between 1995 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Formal object-oriented development of a voting system test oracle.

J. Paul Gibson, Jean-Luc Raffy, Eric Lallet

Innov. Syst. Softw. Eng., 2011

2010

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2009

Feature Interactions in a Software Product Line for E-voting.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Third International Conference on Software Engineering Advances, 2008

1995

A New Approach for Distributing Estelle Specifications.

Eric Lallet, Stefan Fischer, Jean-François Verdier

Proceedings of the Formal Description Techniques VIII, 1995