Nuno Amálio

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

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

Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen: Platform-Variant Applications from Platform-Independent Models via Templates. Electr. Notes Theor. Comput. Sci. 279(3): 3-25 (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: 361-376

Nuno Amálio, Christian Glodt, Pierre Kelsen: Building VCL Models and Automatically Generating Z Specifications from Them. FM 2011: 149-153

Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. T. 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. BMMDS/EMMSAD 2010: 261-273

Nuno Amálio, Pierre Kelsen: VCL, a Visual Language for Modelling Software Systems Formally. Diagrams 2010: 282-284

Nuno Amálio, Pierre Kelsen: Modular Design by Contract Visually and Formally Using VCL. VL/HCC 2010: 227-234

Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma: From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796

Nuno Amálio: Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE 2009: 217-223

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

Nuno Amálio, George Spanoudakis: From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE 2008: 185-192

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, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267

Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278

Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433

Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358