Variability within Modeling Language Definitions

• Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models

  2026 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  1

  citations
• Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

  2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

  14

  citations
• Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries

  2024 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access

  2

  citations
• Context, Composition, Automation, and Communication: The C 2 AC Roadmap for Modeling and Simulation

  2024 ACM Transactions on Modeling and Computer Simulation article Decision Sciences Simulation Techniques and Applications

  19

  citations
• Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages

  2023 ACM SIGPLAN International Conference on Software Language Engineering (SLE) conference-paper Computer Science Model-Driven Software Engineering Techniques

  3

  citations
• User-Centric Model-Aware Recommendations for Industrial Domain-Specific Modelling Languages

  2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques

  2

  citations
• Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0

  2023 Digital Transformation book-chapter Engineering Digital Transformation in Industry Open access

  15

  citations
• A Catalog of Design Patterns for Compositional Language Engineering.

  2022 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

  14

  citations
• Towards a Systematic Engineering of Industrial Domain-Specific Languages

  2021 conference-paper Computer Science Model-Driven Software Engineering Techniques

  12

  citations
• Towards a Systematic Engineering of Industrial Domain-Specific Language

  2021 arXiv (Cornell University) preprint Computer Science Model-Driven Software Engineering Techniques Open access

  0

  citations

10 results