Sophie Coudert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2023
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELSWARD | Mutation of Formally Verified SysML Models. | Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert |
| 2022 | MODELSWARD | W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. | Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert |
| 2006 | DSD | Abstract Application Modeling for System Design Space Exploration. | Waseem Muhammad, Ludovic Apvrille, Raba Ameur-Boulifa, Sophie Coudert, Renaud Pacalet |