Hybrid systems with both discrete and continuous dynamics are an important model for real-
world cyber-physical systems. The key challenge is to ensure their correct functioning wrt …

Due to the increasing interest in autonomously driving cars, safety issues of such systems
are of utmost importance. Safety in this sense is primarily the absence of collisions, which is …

Specifications and implementations of complex physical systems tend to differ as low-level
effects such as sampling are often ignored when highlevel models are created. Thus, the …

Hybrid systems with both discrete and continuous dynamics are an important model for real-
world physical systems. The key challenge is how to ensure their correct functioning wrt …

In the analysis of complex real-time systems, several aspects have to be covered, eg,
behaviour that conforms to communication protocols, rich data structures, and timing …

We present an overview of the results of the project “Beyond Timed Automata” of the
Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex …

Many high-integrity software development processes prevent any assumptions about the
system hardware, but this makes it impossible to use these techniques on software that must …