Neelanjana Pal

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Top Venues

Formal Aspects Comput.

Publications

Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. FMICS (2023)
Neelanjana Pal, Seojin Lee, Taylor T. Johnson
Benchmark: Formal Verification of Semantic Segmentation Neural Networks. AISoLA (2023)
Neelanjana Pal, Taylor T. Johnson
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach. CoRR (2023)
Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input. CoRR (2023)
Neelanjana Pal, Taylor T. Johnson
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool. SNR (2021)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) (2021)
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33 (4-5) (2021)
Neelanjana Pal, Purboday Ghosh, Gabor Karsai
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. ICMLA (2019)
Neelanjana Pal, Prajit Nandi, Riju Biswas, Ashvinkumar G. Katakwar
Placement-Based Nonlinearity Reduction Technique for Differential Current-Steering DAC. IEEE Trans. Very Large Scale Integr. Syst. 24 (1) (2016)
Areeb Ali, Neelanjana Pal, Peter M. Levine
CMOS impedance spectroscopy sensor array with synchronous voltage-to-frequency converters. MWSCAS (2015)