CDDiff: Semantic Differencing for Class Diagrams

• Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition

  2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• Tool-assisted Concretization of Object-oriented Reference Models and Design Patterns

  2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access

  0

  citations
• Semantic difference analysis for model compositions of class diagrams, OCL constraints, and object diagrams

  2026 Innovations in Systems and Software Engineering article Computer Science Model-Driven Software Engineering Techniques Open access

  1

  citations
• 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
• 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
• Model and Data Differences in an Enterprise Low-Code Platform

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

  0

  citations

7 results