Profil

MA Qin

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
KELSEN, Pierre  (15)
de Kinderen, Sybren (14)
Kaczmarek-Heß, Monika (13)
GLODT, Christian  (5)
DE KINDEREN, Sybren  (4)
Main Referenced Keywords
ADOxx (2); Alloy (2); Business Processes (2); Domain Specific Language (2); enterprise architecture (2);
Main Referenced Disciplines
Computer science (34)
Management information systems (1)

Publications (total 35)

The most downloaded
427 downloads
Plataniotis, G., DE KINDEREN, S., MA, Q., & Proper, H. (2015). Traceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective. In Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015. https://hdl.handle.net/10993/20904

The most cited

31 citations (Scopus®)

KELSEN, P., & MA, Q. (2008). A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (pp. 690-704). Heidelberg. https://hdl.handle.net/10993/2827

de Kinderen, S., MA, Q., Kaczmarek-Heß, M., & Eshuis, R. (2023). Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. In H. A. Proper (Ed.), Enterprise Design, Operations, and Computing - 27th International Conference, EDOC 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-46587-1_12
Peer reviewed

MA, Q., Kaczmarek-Heß, M., & de Kinderen, S. (2023). Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. Software and Systems Modeling. doi:10.1007/s10270-022-01056-3
Peer reviewed

de Kinderen, S., MA, Q., & Kaczmarek-Heß, M. (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. Computers in Industry, 151, 103974. doi:10.1016/j.compind.2023.103974
Peer Reviewed verified by ORBi

de Kinderen, S., Kaczmarek-Heß, M., MA, Q., & S. Razo-Zapata, I. (September 2022). Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook. Data and Knowledge Engineering, 141.
Peer reviewed

de Kinderen, S., MA, Q., Kaczmarek-Heß, M., & Eshuis, R. (2022). Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering. In Lecture Notes in Business Information Processing (pp. 183-198). Springer.
Peer reviewed

de Kinderen, S., Kaczmarek-Heß, M., MA, Q., & Razo-Zapata, I. (2021). Towards A Model-Based Multi- Perspective ValuationMethod for Smart Grid Initiatives: Foundations, OpenIssues, and a Research Outlook. (TR-LASSY-21-01). University of Luxembourg.

Feltus, C., MA, Q., Proper, H. A., & KELSEN, P. (2021). Towards AI Assisted Domain Modeling. In Advances in Conceptual Modeling - ER 2021 Workshops CoMoNoS, EmpER CMLS, St. John's, NL, Canada, October 18-21, 2021, Proceedings (pp. 75--89). Springer. doi:10.1007/978-3-030-88358-4_7
Peer reviewed

de Kinderen, S., Kaczmarek-Heß, M., MA, Q., & Razo-Zapata, I. (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. Enterprise Modelling and Information Systems Architectures, 16, 2:1--2:36. doi:10.18417/emisa.16.2
Peer Reviewed verified by ORBi

MA, Q., Kaczmarek-Heß, M., & Kinderen, S. D. (2021). Validation and Verification in Domain-Specific Modeling Method Engineering. In The Practice of Enterprise Modeling - 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings (pp. 119--133). Springer. doi:10.1007/978-3-030-91279-6\_9
Peer reviewed

de Kinderen, S., MA, Q., & Kaczmarek-Heß, M. (2020). Towards Extending the Validation Possibilities of ADOxx with Alloy. In Lecture Notes in Business Information Processing 400 (pp. 138 - 152). Springer.
Peer reviewed

KELSEN, P., MA, Q., & GLODT, C. (2020). A Lightweight Modeling Approach Based on Functional Decomposition. Journal of Object Technology, 19 (2), 15:1-22. doi:10.5381/jot.2020.19.2.a15
Peer Reviewed verified by ORBi

de Kinderen, S., Kaczmarek-Heß, M., Razo-Zapata, I., & MA, Q. (2019). Strategic Analysis in the Realm of Enterprise Modeling – On the Example of Blockchain-Based Initiatives for the Electricity Sector. In WIRTSCHAFTSINFORMATIK 2019 PROCEEDINGS. AIS.
Peer reviewed

Kaczmarek-Heß, M., de Kinderen, S., MA, Q., & Razo-Zapata, I. (2018). Modeling in Support of Multi-Perspective Valuation of Smart Grid Initiatives. In IEEE 12th International Conference on Research Challenges in Information Science.
Peer reviewed

MA, Q., & KELSEN, P. (2018). Decomposing Models through Dependency Graphs. In 12th International Symposium on Theoretical Aspects of Software Engineering. doi:10.1109/TASE.2018.00026
Peer reviewed

de Kinderen, S., & MA, Q. (2018). Towards Purposeful Enterprise Modeling for Enterprise Analysis. In 2018 International Conference on Information Management & Management Science.
Peer reviewed

Razo-Zapata, I. N., Chew, E., MA, Q., GAMMAITONI, L., & Proper, H. (2018). Enabling Value Co-Creation in Customer Journeys with VIVA. In Joint International Conference of Service Science and Innovation and Serviceology.
Peer reviewed

de Kinderen, S., Kaczmarek-Heß, M., MA, Q., & Razo-Zapata, I. N. S. (2017). Towards Meta Model Provenance: a Goal-Driven Approach to Document the Provenance of Meta Models. In Lecture Notes in Business Information Processing 305. Springer.
Peer reviewed

Razo-Zapata, I. N. S., MA, Q., Kaczmarek-Heß, M., & de Kinderen, S. (2017). The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study. In 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 2: Workshop Papers (pp. 83-88).
Peer reviewed

MA, Q., & de Kinderen, S. (2016). Goal-Based Decision Making Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis. In In Proceedings of the 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (LNCS 9619). doi:10.1007/978-3-319-30282-9_2
Peer reviewed

COLOMBO TOSATTO, S., KELSEN, P., MA, Q., el Kharbili, M., Governatori, G., & VAN DER TORRE, L. (2015). Algorithms for tractable compliance problems. Frontiers of Computer Science, 9 (1), 55-74. doi:10.1007/s11704-014-3239-y
Peer reviewed

DE KINDEREN, S., & MA, Q. (2015). Requirements Engineering for the Design of Conceptual Modeling Languages - a goal- and value-oriented approach. Applied Ontology. doi:10.3233/AO-150139
Peer reviewed

Plataniotis, G., DE KINDEREN, S., MA, Q., & Proper, H. (2015). Traceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective. In Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015.
Peer reviewed

Plataniotis, G., DE KINDEREN, S., MA, Q., & Proper, E. (2015). A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions. In Proceedings of the 17th IEEE Conference on Business Informatics, Lisbon Portugal, July 13-16, 2015, Volume 1 (pp. 191-198).
Peer reviewed

MA, Q., KELSEN, P., & GLODT, C. (2015). A generic model decomposition technique and its application to the Eclipse modeling framework. Software and Systems Modeling, 14 (2), 921-952. doi:10.1007/s10270-013-0348-2
Peer reviewed

DE KINDEREN, S., & MA, Q. (2014). Towards An Analysis Driven Approach for Adapting Enterprise Architecture Languages. In 6th international EMISA workshop, Luxembourg-ville, 25 to 26 september 2014. EMISA.
Peer reviewed

COLOMBO TOSATTO, S., EL KHARBILI, M., Governatori, G., KELSEN, P., MA, Q., & VAN DER TORRE, L. (2013). Algorithms for Basic Compliance Problems. In 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013 (pp. 2-7). doi:10.1109/ICSTW.2013.6
Peer reviewed

EL KHARBILI, M., MA, Q., KELSEN, P., & Pulvermueller, E. (2011). CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. In Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference. IEEE Computer Society Press. doi:10.1109/EDOC.2011.23
Peer reviewed

KELSEN, P., MA, Q., & GLODT, C. (2011). Models within Models: Taming Model Complexity Using the Sub-model Lattice. In 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (pp. 171-185). Bergen, Norway: Odontologforeninga ved Universitetet i Bergen.
Peer reviewed

EL KHARBILI, M., MA, Q., KELSEN, P., & Pulvermueller, E. (2011). Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example. In The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011. IEEE Computer Society Press. doi:10.1109/CEC.2011.39
Peer reviewed

AMALIO, N., KELSEN, P., MA, Q., & GLODT, C. (2010). Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Transactions on Aspect-Oriented Software Development, 7, 151-199. doi:10.1007/978-3-642-16086-8_5
Peer reviewed

KELSEN, P., & MA, Q. (2010). A Modular Model Composition Technique. In 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (pp. 173-178). Springer.
Peer reviewed

AMALIO, N., KELSEN, P., & MA, Q. (2010). Specifying structural properties and their constraints formally, visually and modularly using VCL. In 15th International Conference, EMMSAD 2010 (pp. 50–261). Springer. doi:10.1007/978-3-642-13051-9_22
Peer reviewed

GLODT, C., KELSEN, P., AMALIO, N., & MA, Q. (2009). From Platform-Independent to Platform-Specific Models using Democles. International Conference on Object-Oriented Programming, Systems, Languages, and Applications. doi:10.1145/1639950.1640019
Peer reviewed

KELSEN, P., & MA, Q. (2009). Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains. In 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering. doi:10.1109/TASE.2009.55
Peer reviewed

KELSEN, P., & MA, Q. (2008). A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (pp. 690-704). Heidelberg.
Peer reviewed

Contact ORBilu