| 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 | 120 | 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 | 82 | 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 | 77 | 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 | 55 | 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 | 48 | 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 | 40 | 2015 |
| 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 | 31 | 2017 |
| 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 | 28 | 2018 |
| Deep feature extraction and combination for synthetic aperture radar target classification M Amrani, F Jiang Journal of Applied Remote Sensing 11 (4), 042616, 2017 | 26 | 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 | 14 | 2016 |
| 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 | 11 | 2019 |
| Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies Y Elrakaiby, M Amrani, Y Le Traon International Symposium on Engineering Secure Software and Systems, 19-34, 2014 | 11 | 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 | 10 | 2017 |
| 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 | 10* | 2017 |
| ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification M Amrani, L Lúcio, A Bibal arXiv preprint arXiv:1806.03600, 2018 | 9 | 2018 |
| 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 | 8 | 2018 |
| 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 | 7 | 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 |
| 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 | 5 | 2012 |
Levi LucioSoftware Architect, Airbus Defence and SpaceVerified email at airbus.com
