Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. - Nuno Amálio; Fiona Polack (ZB, 2003)

Formal Proof from UML Models. - Nuno Amálio; Susan Stepney; Fiona Polack (ICFEM, 2004)

An Object-Oriented Structuring for Z Based on Views. - Nuno Amálio; Fiona Polack; Susan Stepney (ZB, 2005)

Frameworks Based on Templates for Rigorous Model-driven Development. - Nuno Amálio; Fiona Polack; Susan Stepney (IFM Doctoral Symposium, 2005)

A Formal Template Language Enabling Metaproof. - Nuno Amálio; Susan Stepney; Fiona Polack (FM, 2006)

Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. - Nuno Amálio; Fiona Polack; Jing Zhang (ABZ, 2008)

From Monitoring Templates to Security Monitoring and Threat Detection. - Nuno Amálio; George Spanoudakis (SECURWARE, 2008)

From platform-independent to platform-specific models using democles. - Christian Glodt; Pierre Kelsen; Nuno Amálio; Qin Ma 002 (OOPSLA Companion, 2009)

Suspicion-Driven Formal Analysis of Security Requirements. - Nuno Amálio (SECURWARE, 2009)

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. - Nuno Amálio; Pierre Kelsen; Qin Ma 002 (BMMDS/EMMSAD, 2010)

VCL, a Visual Language for Modelling Software Systems Formally. - Nuno Amálio; Pierre Kelsen (Diagrams, 2010)

Modular Design by Contract Visually and Formally Using VCL. - Nuno Amálio; Pierre Kelsen (VL/HCC, 2010)

Using VCL as an Aspect-Oriented Approach to Requirements Modelling. - Nuno Amálio; Pierre Kelsen; Qin Ma 002; Christian Glodt (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Aspect-Oriented Model Development at Different Levels of Abstraction. - Mauricio Alférez; Nuno Amálio; Selim Ciraci; Franck Fleurey; Jörg Kienzle; Jacques Klein; Max E. Kramer; Sébastien Mosser 001; Gunter Mussbacher; Ella E. Roubtsova; Gefei Zhang (ECMFA, 2011)

Building VCL Models and Automatically Generating Z Specifications from Them. - Nuno Amálio; Christian Glodt; Pierre Kelsen (FM, 2011)

Platform-Variant Applications from Platform-Independent Models via Templates. - Nuno Amálio; Christian Glodt; Frederico Pinto; Pierre Kelsen (WGT@ETAPS, 2011)

Modelling a cardiac pacemaker visually and formally. - Jérôme Leemans; Nuno Amálio (VL/HCC, 2012)

Suitability of visual modelling languages for modelling tangible user interface applications. - Eric Tobias; Eric Ras; Nuno Amálio (VL/HCC, 2012)

Relaxing Behavioural Inheritance - Nuno Amálio (Refine@IFM, 2013)

Fragmenta: A theory of fragmentation for MDE. - Nuno Amálio; Juan de Lara; Esther Guerra (MoDELS, 2015)

A tool for visual and formal modelling of software designs. - Nuno Amálio; Christian Glodt (Sci. Comput. Program., 2015)

Checking SysML Models for Co-simulation. - Nuno Amálio; Richard John Payne; Ana Cavalcanti 001; Jim Woodcock 001 (ICFEM, 2016)

Behavioural Models for FMI Co-simulations. - Ana Cavalcanti 001; Jim Woodcock 001; Nuno Amálio (ICTAC, 2016)

An experimental scrutiny of visual design modelling: VCL up against UML+OCL. - Nuno Amálio; Lionel C. Briand; Pierre Kelsen (Empir. Softw. Eng., 2020)