Spécifications formelles du chanfreinage. - Franck Ledoux; Jean-Marc Mota; Agnès Arnould; Catherine Dubois; Pascale Le Gall; Yves Bertrand (Tech. Sci. Informatiques, 2002)

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 (IHM, 2006)

A Formally Verified Geometric Modelling Core. - Catherine Dubois; Jean-Marc Mota (Software Engineering Research and Practice, 2006)

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 (ICSOFT (SE), 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)

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)

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)

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. - Étienne André; Laurent Fribourg; Jean-Marc Mota; Romain Soulat (VMCAI, 2019)