Publications HAL de Bastien SULTAN de la collection FAYOL-ENSMSE

2023

Journal articles

titre
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models
auteur
Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
article
ACM Transactions on Embedded Computing Systems (TECS), 2023, pp.1-28. ⟨10.1145/3624583⟩
Accès au texte intégral et bibtex
https://hal-emse.ccsd.cnrs.fr/emse-04212653/file/3624583.pdf BibTex

Book sections

titre
W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
auteur
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
article
Model-Driven Engineering and Software Development, 1708, Springer Nature Switzerland, pp.203-229, 2023, Communications in Computer and Information Science, 978-3-031-38821-7. ⟨10.1007/978-3-031-38821-7_10⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04177250/file/paper.pdf BibTex

2022

Conference papers

titre
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec
auteur
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon
article
10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010832300003119⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03575972/file/SultanApvrilleJaillon_WSec_modelsward2022.pdf BibTex