Sophie Coudert

16 papers C 3Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models.
ACM Trans. Embed. Comput. Syst.
Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2024 — conf
Autonomous Systems: Towards an Assessment of the Reliability.
ITDRR
Tullio J. Tanzi, Sophie Coudert
2024 J jnl
Incremental and Formal Verification of SysML Models.
SN Comput. Sci.
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
2023 J jnl
Execution trace analysis for a precise understanding of latency violations.
Softw. Syst. Model.
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert
2023 C conf
Mutation of Formally Verified SysML Models.
MODELSWARD
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
2022 — conf
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.
MODELSWARD (Revised Selected Papers)
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
2021 C conf
Proving the Safety of a Sliding Window Protocol with Event-B.
ABZ
Sophie Coudert
2017 — conf
Formal Methods for Railway Disasters Prevention.
ITDRR
Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert
2016 — conf
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.
ITDRR
Sophie Coudert, Tullio Joseph Tanzi
2006 — conf
A UML-based Environment for System Design Space Exploration.
ICECS
Ludovic Apvrille, Waseem Muhammad, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006 C conf
Abstract Application Modeling for System Design Space Exploration.
DSD
Waseem Muhammad, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2005 — conf
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.
FIW
Helene Jouve, Pascale Le Gall, Sophie Coudert
2003 — conf
An Environment for Interactive Service Specification.
FIW
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
2000 — conf
A Reuse-Oriented Framework for Hierarchical Specifications.
AMAST
Sophie Coudert, Pascale Le Gall
1998 — conf
Hierarchical Heterogeneous Specifications.
WADT
Sophie Coudert, Gilles Bernot, Pascale Le Gall
1996 — conf
Towards Heterogeneous Formal Specification.
AMAST
Gilles Bernot, Sophie Coudert, Pascale Le Gall