Bastien Sultan

According to our database, Bastien Sultan authored at least 12 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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., May, 2025

Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction.

Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

2024

Incremental and Formal Verification of SysML Models.

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes

SN Comput. Sci., August, 2024

System Architects Are not Alone Anymore: Automatic System Modeling with AI.

Ludovic Apvrille, Bastien Sultan

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

AI-Driven Consistency of SysML Diagrams.

Bastien Sultan, Ludovic Apvrille

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing.

Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Automated Attack Tree Generation Using Artificial Intelligence and Natural Language Processing.

Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille

Proceedings of the Risks and Security of Internet and Systems, 2024

2023

Mutation of Formally Verified SysML Models.

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert

Proceedings of the Model-Driven Engineering and Software Development, 2022

Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2020

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

Bastien Sultan

PhD thesis, 2020

2017

A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System.

Bastien Sultan, Fabien Dagnat, Caroline Fontaine

Proceedings of the Computer Security - ESORICS 2017 International Workshops, 2017