research
∙
04/20/2023
Interventional Probing in High Dimensions: An NLI Case Study
Probing strategies have been shown to detect the presence of various lin...
share
research
∙
02/05/2023
JBMC: A Bounded Model Checking Tool for Java Bytecode
JBMC is an open-source SAT- and SMT-based bounded model checking tool fo...
research
∙
11/24/2022
AIREPAIR: A Repair Platform for Neural Networks
We present AIREPAIR, a platform for repairing neural networks. It featur...
research
∙
10/21/2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Neural networks are a powerful class of non-linear functions. However, t...
research
∙
04/26/2022
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Metamorphic testing has recently been used to check the safety of neural...
research
∙
01/05/2022
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach
In this paper, we propose a decentralized, privacy-friendly energy tradi...
research
∙
11/25/2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
QNNVerifier is the first open-source tool for verifying implementations ...
research
∙
06/10/2021
Verifying Quantized Neural Networks using SMT-Based Model Checking
Artificial Neural Networks (ANNs) are being deployed for an increasing n...
research
∙
02/04/2021
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
Computer-based systems have been used to solve several domain problems, ...
research
∙
12/21/2020
Bounded Model Checking of Software Using Interval Methods via Contractors
Bounded model checking (BMC) is a vital technique to find property viola...
research
∙
12/21/2020
Incremental Verification of Fixed-Point Implementations of Neural Networks
Implementations of artificial neural networks (ANNs) might lead to failu...
research
∙
01/27/2020
Finding Security Vulnerabilities in Network Protocol Implementations
Implementations of network protocols are often prone to vulnerabilities ...
research
∙
11/23/2018
Automated Verification of Stand-alone Solar Photovoltaic Systems
With declining costs and increasing performance, the deployment of renew...
research
∙
09/11/2018