| Comparison of formalisation approaches of UML class constructs in Z and Object-Z N Amálio, F Polack International Conference of B and Z Users, 339-358, 2003 | 78* | 2003 |
| Formal proof from UML models N Amálio, S Stepney, F Polack International Conference on Formal Engineering Methods, 418-433, 2004 | 50 | 2004 |
| Generative frameworks for rigorous model-driven development N Amálio University of York, 2006 | 42 | 2006 |
| An object-oriented structuring for Z based on views N Amálio, F Polack, S Stepney International Conference of B and Z Users, 262-278, 2005 | 27 | 2005 |
| 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 | 24 | 2010 |
| 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, 151-199, 2010 | 24 | 2010 |
| A formal template language enabling metaproof N Amálio, S Stepney, F Polack International Symposium on Formal Methods, 252-267, 2006 | 23 | 2006 |
| 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 | 20 | 2015 |
| Modular UML semantics: Interpretations in Z based on templates and generics N Amálio, S Stepney, F Polack FACS 3 (284), 81-100, 2003 | 19 | 2003 |
| Building VCL models and automatically generating Z specifications from them N Amálio, C Glodt, P Kelsen International Symposium on Formal Methods, 149-153, 2011 | 17 | 2011 |
| 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 | 17 | 2007 |
| UML+ Z: Augmenting UML with Z N Amálio, F Polack, S Stepney Software Specification Methods, 81-102, 2006 | 14 | 2006 |
| A tool for visual and formal modelling of software designs N Amálio, C Glodt Science of Computer Programming 98, 52-79, 2015 | 13 | 2015 |
| From monitoring templates to security monitoring and threat detection N Amálio, G Spanoudakis 2008 Second International Conference on Emerging Security Information …, 2008 | 12 | 2008 |
| 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 | 11 | 2012 |
| Checking SysML models for co-simulation N Amálio, R Payne, A Cavalcanti, J Woodcock International Conference on Formal Engineering Methods, 450-465, 2016 | 10 | 2016 |
| Behavioural models for FMI co-simulations A Cavalcanti, J Woodcock, N Amálio International Colloquium on Theoretical Aspects of Computing, 255-273, 2016 | 9 | 2016 |
| Specifying structural properties and their constraints formally, visually and modularly using VCL N Amálio, P Kelsen, Q Ma Enterprise, Business-Process and Information Systems Modeling, 261-273, 2010 | 9 | 2010 |
| 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, ... European Conference on Modelling Foundations and Applications, 361-376, 2011 | 8 | 2011 |
| Foundations of the SysML profile for CPS modelling N Amálio, R Payne, A Cavalcanti, E Brosse Deliverable D2. 1a, version 1, 2015 | 7 | 2015 |
Pierre KelsenProfessor of Computer Science, University of LuxembourgAdresse e-mail validée de uni.lu
