CMOS impedance spectroscopy sensor array with synchronous voltage-to-frequency converters. - Areeb Ali; Neelanjana Pal; Peter M. Levine (MWSCAS, 2015)

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)

DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. - Neelanjana Pal; Purboday Ghosh; Gabor Karsai (ICMLA, 2019)

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 (CAV (1), 2021)

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool. - Neelanjana Pal; Taylor T. Johnson (SNR, 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 001; Stanley Bak; Taylor T. Johnson (Formal Aspects Comput., 2021)

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 (FMICS, 2023)

Benchmark: Formal Verification of Semantic Segmentation Neural Networks. - Neelanjana Pal; Seojin Lee; Taylor T. Johnson (AISoLA, 2023)

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach. - Neelanjana Pal; Taylor T. Johnson (FMAS@iFM, 2023)