Follow
Hajer Saada
Hajer Saada
Collins Aerospace
Verified email at collins.com
Title
Cited by
Cited by
Year
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
482012
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
292013
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
72012
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
62018
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
62014
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
32018
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
32014
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
32011
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
The system can't perform the operation now. Try again later.
Articles 1–12