… Thomas Stauner is a software specialist with BMW AG, Germany. He studied computer
science at Technische Universität München and the University of Edinburgh. He obtained …

This paper shows how HyTech, a symbolic model checker for linear hybrid systems, can be
used to verify a part of an abstracted automotive control system. The system controls the …

The goal of this paper was aimed to the formulation of nanoparticles by using two different
propyl-starch derivatives – referred to as PS-1 and PS-1.45 – with high degrees of substitution…

Model-based testing relies on behavior models for the generation of model traces: input and
expected output---test cases---for an implementation. We use the case study of an …

A hydrophobic starch derivative is used for safe and enhanced delivery of anticancer agents.
The synthesis and characterization of propyl starch with a controlled degree of substitution …

We introduce the Synthetic Pedestrian Dataset (SynPeDS) which was designed to support a
systematic safety analysis for pedestrian detection tasks in urban scenes. The dataset was …

Notations like hybrid automata are highly useful in the development process of hybrid systems
to document requirements in early design steps. When it comes to implementation a part …

Enhanced intracellular internalization of the anti-cancer active idarubicin (IDA) was achieved
through appropriate surface modification of IDA loaded propyl starch nanoparticles. This …

Visual description techniques are particularly important for the design of hybrid systems
because specifications of such systems must usually be discussed between engineers from a …

252 /font> ⅰ ぃ Εě 矓眞 /font> font style=" font-size: 18px"> m /font> Сo /font> 懕
font style=" font-size: 18px"> 毑 y 眞 /font>!" $# 棳 &%' font style=" font-size: 18px"> 懖 y 睍…