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 × Germany
1 × Vietnam
Collaborated with:
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 DBLP: Bui:Thang_H=

Contributed to:

IFM 20092009
SEFM 20092009

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

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.