Travelled to:1 × France
1 × Uruguay
Collaborated with:M.Bozga S.Bensalem J.Sifakis Y.Falcone M.Jaber
Talks about:verif (2) deadlock (1) composit (1) system (1) runtim (1) finder (1) detect (1) compon (1) tool (1) base (1)
Person: Thanh-Hung Nguyen
DBLP: Nguyen:Thanh=Hung
Contributed to:
2011
2009Wrote 2 papers:
- SEFM-2011-FalconeJNBB #component #runtime #verification
- Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
- CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
- D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.