, Ministère des Armées. L'intelligence artificielle au service de la défense, Journal, issue.2, 2019.
, DARPA. Ai next campaign, 2018.
Algorithm engineering-an attempt at a definition, Efficient Algorithms, pp.321-340, 2009. ,
Ship classification using deep learning techniques for maritime target tracking, 21st Int. Conf. on Information Fusion (FUSION), pp.737-744, 2018. ,
Anomaly detection with pattern of life extraction for gmti tracking, 22th Int. Conf. on Information Fusion (FUSION), pp.1-8, 2019. ,
Prise en compte d'un contexteévolutif dans la coordination des opérations de secours, IIn Cinquième Workshop Interdisciplinaire sur la Sécurité Globale, 2011. ,
A constraint-based approach for planning unmanned aerial vehicle activities, The Knowledge Engineering Review, vol.31, issue.5, p.486, 2016. ,
Algorithm engineering: bridging the gap between algorithm theory and practice, 2010. ,
Algorithm engineering-an attempt at a definition using sorting as an example, 12th Workshop on Algorithm Engineering and Experiments (ALENEX), pp.55-61, 2010. ,
Efficient neural network robustness certification with general activation functions, Advances in neural information processing systems, pp.4939-4948, 2018. ,
Proven: Verifying robustness of neural networks with a probabilistic approach, Int. Conf. on Machine Learning, pp.6727-6736, 2019. ,
Ai2: Safety and robustness certification of neural networks with abstract interpretation, 2018 IEEE Symposium on Security and Privacy (SP), pp.3-18, 2018. ,
The marabou framework for verification and analysis of deep neural networks, Int. Conf. on Computer Aided Verification, pp.443-452, 2019. ,
, , 2018.
, Certified adversarial robustness via randomized smoothing, 2019.
Using machine teaching to identify optimal training-set attacks on machine learners, AAAI Conf. on Artificial Intelligence, 2015. ,
Data quality assessment, Communications of the ACM, vol.45, issue.4, pp.211-218, 2002. ,
, Data quality. Information and software technology, vol.32, pp.559-565, 1990.
Knowledge engineering: principles and methods. Data & knowledge engineering, vol.25, pp.161-197, 1998. ,
, Guide méthodologique pour la spécification et la qualification des systèmes intégrant des modules d'intelligence artificielle -version 1.0 b, 2019.
Dynamic safety cases for through-life safety assurance, IEEE/ACM 37th IEEE Int. Conf. on Software Engineering, vol.2, pp.587-590, 2015. ,