Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (J. Comput. Sci. Technol., 2004)

Adding the leads-to operator to Dijkstra's calculus. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (ACM SIGPLAN Notices, 2004)

Specifying Mobile Network using a wp-like Formal Approach. - Awadhesh Kumar Singh; Umesh Ghanekar; Anup Kumar Bandyopadhyay (Rev. Colomb. de Computación, 2005)

Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGPLAN Notices, 2007)

Modeling fairness and starvation in concurrent systems. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2007)

Ordering of events in two-process concurrent system. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)

Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)

On the correctness issues in two-process mutual exclusion algorithms. - Jayasri Banerjee; Anup Kumar Bandyopadhyay; Ajit Kumar Mandal (ACM SIGSOFT Softw. Eng. Notes, 2007)

On single courier problem. - Malay Bhattacharyya 001; Anup Kumar Bandyopadhyay (Optim. Lett., 2008)

Weakest precondition based verification tool that models spatial ordering. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2008)

Comparative Study of Some Solution Methods for Traveling Salesman Problem Using Genetic Algorithms. - Malay Bhattacharyya 001; Anup Kumar Bandyopadhyay (Cybern. Syst., 2009)

Fairness and conspiracy concepts in concurrent systems. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2009)

Specifying Fault-Tolerance Using Split Precondition Logic. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (ICDCN, 2010)

Weakest precondition based modelling and verification of a class of concurrent systems. - Anup Kumar Bandyopadhyay (Int. J. Artif. Intell. Soft Comput., 2010)

Modeling of state transition rules and its application. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2010)

Spatial ordering of messages in a cyclic architecture. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2010)

Application of TLRO to dining philosophers problem. - Anup Kumar Bandyopadhyay; Nibedita Lenka (ACM SIGSOFT Softw. Eng. Notes, 2010)

TLRO based modeling of alternative commands and its application to generalized distributed resource allocation problem. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2011)

Application of TLRO to refute an incorrect mutual exclusion algorithm. - Anup Kumar Bandyopadhyay (ACM SIGSOFT Softw. Eng. Notes, 2012)