Skip to Main content
Number of documents

17

Vincent LEILDE


Journal articles1 document

  • Vincent Leilde, Joël Champeau, Papa Issa Diallo, H. Uascar Espinoza. L'IDM, un levier pour l'intégration d'outils : l'approche iFEST. Génie logiciel, C & S, 2011, pp.10-15. ⟨hal-00677183⟩

Conference papers16 documents

  • Vincent Ribaud, Cyrielle Feron, Vincent Leilde, Ashwarya Arora, Sarah Le Bihan. Engineering projects "Savanturiers de l'ingénierie". HICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States. ⟨hal-02332734⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support. 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco. ⟨hal-01933792⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management. 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39. ⟨hal-01933794⟩
  • Cassandra Balland, Esther Bernard, Morgane Coat, Isabelle Fouqué, Louise Hergoualc 'H, et al.. Apprentissage par projets à l'école primaire avec les filles qui. . .. 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. ⟨hal-01756178⟩
  • Vincent Ribaud, Chabha Hireche, Arwa Khannoussi, Vincent Leilde, Cécile Plaud, et al.. Ingénierie des projets Savanturiers de l'ingénierie. Colloque Education par la recherche, Jul 2018, Paris, France. ⟨hal-01839091⟩
  • Vincent Leilde, Vincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project. 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩. ⟨hal-01756186⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6. ⟨hal-01559688⟩
  • Vincent Ribaud, Vincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project. International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506. ⟨hal-01698582⟩
  • Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. An Organizing System to Perform and Enable Verification and Diagnosis Activities. Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587. ⟨hal-01472718⟩
  • Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking. PAME 2016, Oct 2016, St Malo, France. pp.7-12. ⟨hal-01406604⟩
  • Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains. MODELS 2013, Sep 2013, Miami, United States. ⟨hal-00914367⟩
  • Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. Towards Tool Integration through Artifacts and Roles. Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩. ⟨hal-01472914⟩
  • Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde. Framework for Integrating ESL Tools. PMDE 2011, Jun 2011, United Kingdom. ⟨hal-00678272⟩
  • Papa Issa Diallo, Joël Champeau, Vincent Leilde. An approach for describing concurrency and communication of heterogeneous systems. BM-FA'11, Jun 2011, Birmingham, United Kingdom. ⟨hal-01156533⟩
  • Papa Issa Diallo, Joël Champeau, Vincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach. International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122. ⟨hal-00635594⟩
  • Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde. MoPCoM Methodology: Focus on Models of Computation. 6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne. ⟨hal-00517464⟩