Vincent Leilde

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Deterministic Finite Automaton

Formal Verification

Learning Experience

Top Venues

PAME/VOLT@MoDELS

Publications

Vincent Leilde, Vincent Ribaud
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project. CSEE&T (2017)
Vincent Ribaud, Vincent Leilde
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project. SPICE (2017)
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
An Organizing System to Perform and Enable Verification and Diagnosis Activities. IDEAL (2016)
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
Model-based diagnosis patterns for model checking. PAME/VOLT@MoDELS (2016)
Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard
Towards Tool Integration through Artifacts and Roles. APSEC (2012)
Papa Issa Diallo, Joël Champeau, Vincent Leilde
An approach for describing concurrency and communication of heterogeneous systems. BM-FA (2011)
Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde
MoPCoM Methodology: Focus on Models of Computation. ECMFA (2010)