 | 2009 |
|---|
| 12 |       | Jinshuang Wang,
Huabing Yang,
Xingyuan Zhang:
Liveness Reasoning with Isabelle/HOL.
TPHOLs 2009: 485-499 |
| 2008 |
|---|
| 11 | | Chunhan Wu,
Xingyuan Zhang,
Yuanyuan Wang:
A Replay-Oriented Software Architecture for Easy Debugging.
CSSE (2) 2008: 491-499 |
| 2006 |
|---|
| 10 | | Huabing Yang,
Xingyuan Zhang,
Yuanyuan Wang:
A correctness proof of the SRP protocol.
IPDPS 2006 |
| 9 | | Huabing Yang,
Xingyuan Zhang,
Yuanyuan Wang:
A Correctness Proof of the DSR Protocol.
MSN 2006: 72-83 |
| 2004 |
|---|
| 8 | | Mark Harman,
Lin Hu,
Malcolm Munro,
Xingyuan Zhang,
David Binkley,
Sebastian Danicic,
Mohammed Daoudi,
Lahcen Ouarbya:
Syntax-Directed Amorphous Slicing.
Autom. Softw. Eng. 11(1): 27-61 (2004) |
| 2002 |
|---|
| 7 | | Mark Harman,
Lin Hu,
Robert M. Hierons,
Malcolm Munro,
Xingyuan Zhang,
José Javier Dolado,
Mari Carmen Otero,
Joachim Wegener:
A Post-Placement Side-Effect Removal Algorithm.
ICSM 2002: 2-11 |
| 6 | | Mark Harman,
Lin Hu,
Malcolm Munro,
Xingyuan Zhang,
Sebastian Danicic,
Mohammed Daoudi,
Lahcen Ouarbya:
An Interprocedural Amorphous Slicer for WSL.
SCAM 2002: 105-114 |
| 5 | | Xingyuan Zhang,
Malcolm Munro,
Mark Harman,
Lin Hu:
Mechanized Operational Semantics of WSL.
SCAM 2002: 73-82 |
| 4 | | Xingyuan Zhang,
Malcolm Munro,
Mark Harman,
Lin Hu:
Weakest Precondition for General Recursive Programs Formalized in Coq.
TPHOLs 2002: 332-348 |
| 3 |  | Mark Harman,
Malcolm Munro,
Lin Hu,
Xingyuan Zhang:
Source code analysis and manipulation.
Information & Software Technology 44(13): 717-720 (2002) |
| 2001 |
|---|
| 2 | | Mark Harman,
Malcolm Munro,
Lin Hu,
Xingyuan Zhang:
Side-Effect Removal Transformation.
IWPC 2001: 310-322 |
| 1 | | Mark Harman,
Lin Hu,
Malcolm Munro,
Xingyuan Zhang:
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.
WCRE 2001: 271-280 |
