[Imsa-hpc-list] I Promise: this is the last correction. [Reminder and Schedule for Jean-Luc Raffy and Paul Gibson] Time: 3PM Date: 2 Sep

[ClemsonSteve]

Bad week already and I sincerely apologize for messing up your inbox

Jean-Luc Raffy will present the first talk, starting at 3PM on  
Tuesday, 2 Sept, in Room 116 McAdams. He will be followed by Paul  
Gibson. Each talk will last approximately 45 minutes. There will be  
time for meeting the two visitors after the talks and then dinner at  
the Blue Heron.


Jean-Luc Raffy
==============
Jean-Luc has been director of studies in the
department of Software and Networks(since 1999) at
the national telecommunication school in  Evry, Paris.
He is leader of the the Software Engineering and Protocol Design group.
As a telecommunications engineer he has years of experience in
software quality, dependable systems and applying formal methods.
Recent research into e-voting arises out of his part-time
duties as an election official in France.

>> TITLE: "Feature Interactions in a Software
>> Product Line for E-voting"

>> We propose, based on examples of typical requirements, that a  
>> feature-
>> oriented approach to e-voting domain analysis is a good foundation  
>> upon
>> which to carry out commonality and variablity analysis. Simple anal-
>> ysis of our core and optional features (and their variants) leads  
>> us to
>> believe that feature interactions are a major problem in voting  
>> systems.
>> We conclude that a formal software product line would help to man-
>> age the composition of features in such a way as to eliminate  
>> interac-
>> tions in the requirements models, before particular e-voting  
>> systems are
>> instantiated.
>>
>

J Paul Gibson
=============

Paul has been a lecturer/researcher in the same department as Jean-Luc
since 2006. Before this he was at the National University of Ireland in
Maynooth for 7 years. He has 20 years of experience in research into
object oriented development and formal methods; focussing on problems
involving compositional reasoning in complex systems. His recent  
interest has been on feature interactions in e-voting systems;  
motivated by his analysis of different e-voting systems around the  
world (with
particular regard to the failed adoption of e-voting in Ireland where he
was an advisor to the commission for electronic voting during 2 years).
Paul is also involved
in experiments for teaching CS/SE and algorithmic reasoning, where
he has found the e-voting case study to be appropriate for teaching
many different aspects of software engineering.

>> TITLE: "A distributed voting system in France: the verification  
>> problem"
>>
>> ABSTRACT: We propose that formal modelling techniques
>> are necessary in establishing the trustworthiness of
>> e-voting systems and the software within. We illustrate how
>> a distributed e-voting system architecture can be verified
>> against quality of service requirements, through simulation
>> of formal models. A concrete example of a novel e-voting
>> system prototype (for use in French elections) is used to justify
>> the utility of our approach. The quality of service that
>> we consider is the total time it takes for a voter to record
>> their vote (including waiting time). The innovative aspects
>> of the e-voting system that required further research were
>> new requirements for voting anywhere and re-voting; and
>> the potential for undesirable interactions between them.



Steve
--------
D. E. Stevenson, Department of Computer Science
Director, Institute for Modeling and Simulation Applications
Clemson University, Clemson, SC 29634-0974