Qin Ma
Cited by
Cited by
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
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
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
Model bundling: Towards a value-based componential approach for language engineering
S Kinderen, Q Ma, HA Proper
VMBO 2014: Eigth international workshop on Value Modelling and Business …, 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
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
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
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
A modular model composition technique
P Kelsen, Q Ma
Fundamental Approaches to Software Engineering, 173-187, 2010
Compiling pattern matching in join-patterns
Q Ma, L Maranget
International Conference on Concurrency Theory, 417-431, 2004
Requirements engineering for the design of conceptual modeling languages
S De Kinderen, Q Ma
Applied Ontology 10 (1), 7-24, 2015
A generic model decomposition technique and its application to the Eclipse modeling framework
Q Ma, P Kelsen, C Glodt
Software & Systems Modeling 14 (2), 921-952, 2015
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
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
Algorithms for tractable compliance problems
SC Tosatto, P Kelsen, Q Ma, M El Kharbili, G Governatori, L van der Torre
Frontiers of computer Science 9 (1), 55-74, 2015
A formal definition of the EP language
P Kelsen, Q Ma
University of Luxembourg, Tech. Rep. TR-LASSY-08-03, 2008
Algebraic pattern matching in join calculus
Q Ma, L Maranget
arXiv preprint arXiv:0802.4018, 2008
Translation correctness for first-order object-oriented pattern matching
B Emir, Q Ma, M Odersky
Programming Languages and Systems, 54-70, 2007
Expressive synchronization types for inheritance in the join calculus
Q Ma, L Maranget
Asian Symposium on Programming Languages and Systems, 20-36, 2003
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
The system can't perform the operation now. Try again later.
Articles 1–20