Jean-Luc Raffy

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 1

Top Topics

User Requirements

Event Recognition

Requirements Engineering

Top Venues

Publications

Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. WETICE (2018)
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)
Marcin Czenko, Jean-Luc Raffy
JEstelle novel approach to the distributed Java systems specification and development. PPPJ (2003)
Piotr Rolinski, Jean-Luc Raffy
Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes. CSMR (2000)
Luiz Paula Lima, Jean-Luc Raffy
Résumés de thèse sur l'ingénierie des protocoles. Ann. des Télécommunications 54 (11-12) (1999)
Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski
A graphical representation and prototype editor for the Formal Description Technique Estelle. FORTE (1998)