A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System. - Bastien Sultan; Fabien Dagnat; Caroline Fontaine (CyberICPS/SECPRE@ESORICS, 2017)

Maîtrise des correctifs de sécurité pour les systèmes navals. (Patch management applied to naval systems). - Bastien Sultan (2020)

Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. - Bastien Sultan; Ludovic Apvrille; Philippe Jaillon (MODELSWARD, 2022)

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. - Bastien Sultan; Ludovic Apvrille; Philippe Jaillon; Sophie Coudert (MODELSWARD (Revised Selected Papers), 2022)

Mutation of Formally Verified SysML Models. - Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes; Sophie Coudert (MODELSWARD, 2023)

Automated Attack Tree Generation Using Artificial Intelligence and Natural Language Processing. - Alan Birchler De Allende; Bastien Sultan; Ludovic Apvrille (CRiSIS, 2024)

From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing. - Alan Birchler De Allende; Bastien Sultan; Ludovic Apvrille (MoDELS (Companion), 2024)

AI-Driven Consistency of SysML Diagrams. - Bastien Sultan; Ludovic Apvrille (MODELS, 2024)

System Architects Are not Alone Anymore: Automatic System Modeling with AI. - Ludovic Apvrille; Bastien Sultan (MODELSWARD, 2024)

Incremental and Formal Verification of SysML Models. - Sophie Coudert; Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes (SN Comput. Sci., 2024)

Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. - Bastien Sultan; Ludovic Apvrille; Oana Hotescu; Pierre de Saqui-Sannes (MODELSWARD, 2025)

AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models. - Bastien Sultan; Leon Frenot; Ludovic Apvrille; Philippe Jaillon; Sophie Coudert (ACM Trans. Embed. Comput. Syst., 2025)