Abstract Cyber–Physical Systems (CPS) are heterogeneous and require cross-domain
expertise to model. The complexity of these systems leads to questions about prevalent …

Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …

The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

ABSTRACT Artificial Intelligence (AI) and Software Engineering are considered as
significant fields to solve various problems. However, there are weaknesses in certain …

Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …

Incremental static analyses provide up-to-date analysis results in time proportional to the
size of a code change, not the entire code base. This promises fast feedback to …

Although model transformations are considered to be the heart and soul of Model Driven
Engineering (MDE), there are still several challenges that need to be addressed to unleash …

While large language models (LLMs) like ChatGPT has demonstrated impressive
capabilities in addressing various software engineering tasks, their use in a model-driven …

Many model transformation scenarios require flexible execution strategies as they should
produce models with the highest possible quality. At the same time, transformation problems …

Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …