Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

In this paper, we present a novel technique to automatically synthesize consistent, diverse
and structurally realistic domain-specific graph models. A graph model is (1) consistent if it is …

System-level testing of avionics software systems requires compliance with different
international safety standards such as DO-178C. An important consideration of the avionics …

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for
many different engineering tasks, especially those involving transitioning from design to …

System‐level testing of avionics software systems requires compliance with different
international safety standards such as DO‐178C. An important consideration of the avionics …

Triple Graph Grammars (TGGs) are a declarative and rulebased approach to bidirectional
model transformation. The key feature of TGGs is the automatic derivation of various …

Automatically synthesizing consistent models is a key prerequisite for many testing
scenarios in autonomous driving to ensure a designated coverage of critical corner cases …

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for
many different engineering tasks, especially those involving transitioning from design to …

In model-based systems engineering, system architectures often have to make compromises
to meet hard constraints of functional and extra-functional requirements while optimizing for …

Designing and reasoning about complex systems such as wireless sensor networks is hard
due to highly dynamic environments: sensors are heterogeneous, battery-powered, and …