MoPCoM Methodology: Focus on Models of Computation. - Ali Koudri; Joël Champeau; Jean-Christophe Le Lann; Vincent Leilde (ECMFA, 2010)

An approach for describing concurrency and communication of heterogeneous systems. - Papa Issa Diallo; Joël Champeau; Vincent Leilde (BM-FA, 2011)

Towards Tool Integration through Artifacts and Roles. - Weiqing Zhang; Vincent Leilde; Birger Møller-Pedersen; Joël Champeau; Christophe Guychard (APSEC, 2012)

An Organizing System to Perform and Enable Verification and Diagnosis Activities. - Vincent Leilde; Vincent Ribaud; Philippe Dhaussy (IDEAL, 2016)

Model-based diagnosis patterns for model checking. - Vincent Leilde; Vincent Ribaud; Philippe Dhaussy (PAME/VOLT@MoDELS, 2016)

Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project. - Vincent Leilde; Vincent Ribaud (CSEE&T, 2017)

A Diagnosis Framework for Critical Systems Verification (Short Paper). - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (SEFM, 2017)

Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project. - Vincent Ribaud; Vincent Leilde (SPICE, 2017)

A Problem-Oriented Approach to Critical System Design and Diagnosis Support. - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (MEDI Workshops, 2018)

Domain-Oriented Verification Management. - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (MEDI, 2018)

Engineering Projects "Savanturiers de l'Ingénierie". - Vincent Ribaud; Vincent Leildé; Cyrielle Féron; Ashwarya Arora; Sarah Le Bihan (HICSS, 2019)

Aide au diagnostic de vérification formelle de systèmes. (A diagnosis support for formal verification of systems). - Vincent Leildé (2019)