Qin Ma

According to our database, Qin Ma authored at least 41 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy.

Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß

Comput. Ind., October, 2023

Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view.

Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen

Softw. Syst. Model., April, 2023

Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community.

Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis

Proceedings of the Enterprise Design, Operations, and Computing, 2023

2022

Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook.

Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata

Data Knowl. Eng., 2022

Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering.

Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis

Proceedings of the Practice of Enterprise Modeling, 2022

2021

A Modeling Method in Support of Strategic Analysis in the Realm of Enterprise Modeling On the Example of Blockchain-Based Initiatives for the Electricity Sector.

Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2021

Validation and Verification in Domain-Specific Modeling Method Engineering.

Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen

Proceedings of the Practice of Enterprise Modeling, 2021

Towards AI Assisted Domain Modeling.

Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen

Proceedings of the Advances in Conceptual Modeling, 2021

2020

A Lightweight Modeling Approach Based on Functional Decomposition.

Pierre Kelsen, Qin Ma, Christian Glodt

J. Object Technol., 2020

Towards Extending the Validation Possibilities of ADOxx with Alloy.

Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß

Proceedings of the Practice of Enterprise Modeling, 2020

2019

Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector.

Sybren de Kinderen, Monika Kaczmarek-Heß, Iván S. Razo-Zapata, Qin Ma

Proceedings of the Human Practice. Digital Ecologies. Our Future. 14. Internationale Tagung Wirtschaftsinformatik (WI 2019), 2019

2018

Agile validation of model transformations using compound F-Alloy specifications.

Loïc Gammaitoni, Pierre Kelsen, Qin Ma

Sci. Comput. Program., 2018

Decomposing Models Through Dependency Graphs.

Qin Ma, Pierre Kelsen

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Modeling in support of multi-perspective valuation of smart grid initiatives.

Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata

Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Towards purposeful enterprise modeling for enterprise analysis.

Sybren de Kinderen, Qin Ma

Proceedings of the 2018 International Conference on Information Management & Management Science, 2018

2017

The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study.

Iván S. Razo-Zapata, Qin Ma, Monika Kaczmarek-Heß

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.

Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata

Proceedings of the Practice of Enterprise Modeling, 2017

2016

Agile Validation of Higher Order Transformations Using F-Alloy.

Loïc Gammaitoni, Pierre Kelsen, Qin Ma

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.

Qin Ma, Sybren de Kinderen

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

2015

A generic model decomposition technique and its application to the Eclipse modeling framework.

Qin Ma, Pierre Kelsen, Christian Glodt

Softw. Syst. Model., 2015

Algorithms for tractable compliance problems.

Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre

Frontiers Comput. Sci., 2015

Requirements engineering for the design of conceptual modeling languages.

Sybren de Kinderen, Qin Ma

Appl. Ontology, 2015

A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions.

Georgios Plataniotis, Sybren de Kinderen, Qin Ma, Erik Proper

Proceedings of the 17th IEEE Conference on Business Informatics, 2015

Traceability and modeling of requirements in enterprise architecture from a design rationale perspective.

Georgios Plataniotis, Qin Ma, Erik Proper, Sybren de Kinderen

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

2014

Combining Models with Code: A Tale of Two Languages.

Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen

Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014

Towards an analysis driven approach for adapting enterprise architecture languages.

Sybren de Kinderen, Qin Ma

Proceedings of the Enterprise modelling and information systems architectures, 2014

2013

Algorithms for Basic Compliance Problems.

Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example.

Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller

Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Models within Models: Taming Model Complexity Using the Sub-model Lattice.

Pierre Kelsen, Qin Ma, Christian Glodt

Proceedings of the Fundamental Approaches to Software Engineering, 2011

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management.

Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller

Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

Using VCL as an Aspect-Oriented Approach to Requirements Modelling.

Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt

LNCS Trans. Aspect Oriented Softw. Dev., 2010

A Modular Model Composition Technique.

Pierre Kelsen, Qin Ma

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.

Nuno Amálio, Pierre Kelsen, Qin Ma

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2010

2009

Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.

Pierre Kelsen, Qin Ma

Proceedings of the TASE 2009, 2009

From platform-independent to platform-specific models using democles.

Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Algebraic Pattern Matching in Join Calculus.

Qin Ma, Luc Maranget

Log. Methods Comput. Sci., 2008

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.

Pierre Kelsen, Qin Ma

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007

Translation Correctness for First-Order Object-Oriented Pattern Matching.

Burak Emir, Qin Ma, Martin Odersky

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Information Hiding in the Join Calculus.

Qin Ma, Luc Maranget

Proceedings of the Advances in Computer Science, 2006

2004

Compiling Pattern Matching in Join-Patterns.

Qin Ma, Luc Maranget

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Expressive Synchronization Types for Inheritance in the Join Calculus.

Qin Ma, Luc Maranget

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003