Vincent LEILDE

17
Documents

Publications

Publications

L'IDM, un levier pour l'intégration d'outils : l'approche iFEST

Vincent Leilde , Joël Champeau , Papa Issa Diallo , H. Uascar Espinoza
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Article dans une revue hal-00677183 v1
Image document

Engineering projects "Savanturiers de l'ingénierie

Vincent Ribaud , Cyrielle Feron , Vincent Leilde , Ashwarya Arora , Sarah Le Bihan
HICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States
Communication dans un congrès hal-02332734 v1
Image document

Ingénierie des projets Savanturiers de l'ingénierie

Vincent Ribaud , Chabha Hireche , Arwa Khannoussi , Vincent Leilde , Cécile Plaud et al.
Colloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès hal-01839091 v1
Image document

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès hal-01933792 v1
Image document

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès hal-01933794 v1
Image document

Apprentissage par projets à l'école primaire avec les filles qui. . .

Cassandra Balland , Esther Bernard , Morgane Coat , Isabelle Fouqué , Louise Hergoualc 'H et al.
RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
Communication dans un congrès hal-01756178 v1
Image document

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès hal-01559688 v1
Image document

Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project

Vincent Ribaud , Vincent Leilde
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
Communication dans un congrès hal-01698582 v1
Image document

Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project

Vincent Leilde , Vincent Ribaud
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
Communication dans un congrès hal-01756186 v1
Image document

Model-based Diagnosis Patterns for Model Checking

Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès hal-01406604 v1
Image document

An Organizing System to Perform and Enable Verification and Diagnosis Activities

Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587
Communication dans un congrès hal-01472718 v1
Image document

Model Federation in toolchains

Joël Champeau , Vincent Leilde , Papa Issa Diallo
MODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès hal-00914367 v1

Towards Tool Integration through Artifacts and Roles

Weiqing Zhang , Vincent Leilde , Birger Moller-Pedersen , Christophe Guychard , Joël Champeau
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
Communication dans un congrès hal-01472914 v1

Framework for Integrating ESL Tools

Ali Koudri , Teodora Petrisor , Joël Champeau , Vincent Leilde
PMDE 2011, Jun 2011, United Kingdom
Communication dans un congrès hal-00678272 v1

An approach for describing concurrency and communication of heterogeneous systems

Papa Issa Diallo , Joël Champeau , Vincent Leilde
BM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès hal-01156533 v1

Model Based Engineering for the support of Models of Computation: The Cometa Approach

Papa Issa Diallo , Joël Champeau , Vincent Leilde
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Communication dans un congrès hal-00635594 v1

MoPCoM Methodology: Focus on Models of Computation

Ali Koudri , Joël Champeau , Jean-Christophe Le Lann , Vincent Leilde
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Communication dans un congrès hal-00517464 v1