Sophie Coudert

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Incremental and Formal Verification of SysML Models.
SN Comput. Sci., August, 2024

2023
Execution trace analysis for a precise understanding of latency violations.
Softw. Syst. Model., October, 2023

Mutation of Formally Verified SysML Models.
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.
Proceedings of the Model-Driven Engineering and Software Development, 2022

2021
Proving the Safety of a Sliding Window Protocol with Event-B.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2017
Formal Methods for Railway Disasters Prevention.
Proceedings of the Information Technology in Disaster Risk Reduction, 2017

2016
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.
Proceedings of the Information Technology in Disaster Risk Reduction, 2016

2006
A UML-based Environment for System Design Space Exploration.
Proceedings of the 13th IEEE International Conference on Electronics, 2006

Abstract Application Modeling for System Design Space Exploration.
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.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2003
An Environment for Interactive Service Specification.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000
A Reuse-Oriented Framework for Hierarchical Specifications.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1998
Hierarchical Heterogeneous Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1996
Towards Heterogeneous Formal Specification.
Proceedings of the Algebraic Methodology and Software Technology, 1996


  Loading...