Bastien Sultan

15 papers A 1C 6Journal 3Unranked 4

Year	Rank	Type	Title / 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