Divya Gopinath

58 papers A* 5A 8B 7Journal 23Unranked 14
YearRankTypeTitle / Venue / Authors
2025 B conf
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study).
CAIN
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025 J jnl
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study).
CoRR
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025 J jnl
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems.
CoRR
Anastasia Mavridou, Divya Gopinath, Corina S. Pasareanu
2025 J jnl
Prophecy: Inferring Formal Properties from Neuron Activations.
CoRR
Divya Gopinath, Corina S. Pasareanu, Muhammad Usman
2025 — conf
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception.
SAIV
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025 J jnl
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception.
CoRR
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2024 — conf
Concept-Based Analysis of Neural Networks via Vision-Language Models.
SAIV
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024 J jnl
Concept-based Analysis of Neural Networks via Vision-Language Models.
CoRR
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024 J jnl
Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study).
CoRR
Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu
2024 A conf
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study).
ISSTA
Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu
2024 — conf
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.
Principles of Verification (3)
Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024 — ed.
NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NFM
Nathaniel Benz, Divya Gopinath, Nija Shi
2023 J jnl
An overview of structural coverage metrics for testing neural networks.
Int. J. Softw. Tools Technol. Transf.
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2023 B conf
Assumption Generation for Learning-Enabled Autonomous Systems.
RV
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
2023 J jnl
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.
CoRR
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
2023 — conf
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.
CAV (1)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023 J jnl
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study.
CoRR
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023 B conf
Feature-Guided Analysis of Neural Networks.
FASE
Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu
2023 — conf
Rule-Based Testing of Neural Networks.
SE4SafeML@SIGSOFT FSE
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
An Overview of Structural Coverage Metrics for Testing Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2022 J jnl
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 B conf
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.
RV
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
2022 — conf
VPN: Verification of Poisoning in Neural Networks.
NSV/FoMLAS@CAV
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
VPN: Verification of Poisoning in Neural Networks.
CoRR
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2021 — conf
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.
VSTTE
Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu
2021 A* conf
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records.
UIST
Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger
2021 J jnl
MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records.
CoRR
Luke S. Murray, Divya Gopinath, Monica Agrawal, Steven Horng, David A. Sontag, David R. Karger
2021 — conf
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.
ICSE (Companion Volume)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 J jnl
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks.
CoRR
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 — conf
NNrepair: Constraint-Based Repair of Neural Network Classifiers.
CAV (1)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 J jnl
NNrepair: Constraint-based Repair of Neural Network Classifiers.
CoRR
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 — conf
QuantifyML: How Good is my Machine Learning Model?
FMAS
Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2020 A* conf
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.
CVPR
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2020 — conf
Fast, Structured Clinical Documentation via Contextual Autocomplete.
MLHC
Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag
2020 J jnl
Fast, Structured Clinical Documentation via Contextual Autocomplete.
CoRR
Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag
2020 — conf
On the probabilistic analysis of neural networks.
SEAMS@ICSE
Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath
2020 B conf
Parallelization Techniques for Verifying Neural Networks.
FMCAD
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020 J jnl
Parallelization Techniques for Verifying Neural Networks.
CoRR
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020 A conf
Probabilistic Symbolic Analysis of Neural Networks.
ISSRE
Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu
2019 J jnl
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.
CoRR
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2019 J jnl
Finding Invariants in Deep Neural Networks.
CoRR
Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu
2019 J jnl
Hamiltonicity in Semi-Regular Tessellation Dual Graphs.
CoRR
Divya Gopinath, Rohan Kodialam, Kevin Lu, Jayson Lynch, Santiago Ospina
2019 A* conf
Property Inference for Deep Neural Networks.
ASE
Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly
2019 A conf
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.
ISSRE
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2019 — conf
Symbolic execution for attribution and attack synthesis in neural networks.
ICSE (Companion Volume)
Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2018 A conf
Accelerating Search-Based Program Repair.
ICST
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
2018 J jnl
Compositional Verification for Autonomous Systems with Deep Learning Components.
CoRR
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
2018 B conf
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.
ATVA
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2018 J jnl
Symbolic Execution for Deep Neural Networks.
CoRR
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
2017 J jnl
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.
CoRR
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2016 A conf
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration.
ICSME
Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
2015 B conf
Faster bug detection for software product lines with incomplete feature models.
SPLC
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
2014 A* conf
Data-guided repair of selection statements.
ICSE
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
2012 A conf
History-Aware Data Structure Repair Using SAT.
TACAS
Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley
2012 A* conf
Improving the effectiveness of spectra-based fault localization using specifications.
ASE
Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2011 A conf
Specification-Based Program Repair Using SAT.
TACAS
Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
2010 — conf
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.
ASM
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
2010 A conf
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.
ISSRE
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry