research
∙
06/14/2023
Towards Rigorous Design of OoD Detectors
Out-of-distribution (OoD) detection techniques are instrumental for safe...
share
research
∙
05/16/2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
For safety assurance of deep neural networks (DNNs), out-of-distribution...
research
∙
04/25/2021
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
We present an approach for monitoring classification systems via data ab...
research
∙
11/01/2020
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
This paper provides the first correct semantical representation of UML s...
research
∙
05/05/2019
Performance evaluation of a NDN forwarder using statistical model checking
Named Data Networking (NDN) is an emerging technology for a future inter...
research
∙
06/25/2018
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
This volume contains the proceedings of the 1st International Workshop o...
research
∙
03/26/2018