Bastien Sultan

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Security Measures

Statistical Models

Countermeasures

Top Venues

CyberICPS/SECPRE@ESORICS

MODELSWARD (Revised Selected Papers)

SN Comput. Sci.

Publications

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
Incremental and Formal Verification of SysML Models. SN Comput. Sci. 5 (6) (2024)
Ludovic Apvrille, Bastien Sultan
System Architects Are not Alone Anymore: Automatic System Modeling with AI. MODELSWARD (2024)
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
Mutation of Formally Verified SysML Models. MODELSWARD (2023)
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. MODELSWARD (Revised Selected Papers) (2022)
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. MODELSWARD (2022)
Bastien Sultan, Fabien Dagnat, Caroline Fontaine
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System. CyberICPS/SECPRE@ESORICS (2017)