- University of Luxembourg
According to our database1, Qin Ma authored at least 39 papers between 2003 and 2023.
Legend:Book In proceedings Article PhD thesis Dataset Other
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., October, 2023
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view.
Softw. Syst. Model., April, 2023
Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook.
Data Knowl. Eng., 2022
Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering.
Proceedings of the Practice of Enterprise Modeling, 2022
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., 2021
Proceedings of the Practice of Enterprise Modeling, 2021
Proceedings of the Advances in Conceptual Modeling, 2021
J. Object Technol., 2020
Proceedings of the Practice of Enterprise Modeling, 2020
Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector.
Proceedings of the Human Practice. Digital Ecologies. Our Future. 14. Internationale Tagung Wirtschaftsinformatik (WI 2019), 2019
Sci. Comput. Program., 2018
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018
The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study.
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.
Proceedings of the Practice of Enterprise Modeling, 2017
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.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016
A generic model decomposition technique and its application to the Eclipse modeling framework.
Softw. Syst. Model., 2015
Appl. Ontology, 2015
A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions.
Proceedings of the 17th IEEE Conference on Business Informatics, 2015
Traceability and modeling of requirements in enterprise architecture from a design rationale perspective.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015
Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014
Proceedings of the Enterprise modelling and information systems architectures, 2014
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011
LNCS Trans. Aspect Oriented Softw. Dev., 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2010
Proceedings of the TASE 2009, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
Proceedings of the Advances in Computer Science, 2006
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003