Jean-Marc Mota

According to our database, Jean-Marc Mota authored at least 8 papers between 2002 and 2019.

Collaborative distances:

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

2019

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking.

Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2009

Encoding a process algebra using the Event B method.

Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota

Int. J. Softw. Tools Technol. Transf., 2009

2008

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.

Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota

Ingénierie des Systèmes d Inf., 2008

2007

Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes.

Jean-Marc Mota, Catherine Dubois

Tech. Sci. Informatiques, 2007

A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml.

Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano

Proceedings of the ICSOFT 2007, 2007

2006

A Formally Verified Geometric Modelling Core.

Catherine Dubois, Jean-Marc Mota

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.

Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron

Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006

2002

Spécifications formelles du chanfreinage.

Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand

Tech. Sci. Informatiques, 2002