Moussa AMRANI
Titel
Zitiert von
Zitiert von
Jahr
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
992016
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
762012
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
492012
Advances in model-driven security
L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ...
Advances in Computers 93, 103-152, 2014
422014
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, Y Le Traon, ...
342015
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
292018
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
152017
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
132018
Deep feature extraction and combination for synthetic aperture radar target classification
M Amrani, F Jiang
Journal of Applied Remote Sensing 11 (4), 042616, 2017
102017
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
102014
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
92016
Towards the Formal Verification of Model Transformations: An Application to Kermeta
M Amrani
University of Namur (Belgium, 1977
71977
A formal semantics of kermeta
M Amrani
Formal and Practical Aspects of Domain-Specific Languages: Recent …, 2013
52013
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
42017
Towards User-centric DSLs to Manage IoT Systems.
M Amrani, F Gilson, A Debieche, V Englebert
MODELSWARD, 569-576, 2017
42017
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
42012
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
32018
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
32017
Multi-timed bisimulation for distributed timed automata
J Ortiz, M Amrani, PY Schobbens
NASA Formal Methods Symposium, 52-67, 2017
22017
Patrick Heymans
P Heymans
Retrieved March 27, 2013, 2013
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20