FairSquare: Probabilistic Verification of Program Fairness, PACMPL, vol.1, 2017. ,
CheckCell: Data Debugging for Spreadsheets, OOPSLA, pp.507-523, 2014. ,
Verifying Fairness Properties via Concentration, 2018. ,
Continuity and Robustness of Programs, Communications of the ACM, vol.55, issue.8, pp.107-115, 2012. ,
Provenance as Dependency Analysis, Mathematical Structures in Computer Science, vol.21, issue.6, pp.1301-1337, 2011. ,
An Abstract Domain to Infer Types over Zones in Spreadsheets, SAS, pp.94-110, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00760424
A Suite of Abstract Domains for Static Analysis of String Values. Software -Practice and Experience, vol.45, pp.245-287, 2015. ,
Static Determination of Dynamic Properties of Programs, Second International Symposium on Programming, pp.106-130, 1976. ,
Probabilistic Abstract Interpretation, ESOP, pp.169-193, 2012. ,
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs, CCS, pp.1193-1210, 2017. ,
Static Analysis of Digital Filters, ESOP, pp.33-48, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00528447
Reliability Analysis in Symbolic Pathfinder, ICSE, pp.622-631, 2013. ,
Fairness Testing: Testing Software for Discrimination, FSE, pp.498-510, 2017. ,
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation, S & P, pp.3-18, 2018. ,
Explaining Explanations: An Approach to Evaluating Interpretability of Machine Learning, 2018. ,
Explaining and Harnessing Adversarial Examples, ICLR, 2015. ,
Robustness Analysis of Finite Precision Implementations, APLAS, pp.50-57, 2013. ,
URL : https://hal.archives-ouvertes.fr/cea-01834989
An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software, ASE, pp.104-113, 2005. ,
Does High Public Debt Consistently Stifle Economic Growth? A Critique of Reinhart and Rogoff, Cambridge Journal of Economics, vol.38, issue.2, pp.257-279, 2014. ,
Learning with a Strong Adversary, 2015. ,
Safety Verification of Deep Neural Networks, CAV, pp.3-29, 2017. ,
Policy Compression for Aircraft Collision Avoidance Systems, DASC, pp.1-10, 2016. ,
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks, CAV, pp.97-117, 2017. ,
, Counterfactual Fairness. In NIPS, pp.4069-4079, 2017.
Symbolic Robustness Analysis, RTSS, pp.355-363, 2009. ,
Understanding Deep Convolutional Networks, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.374, 2016. ,
The Impact of Growing Public Debt on Economic Growth in the European Union, Amfiteatru Economic, vol.16, issue.35, pp.403-414, 2014. ,
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, VMCAI, pp.348-363, 2006. ,
The Octagon Abstract Domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006. ,
Differentiable Abstract Interpretation for Provably Robust Neural Networks, ICML, pp.3575-3583, 2018. ,
Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images, CVPR, pp.427-436, 2015. ,
DeepXplore: Automated Whitebox Testing of Deep Learning Systems, SOSP, pp.1-18, 2017. ,
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks, CAV, pp.243-257, 2010. ,
, The Trace Partitioning Abstract Domain. Transactions on Programming Languages and Systems, vol.29, p.26, 2007.
A Methodology for Testing Spreadsheets, Transactions on Software Engineering and Methodology, vol.10, issue.1, pp.110-147, 2001. ,
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths, PLDI, pp.447-458, 2013. ,
An Abstract Domain for Certifying Neural Networks, PACMPL, vol.3, 2019. ,
Principles of Secure Information Flow Analysis, Malware Detection, vol.27, pp.291-307, 2007. ,
Intriguing Properties of Neural Networks, ICLR, 2014. ,
Exploring the Space of Adversarial Images, IJCNN, pp.426-433, 2016. ,
An Abstract Interpretation Framework for Input Data Usage, ESOP, pp.683-710, 2018. ,
Program Slicing, Transactions on Software Engineering, vol.10, issue.4, pp.352-357, 1984. ,