Do Thi Bich Ngoc

According to our database, Do Thi Bich Ngoc authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Checking roundoff errors using counterexample-guided narrowing.

Do Thi Bich Ngoc, Mizuhito Ogawa

Proceedings of the ASE 2010, 2010

2009

Overflow and Roundoff Error Analysis via Model Checking.

Do Thi Bich Ngoc, Mizuhito Ogawa

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009