Model transformation intents and their properties L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
112 2016 A tridimensional approach for studying the formal verification of model transformations M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
81 2012 Detection of abnormal heart conditions based on characteristics of ECG signals M Hammad, A Maher, K Wang, F Jiang, M Amrani
Measurement 125, 634-644, 2018
52 2018 Towards a model transformation intent catalog M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
52 2012 Advances in model-driven security L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ...
Advances in Computers 93, 103-152, 2014
45 2014 Formal verification techniques for model transformations: A tridimensional classification M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, Y Le Traon, ...
The Journal of Object Technology 14 (3), 1: 1-43, 2015
37 2015 Very deep feature extraction and fusion for arrhythmias detection M Amrani, M Hammad, F Jiang, K Wang, A Amrani
Neural Computing and Applications 30 (7), 2047-2057, 2018
23 2018 Deep feature extraction and combination for remote sensing image classification based on pre-trained CNN models S Chaib, H Yao, Y Gu, M Amrani
Ninth International Conference on Digital Image Processing (ICDIP 2017 …, 2017
21 2017 Deep feature extraction and combination for synthetic aperture radar target classification M Amrani, F Jiang
Journal of Applied Remote Sensing 11 (4), 042616, 2017
19 2017 Featured model types: towards systematic reuse in modelling language engineering G Perrouin, M Amrani, M Acher, B Combemale, A Legay, PY Schobbens
Proceedings of the 8th International Workshop on Modeling in Software …, 2016
12 2016 Security@Runtime : A Flexible MDE Approach to Enforce Fine-grained Security PoliciesY Elrakaiby, M Amrani, Y Le Traon
International Symposium on Engineering Secure Software and Systems, 19-34, 2014
10 2014 Deep features for efficient multi-biometric recognition with face and ear images I Omara, G Xiao, M Amrani, Z Yan, W Zuo
Ninth International Conference on Digital Image Processing (ICDIP 2017 …, 2017
9 2017 ML + FV = M Amrani, L Lúcio, A Bibal
arXiv preprint arXiv:1806.03600, 2018
8 2018 Complex event processing for user-centric management of IoT Systems M Amrani, F Gilson, V Englebert
International Conference on Model-Driven Engineering and Software …, 2017
8 * 2017 Towards the Formal Verification of Model Transformations: An Application to Kermeta M Amrani
University of Luxembourg, Luxembourg, 2013
7 2013 A Formal Semantics of Kermeta M Amrani
Formal and Practical Aspects of Domain-Specific Languages: Recent …, 2013
7 * 2013 Towards a formal specification of multi-paradigm modelling M Amrani, D Blouin, R Heinrich, A Rensink, H Vangheluwe, A Wortmann
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
6 2019 Bag-of-visual-words based feature extraction for SAR target classification M Amrani, S Chaib, I Omara, F Jiang
Ninth International Conference on Digital Image Processing (ICDIP 2017 …, 2017
4 2017 Invariant preservation in iterative modeling L Lúcio, E Syriani, M Amrani, Q Zhang, H Vangheluwe
Proceedings of the 6th International Workshop on Models and Evolution, 57-62, 2012
4 2012 SAR-oriented visual saliency model and directed acyclic graph support vector metric based target classification M Amrani, F Jiang, Y Xu, S Liu, S Zhang
IEEE Journal of Selected Topics in Applied Earth Observations and Remote …, 2018
3 2018 
Levi LucioSoftware Architect, Airbus Defence and SpaceVahvistettu sähköpostiosoite verkkotunnuksessa airbus.com
