Sophie Coudert

According to our database1, Sophie Coudert
  • authored at least 7 papers between 1996 and 2006.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...