Travelled to:
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
C.R.Ramakrishnan I.V.Ramakrishnan S.A.Smolka Y.Dong A.Roychoudhury D.S.Warren V.N.Venkatakrishnan Y.S.Ramakrishna O.Sokolsky E.W.Stark B.Cui K.N.Kumar
Talks about:
program (2) verif (2) logic (2) protocol (1) livelock (1) toolset (1) compar (1) studi (1) model (1) fight (1)
Person: Xiaoqun Du
DBLP: Du:Xiaoqun
Contributed to:
Wrote 3 papers:
- CAV-2000-RamakrishnanRSDDRV #named #tool support #verification
- XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
- TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification
- Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
- ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking
- Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.