| 2008 |
|---|
| 9 | EE | Anup Kumar Bandyopadhyay:
Weakest precondition based verification tool that models spatial ordering.
ACM SIGSOFT Software Engineering Notes 33(2): (2008) |
| 2007 |
|---|
| 8 | EE | Jayasri Banerjee,
Anup Kumar Bandyopadhyay,
Ajit Kumar Mandal:
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.
ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
| 7 | EE | Jayasri Banerjee,
Anup Kumar Bandyopadhyay,
Ajit Kumar Mandal:
Ordering of events in two-process concurrent system.
ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
| 6 | EE | Anup Kumar Bandyopadhyay:
Modeling fairness and starvation in concurrent systems.
ACM SIGSOFT Software Engineering Notes 32(6): (2007) |
| 5 | EE | Jayasri Banerjee,
Anup Kumar Bandyopadhyay,
Ajit Kumar Mandal:
On the correctness issues in two-process mutual exclusion algorithms.
ACM SIGSOFT Software Engineering Notes 32(6): (2007) |
| 4 | EE | Jayasri Banerjee,
Anup Kumar Bandyopadhyay,
Ajit Kumar Mandal:
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.
SIGPLAN Notices 42(5): 10-15 (2007) |
| 2005 |
|---|
| 3 | EE | Awadhesh Kumar Singh,
Umesh Ghanekar,
Anup Kumar Bandyopadhyay:
Specifying Mobile Network using a wp-like Formal Approach.
Revista Comlombiana de Computación 6(2): 59-77 (2005) |
| 2004 |
|---|
| 2 | EE | Awadhesh Kumar Singh,
Anup Kumar Bandyopadhyay:
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.
J. Comput. Sci. Technol. 19(6): 795-802 (2004) |
| 1 | EE | Awadhesh Kumar Singh,
Anup Kumar Bandyopadhyay:
Adding the leads-to operator to Dijkstra's calculus.
SIGPLAN Notices 39(2): 12-17 (2004) |
