Bastien Sultan

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

Collaborative distances:

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

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

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