2008 |
5 | EE | Amitabha Roy,
Keir Fraser,
Steven Hand:
A transactional approach to lock scalability.
SPAA 2008: 101-103 |
2006 |
4 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification.
CAV 2006: 503-516 |
3 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification
CoRR abs/cs/0605039: (2006) |
2005 |
2 | EE | Amitabha Roy,
K. Gopinath:
Improved Probabilistic Models for 802.11 Protocol Verification.
CAV 2005: 239-252 |
2004 |
1 | EE | Amitabha Roy,
K. Gopinath:
Scalable Probabilistic Models for 802.11 Protocol Verification
CoRR cs.LO/0403044: (2004) |