Frédérique Vallée

According to our database1, Frédérique Vallée authored at least 10 papers between 1991 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Facing ADAS validation complexity with usage oriented testing.
CoRR, 2016

MBSE and MBSA with Capella and Safety Architect Tools.
Proceedings of the Complex Systems Design & Management, 2016

2014
Formal Safety and Security Assessment of an Avionic Architecture with Alloy.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress.
Proceedings of the Computer Safety, Reliability, and Security, 2014

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

2002
UML Developments: Cost Estimation from Requirements.
Proceedings of the Software Quality, 2002

1995
M-elopee: a CASE tool for software reliability study.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994
FIABILOG: a software reliability tool and its application to space projects.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1992
Software quality metrics in space systems.
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

1991
Reliability evaluation using NHPP models.
Proceedings of the Second International Symposium on Software Reliability Engineering, 1991


  Loading...