Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …

Automatically synthesizing consistent models is a key prerequisite for many testing
scenarios in autonomous driving or software tool validation where model-based systems …

International maritime traffic is controlled by collision-avoidance regulations (COLREGs)
with 41 standardized rules describing how a vessel should navigate in the proximity of other …

Cross-organizational, blockchain-based distributed ledger networks in general, and those
based on Hyperledger Fabric in particular, have an architecture which can be adapted to …

Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical
systems, which are frequently data-intensive and safety-critical. While graph queries can …

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

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 …

Various software and systems engineering scenarios rely on the systematic construction of
consistent graph models. However, automatically generating a diverse set of consistent …

Graphs can be a key abstraction for formal verifi-cation challenges. As such, graph solvers
are essential tools for synthesizing scalable domain-specific consistent graph models, which …

Various software and systems engineering scenarios rely on the systematic construction of
consistent graph models. However, automatically generating a diverse set of consistent …