BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Laurent:Odile

Contributed to:

SAC 20112011
ICST 20102010
ASE 20062006
FME 20012001

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.