Sophie Coudert

According to our database, Sophie Coudert authored at least 14 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Incremental and Formal Verification of SysML Models.

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes

SN Comput. Sci., August, 2024

2023

Execution trace analysis for a precise understanding of latency violations.

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert

Softw. Syst. Model., October, 2023

Mutation of Formally Verified SysML Models.

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert

Proceedings of the Model-Driven Engineering and Software Development, 2022

2021

Proving the Safety of a Sliding Window Protocol with Event-B.

Sophie Coudert

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2017

Formal Methods for Railway Disasters Prevention.

Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert

Proceedings of the Information Technology in Disaster Risk Reduction, 2017

2016

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.

Sophie Coudert, Tullio Joseph Tanzi

Proceedings of the Information Technology in Disaster Risk Reduction, 2016

2006

A UML-based Environment for System Design Space Exploration.

Ludovic Apvrille, Muhammad Waseem, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet

Proceedings of the 13th IEEE International Conference on Electronics, 2006

Abstract Application Modeling for System Design Space Exploration.

Muhammad Waseem, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

2005

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.

Helene Jouve, Pascale Le Gall, Sophie Coudert

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2003

An Environment for Interactive Service Specification.

Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000

A Reuse-Oriented Framework for Hierarchical Specifications.

Sophie Coudert, Pascale Le Gall

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1998

Hierarchical Heterogeneous Specifications.

Sophie Coudert, Gilles Bernot, Pascale Le Gall

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1996

Towards Heterogeneous Formal Specification.

Gilles Bernot, Sophie Coudert, Pascale Le Gall

Proceedings of the Algebraic Methodology and Software Technology, 1996