 | 2009 |
|---|
| 9 |       | John Homer,
Xinming Ou:
SAT-solving approaches to context-aware enterprise network security management.
IEEE Journal on Selected Areas in Communications 27(3): 315-322 (2009) |
| 2008 |
|---|
| 8 | | Reginald E. Sawilla,
Xinming Ou:
Identifying Critical Attack Assets in Dependency Attack Graphs.
ESORICS 2008: 18-34 |
| 7 | | John Homer,
Ashok Varikuti,
Xinming Ou,
Miles A. McQueen:
Improving Attack Graph Visualization through Data Reduction and Attack Grouping.
VizSEC 2008: 68-79 |
| 2006 |
|---|
| 6 | | Xinming Ou,
Wayne F. Boyer,
Miles A. McQueen:
A scalable approach to attack graph generation.
ACM Conference on Computer and Communications Security 2006: 336-345 |
| 2005 |
|---|
| 5 | | K. Rustan M. Leino,
Madan Musuvathi,
Xinming Ou:
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.
TACAS 2005: 334-348 |
| 2004 |
|---|
| 4 |  | Xinming Ou,
Gang Tan,
Yitzhak Mandelbaum,
David Walker:
Dynamic Typing with Dependent Types.
IFIP TCS 2004: 437-450 |
| 2003 |
|---|
| 3 | | Cormac Flanagan,
Rajeev Joshi,
Xinming Ou,
James B. Saxe:
Theorem Proving Using Lazy Proof Explication.
CAV 2003: 355-367 |
| 2000 |
|---|
| 2 | | Wei Liu,
Min Wu,
Xinming Ou,
Weimin Zheng,
Meiming Shen:
Design of an I/O Balancing File System on Web Server Clusters.
ICPP Workshops 2000: 119-126 |
| 1 | | Wei Liu,
Weimin Zheng,
Meiming Shen,
Xinming Ou,
Min Wu:
An Effective File Migration Algorithm in Cluster File Systems.
ICPP Workshops 2000: 329-336 |
