 Software Security Analysis in 2030 and Beyond: A Research RoadmapACM Transactions on Software Engineering and Methodology (TOSEM), 2024 |
 Boosting Few-Pixel Robustness Verification via Covering Verification
DesignsInternational Conference on Computer Aided Verification (CAV), 2024 |
 Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2024 |
 Verification of Neural Networks Local Differential Classification
PrivacyInternational Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2023 |
 Formally Explaining Neural Networks within Reactive SystemsFormal Methods in Computer-Aided Design (FMCAD), 2023 |
 DelBugV: Delta-Debugging Neural Network VerifiersFormal Methods in Computer-Aided Design (FMCAD), 2023 |
 UnbiasedNets: A Dataset Diversification Framework for Robustness Bias
Alleviation in Neural NetworksMachine-mediated learning (ML), 2023 |
 Verifying Generalization in Deep LearningInternational Conference on Computer Aided Verification (CAV), 2023 |
 VeriX: Towards Verified Explainability of Deep Neural NetworksNeural Information Processing Systems (NeurIPS), 2022 |
 Towards Formal XAI: Formally Approximate Minimal Explanations of Neural
NetworksInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Tighter Abstract Queries in Neural Network VerificationLogic Programming and Automated Reasoning (LPAR), 2022 |
 Boosting Robustness Verification of Semantic Feature NeighborhoodsSensors Applications Symposium (SAS), 2022 |
 Negative Selection Approach to support Formal Verification and
Validation of BlackBox Models' Input ConstraintsIEEE Symposium Series on Computational Intelligence (IEEE SSCI), 2022 |
 Neural Network Verification using Residual ReasoningIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2022 |
 Neural Network Verification with Proof ProductionFormal Methods in Computer-Aided Design (FMCAD), 2022 |
 Verifying Learning-Based Robotic Navigation SystemsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Efficient Neural Network Analysis with Sum-of-InfeasibilitiesInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Verification-Aided Deep Ensemble SelectionFormal Methods in Computer-Aided Design (FMCAD), 2022 |
 An Abstraction-Refinement Approach to Verifying Convolutional Neural
NetworksAutomated Technology for Verification and Analysis (ATVA), 2022 |
 RoMA: a Method for Neural Network Robustness Measurement and AssessmentInternational Conference on Neural Information Processing (ICONIP), 2021 |
 ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional InputsNASA Formal Methods (NFM), 2021 |
 Pruning and Slicing Neural Networks using Formal VerificationFormal Methods in Computer-Aided Design (FMCAD), 2021 |
 Towards Scalable Verification of Deep Reinforcement LearningFormal Methods in Computer-Aided Design (FMCAD), 2021 |
 DeepCert: Verification of Contextually Relevant Robustness for Neural
Network Image ClassifiersInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2021 |
 Verifying Recurrent Neural Networks using Invariant InferenceAutomated Technology for Verification and Analysis (ATVA), 2020 |
 An Abstraction-Based Framework for Neural Network VerificationInternational Conference on Computer Aided Verification (CAV), 2019 |
