Sophie Coudert

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 7

Top Topics

Countermeasures

Top Venues

Softw. Syst. Model.

MODELSWARD (Revised Selected Papers)

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)
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert
Execution trace analysis for a precise understanding of latency violations. Softw. Syst. Model. 22 (5) (2023)
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)
Sophie Coudert
Proving the Safety of a Sliding Window Protocol with Event-B. ABZ (2021)
Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert
Formal Methods for Railway Disasters Prevention. ITDRR (2017)
Sophie Coudert, Tullio Joseph Tanzi
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management. ITDRR (2016)
Ludovic Apvrille, Muhammad Waseem, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
A UML-based Environment for System Design Space Exploration. ICECS (2006)
Muhammad Waseem, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
Abstract Application Modeling for System Design Space Exploration. DSD (2006)
Helene Jouve, Pascale Le Gall, Sophie Coudert
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. FIW (2005)
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
An Environment for Interactive Service Specification. FIW (2003)
Sophie Coudert, Pascale Le Gall
A Reuse-Oriented Framework for Hierarchical Specifications. AMAST (2000)
Sophie Coudert, Gilles Bernot, Pascale Le Gall
Hierarchical Heterogeneous Specifications. WADT (1998)
Gilles Bernot, Sophie Coudert, Pascale Le Gall
Towards Heterogeneous Formal Specification. AMAST (1996)