Jean-Luc Raffy

According to our database, Jean-Luc Raffy authored at least 9 papers between 1998 and 2018.

Collaborative distances:

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

2018

Formalising the Requirements of an E-Voting Software Product Line Using Event-B.

Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

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

2003

JEstelle novel approach to the distributed Java systems specification and development.

Marcin Czenko, Jean-Luc Raffy

Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, 2003

2000

Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes.

Piotr Rolinski, Jean-Luc Raffy

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999

Résumés de thèse sur l'ingénierie des protocoles.

Luiz Paula Lima, Jean-Luc Raffy

Ann. des Télécommunications, 1999

1998

A graphical representation and prototype editor for the Formal Description Technique Estelle.

Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski

Proceedings of the Formal Description Techniques and Protocol Specification, 1998