research
∙
07/24/2023
Safety Performance of Neural Networks in the Presence of Covariate Shift
Covariate shift may impact the operational safety performance of neural ...
share
research
∙
06/14/2023
Towards Rigorous Design of OoD Detectors
Out-of-distribution (OoD) detection techniques are instrumental for safe...
research
∙
03/20/2023
Evidential Transactions with Cyberlogic
Cyberlogic is an enabling logical foundation for building and analyzing ...
research
∙
01/10/2022
Systems Challenges for Trustworthy Embodied Systems
A new generation of increasingly autonomous and self-learning systems, w...
research
∙
12/30/2020
Security Engineering for ISO 21434
The ISO 21434 is a new standard that has been proposed to address the fu...
research
∙
10/11/2018
Model-Based Safety and Security Engineering
By exploiting the increasing surface attack of systems, cyber-attacks ca...
research
∙
10/09/2017
Verification of Binarized Neural Networks via Inter-Neuron Factoring
We study the problem of formal verification of Binarized Neural Networks...
research
∙
10/09/2017
Verification of Binarized Neural Networks
We study the problem of formal verification of Binarized Neural Networks...
research
∙
09/04/2017
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
We propose a methodology for designing dependable Artificial Neural Netw...
research
∙
04/28/2017