Follow
Moussa AMRANI
Title
Cited by
Cited by
Year
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
1282016
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
842012
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
592012
Advances in model-driven security
L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ...
Advances in Computers 93, 103-152, 2014
532014
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
432015
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
162019
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
142016
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
12*2017
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies
Y Elrakaiby, M Amrani, YL Traon
International Symposium on Engineering Secure Software and Systems, 19-34, 2014
112014
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
102021
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
92018
Towards the Formal Verification of Model Transformations: An Application to Kermeta
M Amrani
University of Luxembourg, Luxembourg, 2013
82013
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
52012
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
42018
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, 2019
32019
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, ...
32019
Multi-timed bisimulation for distributed timed automata
J Ortiz, M Amrani, PY Schobbens
NASA Formal Methods Symposium, 52-67, 2017
22017
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
12021
Preface to the 1st multi-paradigm modeling for cyber-physical systems (MPM4CPS 2019)
S Van Mierlo, E Syriani, D Blouin, M Amrani, J Deantoni, M Wimmer
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20