![]() |
| 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] |