| 2010 | ||
|---|---|---|
| c4 | Fábio Oliveira, Andrew Tjang, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen: Barricade: defending systems against operator mistakes. EuroSys 2010: 83-96 | |
| 2009 | ||
| c3 | Andrew Tjang, Fábio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen: Model-Based Validation for Internet Services. SRDS 2009: 61-70 | |
| 2006 | ||
| c2 | Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen: A: an assertion language for distributed systems. PLOS 2006: 8 | |
| 2004 | ||
| c1 | Andrew Tjang, Michael Pagliorola, Hiral Patel, Xiaoyan Li, Richard P. Martin: Active Tapes: Bus-Based Sensor Networks. LCN 2004: 565-566 | |
| 1 | Ricardo Bianchini | |
| 2 | Xiaoyan Li | |
| 3 | Richard P. Martin | |
| 4 | Thu D. Nguyen (Thu Duc Nguyen) | |
| 5 | Fábio Oliveira | |
| 6 | Michael Pagliorola | |
| 7 | Hiral Patel |
Data released under the ODC-BY 1.0 license — See also our legal information page