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
-
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
-
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
-