  | 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 |
 | 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., 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 |
 | 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 |