Bastien Sultan

According to our database, Bastien Sultan authored at least 9 papers between 2017 and 2024.

Collaborative distances:

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

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

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