Automatic Verification of Parameterized Systems by Over-Approximation

Towards Semantically Enabled Complex Event Processing

Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation

Introducing New Materials in the Automotive Industry: Managing the Complexity of Introducing New Materials in Existing Production Systems