research
∙
06/29/2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Owing to their remarkable learning capabilities and performance in real-...
share
research
∙
02/24/2023
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks
Performance of trained neural network (NN) models, in terms of testing a...
research
∙
08/13/2022
On the Formalization of the Heat Conduction Problem in HOL
Partial Differential Equations (PDEs) are widely used for modeling the p...
research
∙
12/24/2021
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Many practical engineering systems and their components have multiple pe...
research
∙
11/24/2021
Formalization of Bond Graph using Higher-order-logic Theorem Proving
Bond graph is a unified graphical approach for describing the dynamics o...
research
∙
09/07/2021
BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
In this work, we propose the BioNetExplorer framework to systematically ...
research
∙
05/26/2021
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Continual learning is essential for all real-world applications, as froz...
research
∙
11/21/2020
MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Traditional learning-based approaches for run-time Hardware Trojan detec...
research
∙
08/23/2020
m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Autonomous surgical procedures, in particular minimal invasive surgeries...
research
∙
01/18/2020
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Simulink is a graphical environment that is widely adapted for the model...
research
∙
12/16/2019
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
Synthetic Biology is an interdisciplinary field that utilizes well-estab...
research
∙
12/03/2019
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
With a constant improvement in the network architectures and training me...
research
∙
10/24/2019
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving
Dynamic dependability models, such as dynamic fault trees (DFTs) and dyn...
research
∙
10/20/2019
Integrating DFT and DRBD Formalizations in HOL4
Dynamic Fault Trees (DFT) and Dynamic Reliability Block Diagrams (DRBD) ...
research
∙
08/06/2019
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
Dynamic reliability block diagrams (DRBDs) are introduced to overcome th...
research
∙
11/05/2018
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
Security vulnerability analysis of Integrated Circuits using conventiona...
research
∙
07/24/2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique t...
research
∙
07/18/2018
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Robotic cell injection is used for automatically delivering substances i...
research
∙
06/08/2018
Formalization of Lerch's Theorem using HOL Light
The Laplace transform is an algebraic method that is widely used for ana...
research
∙
05/08/2018
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Cell injection is an approach used for the delivery of small sample subs...
research
∙
04/21/2018
Formal Verification of Platoon Control Strategies
Recent developments in autonomous driving, vehicle-to-vehicle communicat...
research
∙
12/07/2017
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
Dynamic fault trees (DFTs) have emerged as an important tool for capturi...
research
∙
03/20/2017
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Cell injection is a technique in the domain of biological cell micro-man...
research
∙
05/08/2015
