Towards tool integration through artifacts and roles W Zhang, V Leilde, B Møller-Pedersen, J Champeau, C Guychard 2012 19th Asia-Pacific Software Engineering Conference 1, 603-613, 2012 | 22 | 2012 |
Mopcom methodology: Focus on models of computation A Koudri, J Champeau, JC Le Lann, V Leilde Modelling Foundations and Applications: 6th European Conference, ECMFA 2010 …, 2010 | 7 | 2010 |
An organizing system to perform and enable verification and diagnosis activities V Leilde, V Ribaud, P Dhaussy Intelligent Data Engineering and Automated Learning–IDEAL 2016: 17th …, 2016 | 6 | 2016 |
CDL language specification (Context Description Language) P Dhaussy, S Creff, PY Pillain, V Leilde Technical report version NDTN/2009/8, ENSIETA, 2009 | 5 | 2009 |
Model Federation in toolchains J Champeau, V Leildé, PI Diallo MODELS 2013, 2013 | 4 | 2013 |
A diagnosis framework for critical systems verification V Leilde, V Ribaud, C Teodorov, P Dhaussy 15th International Conference on Software Engineering and Formal Methods …, 2017 | 3 | 2017 |
A diagnosis framework for critical systems verification (Short Paper) V Leildé, V Ribaud, C Teodorov, P Dhaussy Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 3 | 2017 |
An approach for describing concurrency and communication of heterogeneous systems PI Diallo, J Champeau, V Leilde Proceedings of the Third Workshop on Behavioural Modelling, 56-63, 2011 | 3 | 2011 |
A framework for integrating ESL tools A Koudri, T Petrisor, J Champeau, V Leilde First Workshop on Process-based approaches for Model-Driven Engineering …, 2011 | 2 | 2011 |
Aide au diagnostic de vérification formelle de systèmes V Leildé Brest, École nationale supérieure de techniques avancées Bretagne, 2019 | 1 | 2019 |
Domain-oriented verification management V Leildé, V Ribaud, C Teodorov, P Dhaussy Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018 | 1 | 2018 |
Does process assessment drive process learning? the case of a bachelor capstone project V Leilde, V Ribaud 2017 IEEE 30th Conference on Software Engineering Education and Training …, 2017 | 1 | 2017 |
Engineering projects” Savanturiers de l’ingénierie” V Ribaud, V Leildé, C Féron, A Arora, S Le Bihan | | 2019 |
Ingénierie des projets Savanturiers de l'ingénierie V Ribaud, C Hireche, A Khannoussi, V Leilde, C Plaud, C Feron, ... Colloque Education par la recherche, 2018 | | 2018 |
Apprentissage par projets à l'école primaire avec les filles qui... C Balland, E Bernard, M Coat, I Fouqué, HH Louise, G Kervot, L Kouassi, ... RJC-EIAH 2018-Atelier" Organisation et suivi des activités d’apprentissage …, 2018 | | 2018 |
A Problem-Oriented Approach to Critical System Design and Diagnosis Support V Leildé, V Ribaud, C Teodorov, P Dhaussy New Trends in Model and Data Engineering: MEDI 2018 International Workshops …, 2018 | | 2018 |
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project V Ribaud, V Leilde International Conference on Software Process Improvement and Capability …, 2017 | | 2017 |
Model-based Diagnosis Patterns for Model Checking V Leilde, V Ribaud, P Dhaussy PAME 2016, 7-12, 2016 | | 2016 |
L'IDM, un levier pour l'intégration d'outils: l'approche iFEST V Leilde, J Champeau, PI Diallo, HU Espinoza Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes, 10-15, 2011 | | 2011 |
Towards a Diagnosis Framework for the Verification of Critical Systems Design V Leildé, V Ribaud, C Teodorov, P Dhaussy | | |