Jean-Luc Raffy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | WETICE | Formalising the Requirements of an E-Voting Software Product Line Using Event-B. | Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy |
| 2008 | ICSEA | Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
| 1998 | FORTE | A graphical representation and prototype editor for the Formal Description Technique Estelle. | Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski |