2007 | ||
---|---|---|
4 | EE | Hon Fung Li, Eslam Al Maghayreh: Checking Distributed Programs with Partially Ordered Atoms. APSEC 2007: 518-525 |
3 | EE | Hon Fung Li, Eslam Al Maghayreh: Using synchronized atoms to check distributed programs. ICPADS 2007: 1-8 |
2 | EE | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami: Detecting Atomicity Errors in Message Passing Programs. PDCAT 2007: 193-200 |
2004 | ||
1 | Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami: On-the-Fly Agent-Based Distributed Shared State Monitoring. PDPTA 2004: 1396-1402 |
1 | Dhrubajyoti Goswami | [1] [2] |
2 | Hon Fung Li | [1] [2] [3] [4] |
3 | Anirban Majumdar | [1] |
4 | Trong Khiem Tran | [1] |