Towards Heterogeneous Formal Specification. - Gilles Bernot; Sophie Coudert; Pascale Le Gall (AMAST, 1996)

Hierarchical Heterogeneous Specifications. - Sophie Coudert; Gilles Bernot; Pascale Le Gall (WADT, 1998)

A Reuse-Oriented Framework for Hierarchical Specifications. - Sophie Coudert; Pascale Le Gall (AMAST, 2000)

An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. - Helene Jouve; Pascale Le Gall; Sophie Coudert (FIW, 2005)

Abstract Application Modeling for System Design Space Exploration. - Muhammad Waseem; Ludovic Apvrille; Rabéa Ameur-Boulifa; Sophie Coudert; Renaud Pacalet (DSD, 2006)

A UML-based Environment for System Design Space Exploration. - Ludovic Apvrille; Muhammad Waseem; Rabéa Ameur-Boulifa; Sophie Coudert; Renaud Pacalet (ICECS, 2006)

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management. - Sophie Coudert; Tullio Joseph Tanzi (ITDRR, 2016)

Formal Methods for Railway Disasters Prevention. - Lilia Belabed; Tullio Joseph Tanzi; Sophie Coudert (ITDRR, 2017)

Proving the Safety of a Sliding Window Protocol with Event-B. - Sophie Coudert (ABZ, 2021)

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. - Bastien Sultan; Ludovic Apvrille; Philippe Jaillon; Sophie Coudert (MODELSWARD (Revised Selected Papers), 2022)

Mutation of Formally Verified SysML Models. - Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes; Sophie Coudert (MODELSWARD, 2023)

Execution trace analysis for a precise understanding of latency violations. - Maysam Zoor; Ludovic Apvrille; Renaud Pacalet; Sophie Coudert (Softw. Syst. Model., 2023)

Incremental and Formal Verification of SysML Models. - Sophie Coudert; Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes (SN Comput. Sci., 2024)

AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models. - Bastien Sultan; Leon Frenot; Ludovic Apvrille; Philippe Jaillon; Sophie Coudert (ACM Trans. Embed. Comput. Syst., 2025)