| 2008 |
|---|
| 11 | EE | Allen Clement,
Harry C. Li,
Jeff Napper,
Jean-Philippe Martin,
Lorenzo Alvisi,
Michael Dahlin:
BAR primer.
DSN 2008: 287-296 |
| 10 | EE | Harry C. Li,
Allen Clement,
Mirco Marchetti,
Manos Kapritsos,
Luke Robison,
Lorenzo Alvisi,
Michael Dahlin:
FlightPath: Obedience vs. Choice in Cooperative Services.
OSDI 2008: 355-368 |
| 2007 |
|---|
| 9 | EE | Allen Clement,
Jeff Napper,
Harry C. Li,
Jean-Philippe Martin,
Lorenzo Alvisi,
Michael Dahlin:
Theory of BAR games.
PODC 2007: 358-359 |
| 8 | EE | Harry C. Li,
Allen Clement,
Amitanand S. Aiyer,
Lorenzo Alvisi:
The Paxos Register.
SRDS 2007: 114-126 |
| 7 | EE | Lorenzo Alvisi,
Jeroen Doumen,
Rachid Guerraoui,
Boris Koldehofe,
Harry C. Li,
Robbert van Renesse,
Gilles Trédan:
How robust are gossip-based communication protocols?
Operating Systems Review 41(5): 14-18 (2007) |
| 6 | EE | Etienne Riviere,
Roberto Baldoni,
Harry C. Li,
José Pereira:
Compositional gossip: a conceptual architecture for designing gossip-based applications.
Operating Systems Review 41(5): 43-50 (2007) |
| 2006 |
|---|
| 5 | EE | Harry C. Li,
Allen Clement,
Edmund L. Wong,
Jeff Napper,
Indrajit Roy,
Lorenzo Alvisi,
Michael Dahlin:
BAR Gossip.
OSDI 2006: 191-204 |
| 2005 |
|---|
| 4 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking.
Autom. Softw. Eng. 12(3): 349-382 (2005) |
| 2002 |
|---|
| 3 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Interfaces for Modular Feature Verification.
ASE 2002: 195-204 |
| 2 | EE | Harry C. Li,
Shriram Krishnamurthi,
Kathi Fisler:
Verifying cross-cutting features as open systems.
SIGSOFT FSE 2002: 89-98 |
| 1 | EE | Harry C. Li,
Kathi Fisler,
Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification.
SPIN 2002: 60-78 |
