Travelled to:1 × USA
2 × France
Collaborated with:J.Dingel Z.Diskin E.Posse
Talks about:use (2) txl (2) comprehens (1) transform (1) verisoft (1) scenario (1) approach (1) program (1) practic (1) general (1)
Person: Hongzhi Liang
DBLP: Liang:Hongzhi
Contributed to:
2008
2008
2004Wrote 3 papers:
- MoDELS-2008-LiangDDP #approach #integration
- A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.
- SLE-2008-LiangD #evaluation #model transformation #txl #using
- A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
- FSE-2004-DingelL #analysis #automation #concurrent #safety #source code #txl #using
- Automating comprehensive safety analysis of concurrent programs using verisoft and TXL (JD, HL), pp. 13–22.