Jean-Marc Mota

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Automated Verification

Top Venues

Publications

Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI (2019)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR (2018)
Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota
Encoding a process algebra using the Event B method. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Ingénierie des Systèmes d Inf. 13 (2) (2008)
Jean-Marc Mota, Catherine Dubois
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes. Tech. Sci. Informatiques 26 (7) (2007)
Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. ICSOFT (SE) (2007)
Catherine Dubois, Jean-Marc Mota
A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice (2006)
Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. IHM (2006)
Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
Spécifications formelles du chanfreinage. Tech. Sci. Informatiques 21 (8) (2002)