Generation of operational transformation rules from examples of model transformations H Saada, X Dolques, M Huchard, C Nebut, H Sahraoui Model Driven Engineering Languages and Systems: 15th International …, 2012 | 48 | 2012 |
Recovering model transformation traces using multi-objective optimization H Saada, M Huchard, C Nebut, H Sahraoui 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 29 | 2013 |
Learning Model Transformations from Examples using FCA: One for All or All for One? H Saada, X Dolques, M Huchard, C Nebut, HA Sahraoui CLA 2012, 9th, 2012 | 7 | 2012 |
Lessons learned using FMI co-simulation for model-based design of cyber physical systems L Diogo Couto, S Basagiannis, EH Ridouane, E Zavaglio, P Antonante, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 6 | 2018 |
Learning model transformation patterns using graph generalization H Saada, M Huchard, M Liquière, C Nebut CLA 2014-11th International Conference on Concept Lattices and Their …, 2014 | 6 | 2014 |
Novel framework approach for model-based process integration from requirements to verification demonstrated on a complex, cyber-physical aircraft system M Gottschall, B Binder, S Reglitz, H Saada, LD Couto, F Cremona, ... SAE Technical Paper, 2018 | 3 | 2018 |
Model matching for Model Transformation a meta-heuristic approach H Saada, M Huchard, C Nebut, H Sahraoui 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 3 | 2014 |
Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples X Dolques, M Huchard, C Nebut, H Saada Proceedings of the 1st ICESE Virtual Workshop on Software Engineering and …, 2011 | 3 | 2011 |
Modeling and Conducting Security Risk Assessment of Smart Airport Infrastructures with SecRAM H Saada, R Orizio, S Sebastio Proceedings of the 7th International Conference on Networking, Intelligent …, 2024 | | 2024 |
A MBSE-based framework for aircraft systems design and evaluation H Saada, AG Garriga, C Ireland | | 2023 |
Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery) H Saada Université de Montréal, Canada, 2013 | | 2013 |
Génération de transformations de modèles par l'exemple: tolérance aux erreurs dans les exemples et au paramétrage des transformations M Huchard, C Nebut, H Saada | | 2013 |