Specification and Development of Interactive Systems

• Continuous Verification of Evolving Architecture Models: A Testing Framework for MontiArc

  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
• 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
• Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung

  2025 Informatik-Spektrum article Computer Science Model-Driven Software Engineering Techniques

  0

  citations
• Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics

  2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access

  7

  citations
• Methodical and Formally Verified Model-Driven Architecture Refactoring.

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

  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
• Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing

  2024 Digital Twin book-chapter Engineering Digital Transformation in Industry Open access

  2

  citations
• Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models

  2024 Lecture notes in computer science conference-paper Computer Science Model-Driven Software Engineering Techniques

  0

  citations
• Adopting the concept of a function as an underlying semantic paradigm for modeling languages

  2023 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

  0

  citations
• Quo Vadis modeling?

  2023 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

  31

  citations
• Maturity Evaluation of Domain-Specific Language Ecosystems for Cyber-Physical Production Systems

  2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Model-Driven Software Engineering Techniques

  3

  citations
• Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems

  2023 Journal of Computing and Information Science in Engineering article Engineering Systems Engineering Methodologies and Applications

  13

  citations
• Composition of Languages, Models, and Analyses

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  13

  citations
• Foundations

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  1

  citations
• Modeling mechanical functional architectures in SysML

  2020 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Engineering Systems Engineering Methodologies and Applications

  41

  citations
• Automated semantics-preserving parallel decomposition of finite component and connector architectures

  2020 Automated Software Engineering article Computer Science Advanced Software Engineering Methodologies

  4

  citations

16 results