Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot. Certification of avionic software based on machine learning: the case for formal monotony analysis. International Journal on Software Tools for Technology Transfer, 2024, 26 (2 - Special Issue: FMICS 2022), pp.189--205. ⟨10.1007/s10009-024-00741-6⟩. ⟨hal-04668016⟩

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. Constructing security cases based on formal verification of security requirements in alloy. 42nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2023) Workshops, Sep 2023, Toulouse, France. pp.15-25, ⟨10.1007/978-3-031-40953-0_2⟩. ⟨cea-04232793⟩

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. Towards logical specification of adversarial examples in machine learning. IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2022), Dec 2022, Wuhan, China. IEEE, 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp.1575-1580, 2022, ⟨10.1109/TrustCom56396.2022.00226⟩. ⟨cea-04292759⟩

Megha Quamara. An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support. Computer Aided Engineering. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30267⟩. ⟨tel-04103912⟩

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Iulian Ober, Ileana Ober. Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩. ⟨hal-03855271⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Formal analysis approach for multi-layered system safety and security co-engineering. 14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩. ⟨cea-03789094⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Facilitating safety and security co-design and formal analysis in multi-layered system modeling. 20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩. ⟨cea-03789114⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Introducing a multi-layered model-based design approach towards safety-security co-engineering. IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩. ⟨cea-03789133⟩

Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant. A PAC-Bayes Analysis of Adversarial Robustness. Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), NIPS: Neural Information Processing Systems Foundation, Dec 2021, Virtual-only Conference, Australia. 1105, pp. 14421 - 14433, ⟨10.5555/3540261.3541366⟩. ⟨hal-03145332v2⟩

Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements : properties, models, analysis and tool support. Library and information sciences. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30251⟩. ⟨tel-03699867⟩