research
∙
06/03/2019
On Modelling the Avoidability of Patterns as CSP
Solving avoidability problems in the area of string combinatorics often ...
share
research
∙
04/04/2018
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs
The computation of a cyber-physical system's reaction to a stimulus typi...
research
∙
08/28/2016
