Nuno Amálio

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 5

Top Topics

Software Design

Tangible User Interface

Visual Information

Top Venues

Sci. Comput. Program.

Publications

Nuno Amálio, Lionel C. Briand, Pierre Kelsen
An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empir. Softw. Eng. 25 (2) (2020)
Ana Cavalcanti, Jim Woodcock, Nuno Amálio
Behavioural Models for FMI Co-simulations. ICTAC (2016)
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
Checking SysML Models for Co-simulation. ICFEM (2016)
Nuno Amálio, Juan de Lara, Esther Guerra
Fragmenta: A theory of fragmentation for MDE. MoDELS (2015)
Nuno Amálio, Christian Glodt
A tool for visual and formal modelling of software designs. Sci. Comput. Program. 98 (2015)
Nuno Amálio
Relaxing Behavioural Inheritance Refine@IFM (2013)
Jérôme Leemans, Nuno Amálio
Modelling a cardiac pacemaker visually and formally. VL/HCC (2012)
Eric Tobias, Eric Ras, Nuno Amálio
Suitability of visual modelling languages for modelling tangible user interface applications. VL/HCC (2012)
Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen
Platform-Variant Applications from Platform-Independent Models via Templates. Electron. Notes Theor. Comput. Sci. 279 (3) (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. ECMFA (2011)
Nuno Amálio, Christian Glodt, Pierre Kelsen
Building VCL Models and Automatically Generating Z Specifications from Them. FM (2011)
Nuno Amálio, Pierre Kelsen, Qin Ma
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD (2010)
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt
Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Nuno Amálio, Pierre Kelsen
VCL, a Visual Language for Modelling Software Systems Formally. Diagrams (2010)
Nuno Amálio, Pierre Kelsen
Modular Design by Contract Visually and Formally Using VCL. VL/HCC (2010)
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma
From platform-independent to platform-specific models using democles. OOPSLA Companion (2009)
Nuno Amálio
Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE (2009)
Nuno Amálio, George Spanoudakis
From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE (2008)
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)
Nuno Amálio, Fiona Polack, Susan Stepney
Frameworks Based on Templates for Rigorous Model-driven Development. Electron. Notes Theor. Comput. Sci. 191 (2007)
Nuno Amálio, Susan Stepney, Fiona Polack
A Formal Template Language Enabling Metaproof. FM (2006)
Nuno Amálio, Fiona Polack, Susan Stepney
An Object-Oriented Structuring for Z Based on Views. ZB (2005)
Nuno Amálio, Susan Stepney, Fiona Polack
Formal Proof from UML Models. ICFEM (2004)
Nuno Amálio, Fiona Polack
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB (2003)