Qin Ma

According to our database1, Qin Ma authored at least 29 papers between 2003 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Agile validation of model transformations using compound F-Alloy specifications.
Sci. Comput. Program., 2018

Modeling in support of multi-perspective valuation of smart grid initiatives.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study.
Proceedings of the 19th IEEE Conference on Business Informatics, 2017

Towards Meta Model Provenance: A Goal-Driven Approach to Document the Provenance of Meta Models.
Proceedings of the Practice of Enterprise Modeling, 2017

Agile Validation of Higher Order Transformations Using F-Alloy.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Goal-Based Decision Making - Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

A generic model decomposition technique and its application to the Eclipse modeling framework.
Software and System Modeling, 2015

Algorithms for tractable compliance problems.
Frontiers Comput. Sci., 2015

Requirements engineering for the design of conceptual modeling languages.
Applied Ontology, 2015

A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions.
Proceedings of the 17th IEEE Conference on Business Informatics, 2015

Traceability and modeling of requirements in enterprise architecture from a design rationale perspective.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Combining Models with Code: A Tale of Two Languages.
Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014

Towards an analysis driven approach for adapting enterprise architecture languages.
Proceedings of the Enterprise modelling and information systems architectures, 2014

Algorithms for Basic Compliance Problems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example.
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Models within Models: Taming Model Complexity Using the Sub-model Lattice.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Using VCL as an Aspect-Oriented Approach to Requirements Modelling.
Trans. Aspect-Oriented Software Development, 2010

A Modular Model Composition Technique.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2010

Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.
Proceedings of the TASE 2009, 2009

From platform-independent to platform-specific models using democles.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Algebraic Pattern Matching in Join Calculus.
Logical Methods in Computer Science, 2008

Algebraic pattern matching in join calculus
CoRR, 2008

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Translation Correctness for First-Order Object-Oriented Pattern Matching.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

Information Hiding in the Join Calculus.
Proceedings of the Advances in Computer Science, 2006

Compiling Pattern Matching in Join-Patterns.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Expressive Synchronization Types for Inheritance in the Join Calculus.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003