| A conceptual model for compliance checking support of enterprise architecture decisions G Plataniotis, S De Kinderen, Q Ma, E Proper 2015 IEEE 17th Conference on Business Informatics 1, 191-198, 2015 | 49 | 2015 |
| A lightweight approach for defining the formal semantics of a modeling language P Kelsen, Q Ma International Conference on Model Driven Engineering Languages and Systems …, 2008 | 44 | 2008 |
| Corel: Policy-based and model-driven regulatory compliance management M El Kharbili, Q Ma, P Kelsen, E Pulvermueller 2011 IEEE 15th International Enterprise Distributed Object Computing …, 2011 | 39 | 2011 |
| Traceability and modeling of requirements in enterprise architecture from a design rationale perspective G Plataniotis, Q Ma, E Proper, S de Kinderen 2015 IEEE 9th International Conference on Research Challenges in Information …, 2015 | 35 | 2015 |
| Model bundling: Towards a value-based componential approach for language engineering S de Kinderen, Q Ma, HA Proper Proceedings of the 8th International Workshop on Value Modelling and …, 2014 | 33 | 2014 |
| Models within models: Taming model complexity using the sub-model lattice P Kelsen, Q Ma, C Glodt International Conference on Fundamental Approaches to Software Engineering …, 2011 | 32 | 2011 |
| 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 |
| 5.1. 2 Designing Embedded Systems using Heterogeneous Rich Components 1 B Josko, Q Ma, A Metzner INCOSE International Symposium 18 (1), 558-576, 2008 | 29 | 2008 |
| A modular model composition technique P Kelsen, Q Ma Fundamental Approaches to Software Engineering, 173-187, 2010 | 25 | 2010 |
| Requirements engineering for the design of conceptual modeling languages S De Kinderen, Q Ma Applied Ontology 10 (1), 7-24, 2015 | 21 | 2015 |
| Compiling pattern matching in join-patterns Q Ma, L Maranget International Conference on Concurrency Theory, 417-431, 2004 | 20 | 2004 |
| A generic model decomposition technique and its application to the Eclipse modeling framework Q Ma, P Kelsen, C Glodt Software & Systems Modeling 14, 921-952, 2015 | 19 | 2015 |
| Agile validation of model transformations using compound F-Alloy specifications L Gammaitoni, P Kelsen, Q Ma Science of Computer Programming 162, 55-75, 2018 | 12 | 2018 |
| Algorithms for tractable compliance problems S Colombo Tosatto, P Kelsen, Q Ma, M El Kharbili, G Governatori, ... Frontiers of computer Science 9, 55-74, 2015 | 9 | 2015 |
| Specifying structural properties and their constraints formally, visually and modularly using VCL N Amálio, P Kelsen, Q Ma International Workshop on Business Process Modeling, Development and Support …, 2010 | 9 | 2010 |
| Modeling in support of multi-perspective valuation of smart grid initiatives M Kaczmarek-Heß, Q Ma, IS Razo-Zapata 2018 12th International Conference on Research Challenges in Information …, 2018 | 7 | 2018 |
| Goal-Based Decision Making: Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis Q Ma, S de Kinderen Requirements Engineering: Foundation for Software Quality: 22nd …, 2016 | 7 | 2016 |
| The visual contract language: abstract modelling of software systems visually, formally and modularly N Amálio, P Kelsen, Q Ma Univ. of Luxembourg, Tech. Rep. TRLASSY-10-03, 2010 | 7 | 2010 |
| A formal definition of the EP language P Kelsen, Q Ma University of Luxembourg, Tech. Rep. TR-LASSY-08-03, 2008 | 6 | 2008 |
| Algebraic pattern matching in join calculus Q Ma, L Maranget Logical Methods in Computer Science 4, 2008 | 6 | 2008 |
Pierre KelsenProfessor of Computer Science, University of LuxembourgEmail verificata su uni.lu
