Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

To program parallel systems efficiently and easily, a wide range of programming models
have been proposed, each with different choices concerning synchronization and …

• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

Deductive software verification aims at formally verifying that all possible behaviors of a
given program satisfy formally defined, possibly complex properties, where the verification …

Autonomous robots combine a variety of skills to form increasingly complex behaviors called
missions. While the skills are often programmed at a relatively low level of abstraction, their …

Autonomous robots combine skills to form increasingly complex behaviors, called missions.
While skills are often programmed at a relatively low abstraction level, their coordination is …

Secure compilation is a discipline aimed at developing compilers that preserve the security
properties of the source programs they take as input in the target programs they produce as …

Cyber-Physical Production Systems (CPPSs) are complex systems comprised of software
and hardware interacting with each other and the environment. In industry, over time, a …

The age of multi-core computers is upon us, yet current programming languages, typically
designed for single-core computers and adapted post hoc for multi-cores, remain tied to the …

Parallelism is often required for performance. In these situations an excess of non-
determinism is harmful as it means the program can have several different behaviours or …