Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis., , and . ACM Trans. Design Autom. Electr. Syst., 28 (6): 95:1-95:21 (November 2023)FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks., , , , , and . DATE, page 666-669. IEEE, (2020)UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks., , , and . Mach. Learn., 113 (5): 2499-2526 (May 2024)Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead., , , , , , and . CoRR, (2021)Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)., , and . CoRR, (2023)UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks., , , and . CoRR, (2023)FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks., , , , , and . CoRR, (2019)Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation., , and . FoMLAS@CAV, volume 16 of Kalpa Publications in Computing, page 6-28. EasyChair, (2023)Formal Verification of ECCs for Memories Using ACL2., , and . J. Electron. Test., 36 (5): 643-663 (2020)Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead., , , , , , and . IEEE Des. Test, 37 (2): 30-57 (2020)