| 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 | 136 | 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 | 84 | 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 | 61 | 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 | 54 | 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 | 48 | 2015 |
| 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 | 20 | 2019 |
| 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 | 18 | 2021 |
| 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 | 17* | 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 | 16 | 2016 |
| 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 | 11 | 2018 |
| 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 |
| Towards the Formal Verification of Model Transformations: An Application to Kermeta M Amrani University of Luxembourg, Luxembourg, 2013 | 8 | 2013 |
| 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 | 7 | 2018 |
| 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 |
| Multi-timed bisimulation for distributed timed automata J Ortiz, M Amrani, PY Schobbens NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 4 | 2017 |
| 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 |
| State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development S Klikovits, R Al-Ali, M Amrani, A Barisic, F Barros, D Blouin, E Borde, ... COST European Cooperation in Science and Technology, 2019 | 3 | 2019 |
| Framework to Relate/Combine Modeling Languages and Techniques R Al-Ali, M Amrani, S Bandyopadhyay, A Barisic, F Barros, D Blouin, ... COST European Cooperation in Science and Technology, 2017 | 3 | 2017 |
| Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). M Amrani, E Syriani, M Wimmer, R Bill, M Gogolla, F Hermann, K Lano VOLT@ STAF, 1-9, 2014 | 2 | 2014 |
Eugene SyrianiUniversité de MontréalVerified email at iro.umontreal.ca
