![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | de Kinderen, S., & MA, Q. (2018). Towards Purposeful Enterprise Modeling for Enterprise Analysis. In 2018 International Conference on Information Management & Management Science. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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). ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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). ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |