Romain Geniet

According to our database, Romain Geniet authored at least 2 papers between 2018 and 2021.

Collaborative distances:

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

2021

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.

Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque

Interact. Comput., 2021

2018

Refinement Based Formal Development of Human-Machine Interface.

Romain Geniet, Neeraj Kumar Singh

Proceedings of the Software Technologies: Applications and Foundations, 2018