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

Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation

Towards Semantically Enabled Complex Event Processing

Automatic Verification of Parameterized Systems by Over-Approximation