Nombre de documents

11

Vincent LEILDE


Article dans une revue1 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〉

Communication dans un congrès9 documents

  • 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, 2017, Proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. <http://sefm17.fbk.eu/>. <hal-01559688>
  • 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. Lectune Notes in Computer Science (9937), pp.576-587, 2016, Proceedings of the 17th International Conference on Intelligent Data Engineering and Automated Learning – IDEAL 2016. <http://www.springer.com/fr/book/9783319462561#>. <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, Second International Workshop on Patterns in Model Engineering. <http://ceur-ws.org/Vol-1693/>. <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. IEEE, Conference: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01, Volume (01), pp.603-613, 2012, Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference. <10.1109/APSEC.2012.45 · >. <hal-01472914>
  • 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. 2011. 〈hal-01156533〉
  • Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde. Framework for Integrating ESL Tools. PMDE 2011, Jun 2011, United Kingdom. 2011. 〈hal-00678272〉
  • 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. 42, pp.ISSN 1863-2122, 2011. 〈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, 2010. 〈hal-00517464〉

Pré-publication, Document de travail1 document

  • Vincent Ribaud, Vincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project (short paper). 2017. <hal-01559689>