Travelled to:1 × Belgium
1 × Vietnam
Collaborated with:M.Ogawa
Talks about:roundoff (2) error (2) check (2) counterexampl (1) overflow (1) analysi (1) narrow (1) model (1) guid (1) use (1)
Person: Do Thi Bich Ngoc
DBLP: Ngoc:Do_Thi_Bich
Contributed to:
2010
2009Wrote 2 papers:
- ASE-2010-NgocO #fault #using
- Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.
- SEFM-2009-NgocO #analysis #fault #model checking
- Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.