research
∙
08/18/2023
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Deploying deep learning models in safety-critical applications remains a...
share
research
∙
08/25/2022
Software Performability Analysis Using Fast Parametric Model Checking
We present an efficient parametric model checking (PMC) technique for th...
research
∙
02/02/2021
Fast Parametric Model Checking through Model Fragmentation
Parametric model checking (PMC) computes algebraic formulae that express...
research
∙
08/10/2020
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning
Engineering collective adaptive systems (CAS) with learning capabilities...
research
∙
08/05/2020
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
The wide use of robotic systems contributed to developing robotic softwa...
research
∙
02/09/2020
Importance-Driven Deep Learning System Testing
Deep Learning (DL) systems are key enablers for engineering intelligent ...
research
∙
04/02/2019
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343
Software systems are increasingly used in application domains characteri...
research
∙
02/15/2019