Neelanjana Pal

According to our database, Neelanjana Pal authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.

Neelanjana Pal, Taylor T. Johnson

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Benchmark: Formal Verification of Semantic Segmentation Neural Networks.

Neelanjana Pal, Seojin Lee, Taylor T. Johnson

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.

Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson

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.

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool.

Neelanjana Pal, Taylor T. Johnson

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.

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data.

Neelanjana Pal, Purboday Ghosh, Gabor Karsai

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

2016

Placement-Based Nonlinearity Reduction Technique for Differential Current-Steering DAC.

Neelanjana Pal, Prajit Nandi, Riju Biswas, Ashvinkumar G. Katakwar

IEEE Trans. Very Large Scale Integr. Syst., 2016

2015

CMOS impedance spectroscopy sensor array with synchronous voltage-to-frequency converters.

Areeb Ali, Neelanjana Pal, Peter M. Levine

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015