research
∙
06/04/2020
Automatic Verification of LLVM Code
In this work we present our work in developing a software verification t...
share
research
∙
01/30/2020
Reconstructing Words from Right-Bounded-Block Words
A reconstruction problem of words from scattered factors asks for the mi...
research
∙
09/12/2019
An Empirical Investigation of Randomized Defenses against Adversarial Attacks
In recent years, Deep Neural Networks (DNNs) have had a dramatic impact ...
research
∙
06/03/2019
On Modelling the Avoidability of Patterns as CSP
Solving avoidability problems in the area of string combinatorics often ...
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
∙
02/02/2018
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability
The study of word equations (or the existential theory of equations over...
research
∙
01/25/2018