| Formal proof from UML models N Amálio, S Stepney, F Polack Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 56 | 2004 |
| 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 | 52 | 2003 |
| Generative frameworks for rigorous model-driven development N Amálio University of York, 2006 | 42 | 2006 |
| 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 | 30 | 2010 |
| 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 | 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 |
| 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 | 23 | 2015 |
| A formal template language enabling metaproof N Amálio, S Stepney, F Polack FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 23 | 2006 |
| Modular UML semantics: Interpretations in Z based on templates and generics N Amálio, S Stepney, F Polack FACS 3 (284), 81-100, 2003 | 20 | 2003 |
| 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 | 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 |
| 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 | 16 | 2016 |
| A tool for visual and formal modelling of software designs N Amálio, C Glodt Science of Computer Programming 98, 52-79, 2015 | 15 | 2015 |
| UML+ Z: Augmenting UML with Z N Amálio, F Polack, S Stepney Software Specification Methods, 81-102, 2006 | 14 | 2006 |
| Behavioural models for FMI co-simulations A Cavalcanti, J Woodcock, N Amálio International Colloquium on Theoretical Aspects of Computing, 255-273, 2016 | 13 | 2016 |
| From monitoring templates to security monitoring and threat detection N Amálio, G Spanoudakis 2008 Second International Conference on Emerging Security Information …, 2008 | 13 | 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 | 12 | 2012 |
| Foundations of the SysML profile for CPS modelling N Amálio, R Payne, A Cavalcanti, E Brosse Deliverable D2. 1a, version 1, 2015 | 10 | 2015 |
| 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 | 10 | 2011 |
| 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 | 9 | 2012 |
Pierre KelsenProfessor of Computer Science, University of LuxembourgAdresse e-mail validée de uni.lu
