We address the problem of evolutionary system design (ESD) by means of answer set
programming modulo difference constraints (AMT). The goal of this design approach is to …

An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly
complex embedded systems in order to steer the development towards optimal design …

When designing a system at the Electronic System Level (ESL), designers are confronted
with a very large number of design decisions, each affecting the characteristics of the …

To cope with the strict reliability requirements of safety-critical ADAS applications, the
upcoming TSN standard introduces mechanisms that enable transmission redundancy at …

The design of embedded systems is becoming continuously more complex such that
efficient system-level design methods are becoming crucial. Recently, combined Answer Set …

We propose an SMT-based system synthesis approach where the logic solver performs
static binding and routing while the background theory solver computes global time …

Dividing the communication network into so-called Virtual Local Area Networks (VLANs), ie,
subnetworks that are isolated at the data link layer (OSI layer 2), is a promising approach to …

We introduce a comprehensive framework for computing diverse (or similar) solutions to
logic programs with preferences. Our framework provides a wide spectrum of complete and …

Nowadays, product development is challenged by increasing system complexity and
stringent time-to-market. To handle the demanding market requirements, knowledge from …

Symbolic encoding for resource allocation, task binding, and message routing during multi-
objective design space exploration (DSE) has gained significant attention in recent years. To …