Neelanjana Pal

202020212022202320241 3 13 36 2

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
Diego Manzanas LopezResearch Scientist, Vanderbilt UniversityVerified email at vanderbilt.edu
Patrick MusauVanderbilt UniversityVerified email at vanderbilt.edu
Xiaodong YangVisa IncVerified email at visa.com
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Hoang-Dung TranUniversity of Nebraska at LincolnVerified email at unl.edu
Nathaniel HamiltonAI Scientist, Parallax Advanced ResearchVerified email at parallaxresearch.org
Luan Viet NguyenAssistant Professor, University of DaytonVerified email at udayton.edu
Weiming XiangAssociate Professor, School of Computer and Cyber Sciences, Augusta UniversityVerified email at augusta.edu
Purboday GhoshPhD Student, Vanderbilt UniversityVerified email at vanderbilt.edu
Gabor KarsaiVanderbilt UniversityVerified email at vanderbilt.edu

Neelanjana Pal

Verified email at vanderbilt.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Robustness verification of semantic segmentation neural networks using relaxed reachability HD Tran, N Pal, P Musau, DM Lopez, N Hamilton, X Yang, S Bak, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021	33	2021
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter HD Tran, N Pal, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal aspects of computing 33, 519-545, 2021	13	2021
DeepECO: applying deep learning for occupancy detection from energy consumption data N Pal, P Ghosh, G Karsai 2019 18th IEEE International Conference On Machine Learning And Applications …, 2019	6	2019
Benchmark: formal verification of semantic segmentation neural networks N Pal, S Lee, TT Johnson International Conference on Bridging the Gap between AI and Reality, 311-330, 2023	1	2023
Robustness verification of deep neural networks using star-based reachability analysis with variable-length time series input N Pal, DM Lopez, TT Johnson International Conference on Formal Methods for Industrial Critical Systems …, 2023	1	2023
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool N Pal, TT Johnson arXiv preprint arXiv:2207.06759, 2022	1	2022
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach N Pal, TT Johnson arXiv preprint arXiv:2311.12130, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year