Qin Ma

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 19

Top Topics

Conceptual Modeling

Modeling Method

Dependency Graphs

Top Venues

Softw. Syst. Model.

Publications

Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis
Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. EDOC (2023)
Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß
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. Comput. Ind. 151 (2023)
Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. Softw. Syst. Model. 22 (2) (2023)
Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook. Data Knowl. Eng. 141 (2022)
Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis
Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering. PoEM (2022)
Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
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. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 16 (2021)
Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen
Validation and Verification in Domain-Specific Modeling Method Engineering. PoEM (2021)
Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen
Towards AI Assisted Domain Modeling. ER (Workshops) (2021)
Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß
Towards Extending the Validation Possibilities of ADOxx with Alloy. PoEM (2020)
Pierre Kelsen, Qin Ma, Christian Glodt
A Lightweight Modeling Approach Based on Functional Decomposition. J. Object Technol. 19 (2) (2020)
Sybren de Kinderen, Monika Kaczmarek-Heß, Iván S. Razo-Zapata, Qin Ma
Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector. Wirtschaftsinformatik (2019)
Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
Modeling in support of multi-perspective valuation of smart grid initiatives. RCIS (2018)
Sybren de Kinderen, Qin Ma
Towards purposeful enterprise modeling for enterprise analysis. IMMS (2018)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. 162 (2018)
Qin Ma, Pierre Kelsen
Decomposing Models Through Dependency Graphs. TASE (2018)
Iván S. Razo-Zapata, Qin Ma, Monika Kaczmarek-Heß
The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study. CBI (2) (2017)
Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
Towards Meta Model Provenance: A Goal-Driven Approach to Document the Provenance of Meta Models. PoEM (2017)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile Validation of Higher Order Transformations Using F-Alloy. TASE (2016)
Qin Ma, Sybren de Kinderen
Goal-Based Decision Making - Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis. REFSQ (2016)
Qin Ma, Pierre Kelsen, Christian Glodt
A generic model decomposition technique and its application to the Eclipse modeling framework. Softw. Syst. Model. 14 (2) (2015)
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9 (1) (2015)
Sybren de Kinderen, Qin Ma
Requirements engineering for the design of conceptual modeling languages. Appl. Ontology 10 (1) (2015)
Georgios Plataniotis, Qin Ma, Erik Proper, Sybren de Kinderen
Traceability and modeling of requirements in enterprise architecture from a design rationale perspective. RCIS (2015)
Georgios Plataniotis, Sybren de Kinderen, Qin Ma, Erik Proper
A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions. CBI (1) (2015)
Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen
Combining Models with Code: A Tale of Two Languages. ICGSE Workshops (2014)
Sybren de Kinderen, Qin Ma
Towards an analysis driven approach for adapting enterprise architecture languages. EMISA (2014)
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
Algorithms for Basic Compliance Problems. ICST Workshops (2013)
Pierre Kelsen, Qin Ma, Christian Glodt
Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE (2011)
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC (2011)
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. CEC (2011)
Nuno Amálio, Pierre Kelsen, Qin Ma
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD (2010)
Pierre Kelsen, Qin Ma
A Modular Model Composition Technique. FASE (2010)
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt
Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma
From platform-independent to platform-specific models using democles. OOPSLA Companion (2009)
Pierre Kelsen, Qin Ma
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. TASE (2009)
Qin Ma, Luc Maranget
Algebraic Pattern Matching in Join Calculus. Log. Methods Comput. Sci. 4 (1) (2008)
Qin Ma, Luc Maranget
Algebraic pattern matching in join calculus CoRR (2008)
Pierre Kelsen, Qin Ma
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS (2008)
Burak Emir, Qin Ma, Martin Odersky
Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS (2007)
Qin Ma, Luc Maranget
Information Hiding in the Join Calculus. ASIAN (2006)
Qin Ma, Luc Maranget
Compiling Pattern Matching in Join-Patterns. CONCUR (2004)
Qin Ma, Luc Maranget
Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS (2003)