Vincent LEILDE

Publications

Article dans une revue (1)

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-00677183v1

Communication dans un congrès (16)

Engineering projects &quot;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-02332734v1
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-01933792v1
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-01933794v1
Apprentissage par projets à l'école primaire avec les filles qui. . . Cassandra Balland,Esther Bernard,Morgane Coat,Isabelle Fouqué,Louise Hergoualc 'Het 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-01756178v1
Ingénierie des projets Savanturiers de l'ingénierie Vincent Ribaud,Chabha Hireche,Arwa Khannoussi,Vincent Leilde,Cécile Plaudet al. Colloque Education par la recherche, Jul 2018, Paris, France Communication dans un congrès hal-01839091v1
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-01756186v1
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-01698582v1
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-01559688v1
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-01406604v1
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-01472718v1
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-00914367v1
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-01472914v1
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-00678272v1
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-00635594v1
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-01156533v1
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-00517464v1