According to our database1, Qin Ma authored at least 29 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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