Travelled to:1 × France
1 × Germany
1 × Japan
1 × Taiwan
Collaborated with:V.Wiels ∅ C.Seguin P.Michel H.Yu Y.Ma Y.Glouche J.Talpin L.Besnard T.Gautier P.L.Guernic A.Toom
Talks about:use (3) system (2) formal (2) verif (2) simul (2) level (2) avion (2) test (2) polychroni (1) methodolog (1)
Person: Odile Laurent
DBLP: Laurent:Odile
Contributed to:
2011
2010
2006
2001Wrote 4 papers:
- SAC-2011-YuMGTBGGTL #using
- System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
- ICST-2010-Laurent #concept #formal method #process #testing #using #validation #verification
- Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
- ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing
- A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.
- FME-2001-LaurentMW #simulation #using #verification
- Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.