Home // Research // FSTC // Computer Sci... // Members // Nuno Amalio

Nuno Amalio

Research associate

University of Luxembourg

Faculté des Sciences, de la Technologie et de la Communication
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg

Research Unit :	CSC
Office :	Campus Kirchberg, L 110
Telephone :	(+352) 46 66 44 5634
Email :

Bio

Nuno Amálio was awarded a PhD in Computer Science with the University of York (UK) in 2007. He holds an MSc in Software Engineering with the University of York (UK), and a BsC in Computer Science with the Faculty of Science of the University of Lisbon (Portugal). Currently, Nuno is a post-doctoral research collaborator at the University of Luxembourg. Previously, he worked as post-doctotoral research fellow at the City University of London, and he spent one year in industry working at Praxis High Integrity Systems Ltd (Bath, UK), working in the development of large-scale critical systems.

Research Interests

Software engineering, security, formal methods, visual languages and model-driven development.

Research

Currently, Nuno is developing the Visual Contract Language (VCL) , a visual language for the formal specification of software systems at the level of requirements or high-level designs.

Publications

Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen. Platform-Variant Applications from Platform-Independent Models via Templates. In Electronic Notes In Theoretical Computer Science, 279(3): 3-25. 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.
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 ECMFA 2011. LNCS 6698. 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. Visual Behavioural Modelling with Contracts. In FLACOS 2010. 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. Transactions on Aspect-Oriented Software Development 7: 151-199. 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.
Nuno Amálio. Analysing security requirements formally and flexibly based on suspicion. International Journal of Advances in Security 2(4): 344-357. 2009.
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma: From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796. 2009.
Nuno Amálio: Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE 2009: 217-223. IEEE. 2009.
Nuno Amálio, Fiona Polack, Jing Zhang: Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ 2008: 323-336. LNCS 5238. Springer. 2008.
Nuno Amálio, George Spanoudakis: From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE 2008: 185-192. IEEE. 2008.
Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23. 2007.
Nuno Amálio, Fiona Polack, Susan Stepney. UML + Z: Augmenting UML with Z. In Marc Frappier, Henri Habrias, eds. Software Specification Methods : an Overview Using a Case Study, new edn, Hermes Science Publishing, 2006.
Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267. LNCS 4085. Springer. 2006.
Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278. LNCS 3455. Springer. 2005.
Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433. LNCS 3308. Springer. 2004.
Nuno Amálio, Susan Stepney, Fiona Polack. Modular UML Semantics: Interpretations in Z Based on Templates and Generics. In Hung Dang Van, Zhiming Liu, editors. FACS'03 Workshop on Formal Aspects of Component Software. UNU/IIST Technical Report 284. 2003.
Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358. LNCS 2651. Springer. 2003.