Loading...
Latest full text publications
-
-
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian 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⟩
-
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. ⟨hal-03145332v2⟩
-
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⟩
-
-
Megha Quamara, Gabriel Pedroza, Brahim Hamid. Multi-layered model-based design approach towards system safety and security co-engineering. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩. ⟨cea-03789160⟩
-
-
Documents
43
Distribution per document type

Submission evolution
