Follow
Nuno Amálio
Title
Cited by
Cited by
Year
Formal proof from UML models
N Amálio, S Stepney, F Polack
Formal Methods and Software Engineering: 6th International Conference on …, 2004
562004
Comparison of formalisation approaches of UML class constructs in Z and Object-Z
N Amálio, F Polack
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
492003
Generative frameworks for rigorous model-driven development
N Amálio
University of York, 2006
412006
Using VCL as an aspect-oriented approach to requirements modelling
N Amálio, P Kelsen, Q Ma, C Glodt
Transactions on aspect-oriented software development VII: a common case …, 2010
302010
An object-oriented structuring for Z based on views
N Amálio, F Polack, S Stepney
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
272005
Modular design by contract visually and formally using VCL
N Amálio, P Kelsen
2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 227-234, 2010
242010
Fragmenta: A theory of fragmentation for MDE
N Amálio, J de Lara, E Guerra
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
232015
A formal template language enabling metaproof
N Amálio, S Stepney, F Polack
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
232006
Modular UML semantics: Interpretations in Z based on templates and generics
N Amálio, S Stepney, F Polack
FACS 3 (284), 81-100, 2003
202003
Building VCL models and automatically generating Z specifications from them
N Amálio, C Glodt, P Kelsen
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
172011
Frameworks based on templates for rigorous model-driven development
N Amálio, F Polack, S Stepney
Electronic Notes in Theoretical Computer Science 191, 3-23, 2007
172007
A tool for visual and formal modelling of software designs
N Amálio, C Glodt
Science of Computer Programming 98, 52-79, 2015
152015
Checking SysML models for co-simulation
N Amálio, R Payne, A Cavalcanti, J Woodcock
Formal Methods and Software Engineering: 18th International Conference on …, 2016
142016
From monitoring templates to security monitoring and threat detection
N Amálio, G Spanoudakis
2008 Second International Conference on Emerging Security Information …, 2008
132008
UML+ Z: Augmenting UML with Z
N Amálio, F Polack, S Stepney
Software Specification Methods, 81-102, 2006
132006
Behavioural models for FMI co-simulations
A Cavalcanti, J Woodcock, N Amálio
International Colloquium on Theoretical Aspects of Computing, 255-273, 2016
122016
Assessing composition in modeling approaches
G Mussbacher, O Alam, M Alhaj, S Ali, N Amálio, B Barn, R Brćk, T Clark, ...
Proceedings of the CMA 2012 Workshop, 1-26, 2012
122012
Foundations of the SysML profile for CPS modelling
N Amálio, R Payne, A Cavalcanti, E Brosse
Deliverable D2. 1a, version 1, 2015
102015
Modelling a cardiac pacemaker visually and formally
J Leemans, N Amálio
2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2012
92012
Aspect-oriented model development at different levels of abstraction
M Alférez, N Amálio, S Ciraci, F Fleurey, J Kienzle, J Klein, M Kramer, ...
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20