Bastien Sultan

15 papers A 1C 6Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2026 C conf
Continuous AI Assistance for Model-Driven Engineering.
MODELSWARD
Ludovic Apvrille, Bastien Sultan
2025 J jnl
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models.
ACM Trans. Embed. Comput. Syst.
Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2025 C conf
Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction.
MODELSWARD
Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes
2025 — conf
Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems.
MODELS-C
Jawher Jerray, Bastien Sultan, Ludovic Apvrille
2025 J jnl
TTool-AI: A Large Language Model-Based Assistant for Model Driven Engineering.
SN Comput. Sci.
Bastien Sultan, Ludovic Apvrille
2024 A conf
AI-Driven Consistency of SysML Diagrams.
MODELS
Bastien Sultan, Ludovic Apvrille
2024 C conf
Automated Attack Tree Generation Using Artificial Intelligence and Natural Language Processing.
CRiSIS
Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024 — conf
From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing.
MoDELS (Companion)
Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024 J jnl
Incremental and Formal Verification of SysML Models.
SN Comput. Sci.
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
2024 C conf
System Architects Are not Alone Anymore: Automatic System Modeling with AI.
MODELSWARD
Ludovic Apvrille, Bastien Sultan
2023 C conf
Mutation of Formally Verified SysML Models.
MODELSWARD
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
2022 C conf
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.
MODELSWARD
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon
2022 — conf
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.
MODELSWARD (Revised Selected Papers)
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2020 — —
Maîtrise des correctifs de sécurité pour les systèmes navals. (Patch management applied to naval systems).
Bastien Sultan
2017 — conf
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System.
CyberICPS/SECPRE@ESORICS
Bastien Sultan, Fabien Dagnat, Caroline Fontaine