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 | 153 | 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 | 99 | 2012 |
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 | 62 | 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 | 58 | 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 | 54 | 2015 |
New SAR target recognition based on YOLO and very deep multi-canonical correlation analysis M Amrani, A Bey, A Amamra International Journal of Remote Sensing 43 (15-16), 5800-5819, 2022 | 50 | 2022 |
An efficient feature selection for SAR target classification M Amrani, K Yang, D Zhao, X Fan, F Jiang Advances in Multimedia Information Processing–PCM 2017: 18th Pacific-Rim …, 2018 | 32 | 2018 |
Multi-paradigm modelling for cyber–physical systems: a descriptive framework M Amrani, D Blouin, R Heinrich, A Rensink, H Vangheluwe, A Wortmann Software and Systems Modeling 20 (3), 611-639, 2021 | 29 | 2021 |
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 | 21 | 2019 |
Complex event processing for user-centric management of IoT systems M Amrani, F Gilson, V Englebert Model-Driven Engineering and Software Development: 5th International …, 2018 | 21* | 2018 |
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 | 16 | 2018 |
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 | 15 | 2016 |
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies Y Elrakaiby, M Amrani, Y Le Traon Engineering Secure Software and Systems: 6th International Symposium, ESSoS …, 2014 | 11 | 2014 |
Model-Based Mutation Operators for Timed Systems: a Taxonomy and Research Agenda JJO Vega, G Perrouin, M Amrani, PY Schobbens 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 8 | 2018 |
Towards the Formal Verification of Model Transformations: An Application to Kermeta M Amrani University of Luxembourg, Luxembourg, 2013 | 8 | 2013 |
Multi-timed bisimulation for distributed timed automata J Ortiz, M Amrani, PY Schobbens NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 7 | 2017 |
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 |
Experience report on soft and project skills building through repetition X Devroey, M Amrani, B Vanderose Proceedings of the 3rd international workshop on education through advanced …, 2021 | 3 | 2021 |
: A Distributed Real-Time Modal Logic J Ortiz, M Amrani, PY Schobbens NASA Formal Methods Symposium, 19-35, 2019 | 3 | 2019 |