Vincent LEILDE
Publications
Publications
L'IDM, un levier pour l'intégration d'outils : l'approche iFESTGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15 |
|
|
Engineering projects "Savanturiers de l'ingénierieHICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States |
|
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco |
|
|
Domain-oriented Verification Management8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39 |
|
|
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 |
|
|
Ingénierie des projets Savanturiers de l'ingénierieColloque Education par la recherche, Jul 2018, Paris, France |
|
|
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩ |
|
|
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone ProjectInternational Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506 |
|
|
A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6 |
|
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12 |
|
|
An Organizing System to Perform and Enable Verification and Diagnosis ActivitiesIntelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587 |
|
|
Model Federation in toolchainsMODELS 2013, Sep 2013, Miami, United States |
Towards Tool Integration through Artifacts and RolesAsia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩ |
|
An approach for describing concurrency and communication of heterogeneous systemsBM-FA'11, Jun 2011, Birmingham, United Kingdom |
|
Model Based Engineering for the support of Models of Computation: The Cometa ApproachInternational Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122 |
|
Framework for Integrating ESL ToolsPMDE 2011, Jun 2011, United Kingdom |
|
MoPCoM Methodology: Focus on Models of Computation6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne |