Skip to content

Bastien Sultan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

4

Active years

2017–2026

Best venue rank

C

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2026MODELSWARDContinuous AI Assistance for Model-Driven Engineering.Ludovic Apvrille, Bastien Sultan
2025MODELSFine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems.Jawher Jerray, Bastien Sultan, Ludovic Apvrille
2025MODELSWARDEnabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction.Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes
2024CRiSISAutomated Attack Tree Generation Using Artificial Intelligence and Natural Language Processing.Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024MODELSFrom Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing.Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille
2024MODELSAI-Driven Consistency of SysML Diagrams.Bastien Sultan, Ludovic Apvrille
2024MODELSWARDSystem Architects Are not Alone Anymore: Automatic System Modeling with AI.Ludovic Apvrille, Bastien Sultan
2023MODELSWARDMutation of Formally Verified SysML Models.Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
2022MODELSWARDSafety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.Bastien Sultan, Ludovic Apvrille, Philippe Jaillon
2022MODELSWARDW-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2017ESORICSA Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System.Bastien Sultan, Fabien Dagnat, Caroline Fontaine