  | Amalio, N., Briand, L., & Kelsen, P. (2019). An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empirical Software Engineering. doi:10.1007/s10664-019-09784-9  Peer Reviewed verified by ORBi |
 | Amalio, N. (2013). Relaxing Behavioural Inheritance. Electronic Proceedings in Theoretical Computer Science, 115, 68–83. doi:10.4204/EPTCS.115.5 Peer Reviewed verified by ORBi |
 | Mussbacher, G., & Amalio, N. (2012). Assessing Composition in Modeling Approaches. In Proceedings of the CMA 2012 Workshop. ACM. doi:10.1145/2459031.2459032 |
 | Tobias, E., Ras, E., & Amalio, N. (2012). Suitability of visual modelling languages for modelling tangible user interface applications. In Visual Languages and Human-Centric Computing (VL/HCC) (pp. 269 - 270). IEEE. doi:10.1109/VLHCC.2012.6344548 Peer reviewed |
 | Leemans, J., & Amalio, N. (2012). Modelling a cardiac pacemaker visually and formally. In VLHCC 2012 (pp. 257 - 258). IEEE. doi:10.1109/VLHCC.2012.6344542 Peer reviewed |
 | Amalio, N. (2012). The Type System of VCL. (TR-LASSY-12-11). Luxembourg, Luxembourg: Laboratory for Advanced Software Systems. |
 | Amalio, N., Glodt, C., Pinto, F., & Kelsen, P. (2011). Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates. Electronic Notes in Theoretical Computer Science, 279 (3), 3-25. doi:10.1016/j.entcs.2011.11.035 Peer reviewed |
 | Amalio, N., Glodt, C., & Kelsen, P. (2011). Building VCL Models and Automatically Generating Z Specifications from Them. In Formal Methods - 17th International Symposium on Formal Methods (pp. 149-153). Springer. doi:10.1007/978-3-642-21437-0_13 Peer reviewed |
 | Alferez, M., Amalio, N., Ciraci, S., Fleurey, F., Kienzle, J., Klein, J., Kramer, M., Mosser, S., Mussbacher, G., Roubtsova, E., & Zhang, G. (2011). Aspect-Oriented Model Development at Different Levels of Abstraction. In Modelling Foundations and Applications - 7th European Conference, ECMFA 2011 (pp. 6698–361). Springer. Peer reviewed |
 | Amalio, N. (2011). The Type System of VCL Structural and Assertion Diagrams. (TR-LASSY-11-04). Luxembourg, Luxembourg: Laboratory for Advanced Software Systems. |
 | Amalio, N., & Kelsen, P. (2010). Modular Design by Contract Visually and Formally using VCL. In Visual Languages and Human-Centric Computing (VL/HCC). IEEE. doi:10.1109/VLHCC.2010.39 Peer reviewed |
 | Amalio, N., & Kelsen, P. (2010). Visual behavioral modelling with contracts [Paper presentation]. FLACOS 2010, Pisa, Italy. |
 | Amalio, N., & Kelsen, P. (2010). VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly. In Diagrams 2010 (pp. 282-284). Springer. doi:10.1007/978-3-642-14600-8_29 Peer reviewed |
 | Amalio, N., Kelsen, P., Ma, Q., & Glodt, C. (2010). Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Transactions on Aspect-Oriented Software Development, 7, 151-199. doi:10.1007/978-3-642-16086-8_5 Peer reviewed |
 | Amalio, N., Kelsen, P., & Ma, Q. (2010). Specifying structural properties and their constraints formally, visually and modularly using VCL. In 15th International Conference, EMMSAD 2010 (pp. 50–261). Springer. doi:10.1007/978-3-642-13051-9_22 Peer reviewed |
 | Amalio, N. (2009). Analysing Security requirements formally and flexibly based on suspicion. International Journal on Advances in Security, 2 (4), 344-357. Peer Reviewed verified by ORBi |
 | Amalio, N. (2009). Suspicion-driven formal analysis of security requirements. SECURWARE 2009. doi:10.1109/SECURWARE.2009.40 Peer reviewed |
 | Glodt, C., Kelsen, P., Amalio, N., & Ma, Q. (2009). From Platform-Independent to Platform-Specific Models using Democles. International Conference on Object-Oriented Programming, Systems, Languages, and Applications. doi:10.1145/1639950.1640019 Peer reviewed |