2008 |
11 | EE | Chunhan Wu,
Xingyuan Zhang,
Yuanyuan Wang:
A Replay-Oriented Software Architecture for Easy Debugging.
CSSE (2) 2008: 491-499 |
2006 |
10 | EE | Huabing Yang,
Xingyuan Zhang,
Yuanyuan Wang:
A correctness proof of the SRP protocol.
IPDPS 2006 |
9 | EE | Huabing Yang,
Xingyuan Zhang,
Yuanyuan Wang:
A Correctness Proof of the DSR Protocol.
MSN 2006: 72-83 |
2004 |
8 | EE | 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 | EE | 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 | EE | 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 | EE | Xingyuan Zhang,
Malcolm Munro,
Mark Harman,
Lin Hu:
Mechanized Operational Semantics of WSL.
SCAM 2002: 73-82 |
4 | EE | 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 | EE | Mark Harman,
Malcolm Munro,
Lin Hu,
Xingyuan Zhang:
Side-Effect Removal Transformation.
IWPC 2001: 310-322 |
1 | EE | Mark Harman,
Lin Hu,
Malcolm Munro,
Xingyuan Zhang:
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.
WCRE 2001: 271-280 |