Travelled to:1 × Canada
1 × Ireland
1 × Italy
Collaborated with:M.B.Dwyer J.Hatcliff J.C.Corbett S.Laubach C.S.Pasareanu Robby S.Sokolowski R.Joehanes W.Visser
Talks about:program (2) state (2) finit (2) abstract (1) support (1) extract (1) concurr (1) bandera (1) thread (1) primit (1)
Person: Hongjun Zheng
DBLP: Zheng:Hongjun
Contributed to:
20012000
1999Wrote 3 papers:
- ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
- Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
- ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
- Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
- SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine
- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.