Neelanjana Pal
Orcid: 0000-0002-5978-8168
According to our database1,
Neelanjana Pal
authored at least 9 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2021
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput., 2021
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool.
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2019
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019
2016
Placement-Based Nonlinearity Reduction Technique for Differential Current-Steering DAC.
IEEE Trans. Very Large Scale Integr. Syst., 2016
2015
CMOS impedance spectroscopy sensor array with synchronous voltage-to-frequency converters.
Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015