The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

In model-driven development of safety-critical systems (like automotive, avionics or
railways), well-formedness of models is repeatedly validated in order to detect design flaws …

Embedded real-time systems generate state sequences where time elapses between state
changes. Ensuring that such systems adhere to a provided specification of admissible or …

Smart cyber-physical systems (CPSs) have complex interaction with their environment which
is rarely known in advance, and they heavily depend on intelligent data processing carried …

In the early stages of model driven development, models are frequently incomplete and
partial. Partial models represent multiple possible concrete models, and thus, they are able …

In safety-critical cyber-physical systems (CPS), a service failure may result in severe
financial loss or damage in human life. Smart CPSs have complex interaction with their …

Achieving scalability in modelling and MDE involves being able to construct large models
and domain-specific languages in a systematic manner, enabling teams of modellers to …

We introduce a logic-based incremental approach to graph repair, generating a sound and
complete (upon termination) overview of least-changing graph repairs from which a user …

Adoption of low-code engineering in complex enterprise applications also increases the size
of the underlying models. In such cases, the increasing complexity of the applications and …

Model transformations are essential operations in Model-Driven Software Engineering
(MDSE). Due to the increasing size and complexity of software systems developed with the …