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
790 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

66 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

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). A Flexible MDE approach to Enforce Fine- grained Security Policies. In Proceedings of the International Symposium on Engineering Secure Software and Systems.
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). 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. (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

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.

Contact ORBilu