Peer-reviewed Papers

Eric Tobias, Eric Ras, Nuno Amálio. Suitability of visual modelling languages for modelling tangible user interface applications. In VL/HCC 2012. IEEE. 2012.
Jérôme Leemans, Nuno Amálio. Modelling a cardiac pacemaker visually and formally. In VL/HCC 2012. IEEE. 2012.
Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction. In ICFEM 2011. LNCS 6698. Springer. 2011.
Nuno Amálio, Christian Glodt, Pierre Kelsen. Building VCL Models and Automatically Generating Z Specifications from Them. In FM 2011. LNCS 6664. Springer. 2011.
Nuno Amálio, Pierre Kelsen. Modular Design by Contract Visually and Formally using VCL. In VL/HCC 2010. IEEE. 2010.
Nuno Amálio, Pierre Kelsen. VCL, a Visual Language for Modelling Software Systems Formally. In Diagrams 2010: 282-284. LNCS 6170. Springer. 2010.
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt. Using VCL as an Aspect-Oriented Approach to Requirements Modelling. In Transactions on Aspect-Oriented Software Development 7: 151-199. Springer. 2010.
Nuno Amálio, Pierre Kelsen, Qin Ma. Specifying structural properties and their constraints formally, visually and modularly using VCL. In EMMSAD 2010: 261-273. LNBIP 50. Springer. 2010.

Technical Reports

Nuno Amálio. The VCL Model of the Barbados Crisis Management System. Technical Report TR-12-09. Univ. of Luxembourg, LASSY. 2012. (For participation at the comparing modelling approaches workshop of Models 2012.)
Eric Tobias, Eric Ras, Nuno Amálio. VML Usability for Modelling TUI Scenarios – A Comparative Study. Technical Report TR-12-06. Univ. of Luxembourg, LASSY. 2012.
Jérôme Leemans, Nuno Amálio. A VCL model of a cardiac pacemaker. Technical Report TR-12-04. Univ. of Luxembourg, LASSY. 2012.
Nuno Amálio. The VCL model of secure simple Bank. Technical Report TR-11-10. Univ. of Luxembourg, LASSY. 2010.
Nuno Amálio, Pierre Kelsen. The visual contract language: abstract modelling of software systems visually, formally and modularly Technical Report TR-10-03. Univ. of Luxembourg, LASSY. 2010.
Nuno Amálio, Qin Ma, Christian Glodt and Pierre Kelsen. VCL specification of the car-crash crisis management system. Technical Report TR-09-03. Univ. of Luxembourg, LASSY. 2009.

Eric Tobias. Visual Modelling of and on Tangible User Interfaces. Masters Thesis. Faculty of Science, Technology and Communication, University of Luxembourg. 2012.

The Visual Contract Language and the Visual Contract Builder tool are developed by the following members of the Laboratory for Advanced Software Systems at the Faculty of Sciences, Technology and Communication of the University of Luxembourg: