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

Abstract IoT (Internet of Things) devices are extensively used in security-critical services, as
for example home door opening, gas monitoring, alarm systems, etc. Often, they use …

Modern automotive systems with adaptive control features require rigorous analysis to
guarantee correct operation. We report our experience in modeling the automotive case …

Safety-critical systems require development methods and processes that lead to provably
correct systems in order to prevent catastrophic consequences due to system failure or …

Traditionally, practitioners use formal methods pre-dominately for one half of the quality-
assurance process: verification (do we build the software right?). The other half-validation …

The validation of a formal model consists of checking its conformance with actual
requirements. In the context of (Event-) B, some temporal aspects can typically be validated …

Nowadays, IoT (Internet of Things) devices are becoming part of our daily life. Unfortunately,
many of them do not use standardized communication protocols with a provable security …

Rigorous development processes aim to be effective in developing critical systems,
especially if failures can have catastrophic consequences for humans and the environment …

Retrieval-augmented code generation strengthens the generation model by using a retrieval
model to select relevant code snippets from a code corpus. The synergy between retrieval …

Context. The problem of automated development of evaluation programs for the
neuroevolution of augmenting topologies. Neuroevolution algorithms apply mechanisms of …