Role
Dr. Nuno Amálio is a senior lecturer in Computer Science at Nottingham Trent University. Dr. Amálio's expertise lies in software engineering, specifically in the areas of software modelling, design, formal methods and software verification. His research interests lie in the fields of model-driven development, visual languages, formal methods, formal verification, formal semantics, requirements engineering, empirical software engineering and cyber-security. Further information about Dr. Amálio's research and publications can be found here.
Publications
Most Recent Publications
- Nuno Amálio. Enhancing Expressivity, Modularity and Rigour of Graphical Data Modelling with Fragmenta. ACM Transactions on Software Engineering and Methodology (IF: 6.9), 35(8): 1–76. 2026.
- Nuno Amálio, Lionel Briand and Pierre Kelsen. An Experimental Scrutiny of Visual Design Modelling: VCL up against UML+OCL. Empirical Software Engineering (IF: 5.42), 25, 1205 –1258. 2020.
- 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): 255-298. Springer. 2019.
- Nuno Amálio, Richard Payne, Ana Cavalcanti and Jim Woodcock. Checking SysML Models for Co-Simulation. ICFEM 2016 (ranking B). 2016. LNCS 10009.