research
∙
09/03/2023
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Worst-case input generation aims to automatically generate inputs that e...
share
research
∙
08/19/2023
Artificial Intelligence across Europe: A Study on Awareness, Attitude and Trust
This paper presents the results of an extensive study investigating the ...
research
∙
10/30/2020
Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Being a fully automated technique for resource analysis, automatic amort...
research
∙
10/08/2018
