Back
  1. Home
  2. Profile of Moussa AMRANI (Unilu)
Profil

AMRANI Moussa

Main Referenced Co-authors
Vangheluwe, Hans (5)
LE TRAON, Yves  (4)
Lúcio, Lévi (4)
Syriani, Eugene (4)
Dingel, Jürgen (3)
Main Referenced Keywords
Model-Driven Engineering (2); Access Control (1); Domain specific modeling languages (1); Domain-Specific Languages (1); Fine-grained security policies (1);
Main Referenced Disciplines
Computer science (12)

Publications (total 12)

The most downloaded
789 downloads
Amrani, M. (2013). Towards the Formal Verification of Model Transformations: An Application to Kermeta [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/14635 https://hdl.handle.net/10993/14635

The most cited

65 citations (Scopus®)

Lúcio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., Syriani, E., & Wimmer, M. (2014). Model Transformation Intents and Their Properties. Software and Systems Modeling. doi:10.1007/s10270-014-0429-x https://hdl.handle.net/10993/14619

Lúcio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., Syriani, E., & Wimmer, M. (2014). Model Transformation Intents and Their Properties. Software and Systems Modeling. doi:10.1007/s10270-014-0429-x
Peer reviewed

Amrani, M., Lúcio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y., & Cordy, J. (2014). A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification. Journal of Technology. doi:10.5381/jot.2015.14.1.a3
Peer reviewed

Elrakaiby, Y., Amrani, M., & Le Traon, Y. (2014). A Flexible MDE approach to Enforce Fine- grained Security Policies. In Proceedings of the International Symposium on Engineering Secure Software and Systems.
Peer reviewed

Lucio, L., Zhang, Q., Nguyen, P. H., Amrani, M., Klein, J., Vangheluwe, H., & Le Traon, Y. (2014). Advances in Model-Driven Security. In A. Memon (Ed.), Advances in Computers. Elsevier. doi:10.1016/B978-0-12-800162-2.00003-8
Peer reviewed

Elrakaiby, Y., Amrani, M., & Le Traon, Y. (2014). Security@Runtime: A flexible MDE approach to enforce fine-grained security policies. Lecture Notes in Computer Science, 8364 LNCS, 19-34. doi:10.1007/978-3-319-04897-0-2
Peer reviewed

Amrani, M. (2013). Towards the Formal Verification of Model Transformations: An Application to Kermeta [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/14635

Amrani, M., Lucio, L., Selim, G. M. K., Combemale, B., Dingel, J., Vangheluwe, H., LeTraon, Y., & Cordy, J. R. (2012). A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In Proceedings of the First Workshop on Verification and Validation of Model Transformations (pp. 921-928). doi:10.1109/ICST.2012.197
Peer reviewed

Amrani, M. (2012). A Formal Semantics of Kermeta. (TR-LASSY-12-12).

Amrani, M., Dingel, J., Lambers, L., Lúcio, L., Salay, R., Selim, G., Syriani, E., & Wimmer, M. (2012). Towards a Model Transformation Intent Catalog. In Proceedings of the First Workshop on Analysis of Model Transformations. doi:10.1145/2432497.2432499
Peer reviewed

Lucio, L., Syriani, E., Amrani, M., Zhang, Q., & Vangheluwe, H. (2012). Invariant Preservation In Iterative Modeling. Workshop on Models And Evolution, co-located with MoDELS 2012, 1-6. doi:10.1145/2523599.2523610
Peer reviewed

Amrani, M., Lúcio, L., Syriani, E., Zhang, Q., & Vangheluwe, H. (2012). Invariant Preservation in Interative Modelling (Extended Version). (TR-LASSY-12-13). Luxembourg, Luxembourg: University of Luxembourg.

Amrani, M. (2012). A Formal Semantics of Kermeta. In M. Mernik (Ed.), Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (pp. 274 - 315). Hershey, PA, USA, Unknown/unspecified: IGI Global. doi:10.4018/978-1-4666-2092-6.ch010
Peer reviewed

Contact ORBilu