Odile Laurent
According to our database1,
Odile Laurent
authored at least 7 papers
between 2001 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
0
1
2
3
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.
Proceedings of the Third International Conference on Software Testing, 2010
2007
Proceedings of the ISoLA 2007, 2007
2006
A methodology for automated test generation guided by functional coverage constraints at specification level.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
2004
Proceedings of the Building the Information Society, 2004
2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001