Follow
Qin Ma
Title
Cited by
Cited by
Year
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
512015
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
442008
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
412011
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
362015
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
332014
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
332011
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
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
292008
A modular model composition technique
P Kelsen, Q Ma
Fundamental Approaches to Software Engineering, 173-187, 2010
252010
Requirements engineering for the design of conceptual modeling languages
S De Kinderen, Q Ma
Applied Ontology 10 (1), 7-24, 2015
222015
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
202015
Compiling pattern matching in join-patterns
Q Ma, L Maranget
International Conference on Concurrency Theory, 417-431, 2004
202004
Agile validation of model transformations using compound F-Alloy specifications
L Gammaitoni, P Kelsen, Q Ma
Science of Computer Programming 162, 55-75, 2018
132018
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
92010
Towards AI assisted domain modeling
C Feltus, Q Ma, HA Proper, P Kelsen
Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St …, 2021
82021
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
82015
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
72018
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
72016
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
72010
A formal definition of the EP language
P Kelsen, Q Ma
University of Luxembourg, Tech. Rep. TR-LASSY-08-03, 2008
62008
The system can't perform the operation now. Try again later.
Articles 1–20