default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDivya Gopinath
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c31]Eduard Pinconschi
, Divya Gopinath, Rui Abreu, Corina S. Pasareanu:
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). ISSTA 2024: 1300-1311- [c30]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV 2024: 49-77 - [e1]Nathaniel Benz, Divya Gopinath, Nija Shi:
NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Lecture Notes in Computer Science 14627, Springer 2024, ISBN 978-3-031-60697-7 [contents] - [i18]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR abs/2403.19837 (2024) - [i17]Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu:
Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study). CoRR abs/2407.08730 (2024) - 2023
- [j1]Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An overview of structural coverage metrics for testing neural networks. Int. J. Softw. Tools Technol. Transf. 25(3): 393-405 (2023) - [c29]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) 2023: 289-303 - [c28]Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu:
Feature-Guided Analysis of Neural Networks. FASE 2023: 133-142 - [c27]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for Learning-Enabled Autonomous Systems. RV 2023: 3-22 - [c26]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE 2023: 1-5 - [i16]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR abs/2302.04634 (2023) - [i15]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR abs/2305.18372 (2023) - 2022
- [c25]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV 2022: 3-14 - [c24]Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu:
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV 2022: 67-84 - [i14]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR abs/2202.01179 (2022) - [i13]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. CoRR abs/2205.03894 (2022) - [i12]Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR abs/2208.03407 (2022) - 2021
- [c23]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu:
NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) 2021: 3-25 - [c22]Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath:
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. ICSE (Companion Volume) 2021: 25-28 - [c21]Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger:
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. UIST 2021: 1169-1183 - [c20]Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE 2021: 104-121 - [c19]Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
QuantifyML: How Good is my Machine Learning Model? FMAS 2021: 92-100 - [i11]Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath:
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR abs/2103.00124 (2021) - [i10]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu:
NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR abs/2103.12535 (2021) - [i9]Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger:
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. CoRR abs/2109.11451 (2021) - 2020
- [c18]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR 2020: 11125-11134 - [c17]Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
Parallelization Techniques for Verifying Neural Networks. FMCAD 2020: 128-137 - [c16]Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath:
On the probabilistic analysis of neural networks. SEAMS@ICSE 2020: 5-8 - [c15]Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159 - [c14]Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag:
Fast, Structured Clinical Documentation via Contextual Autocomplete. MLHC 2020: 842-870 - [i8]Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
Parallelization Techniques for Verifying Neural Networks. CoRR abs/2004.08440 (2020) - [i7]Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag:
Fast, Structured Clinical Documentation via Contextual Autocomplete. CoRR abs/2007.15153 (2020)
2010 – 2019
- 2019
- [c13]Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) 2019: 282-283 - [c12]Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE 2019: 313-322 - [c11]Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly:
Property Inference for Deep Neural Networks. ASE 2019: 797-809 - [i6]Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu:
Finding Invariants in Deep Neural Networks. CoRR abs/1904.13215 (2019) - [i5]Divya Gopinath, Rohan Kodialam, Kevin Lu, Jayson Lynch, Santiago Ospina:
Hamiltonicity in Semi-Regular Tessellation Dual Graphs. CoRR abs/1909.13755 (2019) - [i4]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR abs/1912.00289 (2019) - 2018
- [c10]Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA 2018: 3-19 - [c9]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [i3]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - [i2]Corina S. Pasareanu, Divya Gopinath, Huafeng Yu:
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR abs/1810.08303 (2018) - 2017
- [i1]Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR abs/1710.00486 (2017) - 2016
- [c8]Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid:
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME 2016: 453-457 - 2015
- [c7]Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory:
Faster bug detection for software product lines with incomplete feature models. SPLC 2015: 151-160 - 2014
- [c6]Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra:
Data-guided repair of selection statements. ICSE 2014: 243-253 - 2012
- [c5]Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012: 40-49 - [c4]Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley:
History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17 - 2011
- [c3]Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid:
Specification-Based Program Repair Using SAT. TACAS 2011: 173-188 - 2010
- [c2]Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry:
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM 2010: 392-393 - [c1]Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry:
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE 2010: 408-417
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-04 03:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
