Publications

Filter by type:

. Abstract Interpretation-Based Feature Importance for SVMs. CoRR abs/2210.12456, 2022.

PDF Project arXiv

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. In APSEC, 2022.

Project

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR abs/2207.05902, 2022.

PDF Project arXiv

. ReCIPH: Relational Coefficients for Input Partitioning Heuristic. In WFVML, 2022.

Project

. A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466, 2021.

PDF Project arXiv HAL

. Fair Training of Decision Tree Classifiers. CoRR abs/2101.00909, 2021.

PDF Project arXiv

. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.

PDF Code Project BibTeX arXiv

. Permission Inference for Array Programs. In CAV, 2018.

PDF BibTeX Springer

. MaxSMT-Based Type Inference for Python 3. In CAV, 2018.

PDF Code Project Artifact BibTeX Springer

. Abstract Interpretation as Automated Deduction. In JAR, 2017.

PDF BibTeX Springer

. Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol. In SOFSEM Student Research Forum, 2011.

PDF Poster Slides