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