Most Recent
Nuno Amálio, Lionel Briand and Pierre Kelsen. An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empirical Software Engineering. 2019. https://doi.org/10.1007/s10664-019-09784-9
Nuno Amálio. Sound and Relaxed Behavioural Inheritance. From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday. Emergence, Complexity and Computation (35). Springer. pp: 255-298. 2019.
Nuno Amálio, Richard Payne, Ana Cavalcanti and Jim Woodcock. Checking SysML Models for Co-Simulation. ICFEM'2016: 450 – 465. LNCS .Springer. 2016.
Ana Cavalcanti, Jim Woodcock and Nuno Amálio. Behavioural models for FMI simulation. ICTAC 2016: 255 – 273. LNCS. Springer. 2016.
Journal Papers
Nuno Amálio, Lionel Briand and Pierre Kelsen. An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empirical Software Engineering. 2019. https://doi.org/10.1007/s10664-019-09784-9
Nuno Amálio and Christian Glodt. A tool for visual and formal modelling of software designs. Science of Computer Programming, 98: 52–79 (2015)
Nuno Amálio, Pierre Kelsen, Qin Ma and Christian Glodt. Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Trans. Aspect-Oriented Software Development, 7: 151–199. 2010
Nuno Amálio, Christian Glodt, Frederic Pinto and Pierre Kelsen. Platform-Variant Applications from Platform-Independent Models via Templates. Electronic Notes in Theoretical Computer Science, 279(3): 3–25 (2011)
Nuno Amálio. Analysing security requirements formally and flexibly based on suspicion. International Journal of Advances in Security 2(4): 344–357. 2009.
Nuno Amálio, Fiona Polack and Susan Stepney. Frameworks based on templates for rigorous model-driven development. Electronic Notes in Theoretical Computer Science, 191: 3–23. 2007.
Book Chapters
Nuno Amálio. Sound and Relaxed Behavioural Inheritance. From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday. Emergence, Complexity and Computation (35). Springer. pp: 255-298. 2019.
Nuno Amálio, Fiona Polack and Susan Stepney. UML+Z: UML Augmented with Z. In Software Specification Methods: An Overview Using a case Study. Version 2. Hermes Science, 2006.
Conference Papers
Nuno Amálio,Richard Payne, Ana Cavalcanti and Jim Woodcock. Checking SysML Models for Co-Simulation. ICFEM'2016: 450 – 465. LNCS .Springer. 2016.
Ana Cavalcanti, Jim Woodcock and Nuno Amálio. Behavioural models for FMI simulation. ICTAC 2016: 255 – 273. LNCS. Springer. 2016.
Nuno Amálio, Juan de Lara and Esther Guerra. Fragmenta: A theory of fragmentation for MDE. Models 2015.
Nuno Amálio. Relaxing Behavioural Inheritance. Refine@IFM2013: 68–83
Jérôme Leemans and Nuno Amálio. Modelling a cardiac pacemaker visually and formally. VL/HCC 2012: 257–258.
Eric Tobias, Eric Ras and Nuno Amálio. Suitability of visual modelling languages for modelling tangible user interface applications. VL/HCC 2012: 269–270.
Gunter Mussbacher, Omar Alam, Mohammad Alhaj, Shaukat Ali, Nuno Amálio, et al. Assessing composition in modeling approaches. In Comparing Modelling Approaches. CMA workshop 2012.
Mauricio Alféres, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jôrg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova and Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction. ECMFA 2011. 2011. 361–376.
Nuno Amálio, Christian Glodt, and Pierre Kelsen. Building VCL Models and Automatically Generating Z Specifications from Them. FM 2011: 149–153.
Nuno Amálio, Pierre Kelsen, Qin Ma. Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. EMMSAD 2010. 2010
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
Nuno Amálio. Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE 2009: 217–223.
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 and George Spanoudakis. From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE 2008. 185–192. IEEE. 2008.
Nuno Amálio, Fiona Polack and Jing Zhang. Autonomous objects and bottom-up composition in ZOO applied to a case study of biological reactivity. In ABZ 2008. LNCS 5238. Springer, 2008.
Nuno Amálio, Susan Stepney and Fiona Polack. A formal template language enabling metaproof. In FM 2006. LNCS 4085, 2006. Springer.
Nuno Amálio, Fiona Polack and Susan Stepney. An Object-Oriented Structuring for Z based on Views. In ZB 2005. LNCS 3455. 2005. Springer.
Nuno Amálio, Susan Stepney and Fiona Polack. Formal Proof from UML Models. In ICFEM 2004. LNCS 3308. Springer.
Nuno Amálio, Susan Stepney and Fiona Polack. Modular UML Semantics: Interpretations in Z Based on Templates and Generics. In
FACS'03: Formal Aspects of Component Software, Int. Workshop, Pisa, Italy, Tech. Report UNU/IIST 284, 2003.
Nuno Amálio and Fiona Polack. Comparison of formalisation approaches of UML class constructs in Z and Object-Z. In ZB2003. LNCS 2651. Springer.