Travelled to:1 × Germany
1 × Vietnam
Collaborated with:A.Nymeyer
Talks about:random (2) walk (2) guid (2) base (2) heurist (1) sensit (1) formal (1) verif (1) model (1) check (1)
Person: Thang H. Bui
DBLP: Bui:Thang_H=
Contributed to:
2009
2009Wrote 2 papers:
- IFM-2009-BuiN #random #verification
- Formal Verification Based on Guided Random Walks (THB, AN), pp. 72–87.
- SEFM-2009-BuiN #heuristic #model checking
- Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.