Anup Kumar Bandyopadhyay

19 papers Misc 1Journal 18
YearRankTypeTitle / Venue / Authors
2012 J jnl
Application of TLRO to refute an incorrect mutual exclusion algorithm.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2011 J jnl
TLRO based modeling of alternative commands and its application to generalized distributed resource allocation problem.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2010 J jnl
Application of TLRO to dining philosophers problem.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay, Nibedita Lenka
2010 J jnl
Modeling of state transition rules and its application.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2010 J jnl
Spatial ordering of messages in a cyclic architecture.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2010 Misc conf
Specifying Fault-Tolerance Using Split Precondition Logic.
ICDCN
Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay
2010 J jnl
Weakest precondition based modelling and verification of a class of concurrent systems.
Int. J. Artif. Intell. Soft Comput.
Anup Kumar Bandyopadhyay
2009 J jnl
Comparative Study of Some Solution Methods for Traveling Salesman Problem Using Genetic Algorithms.
Cybern. Syst.
Malay Bhattacharyya, Anup Kumar Bandyopadhyay
2009 J jnl
Fairness and conspiracy concepts in concurrent systems.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2008 J jnl
On single courier problem.
Optim. Lett.
Malay Bhattacharyya, Anup Kumar Bandyopadhyay
2008 J jnl
Weakest precondition based verification tool that models spatial ordering.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2007 J jnl
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.
ACM SIGSOFT Softw. Eng. Notes
Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal
2007 J jnl
Modeling fairness and starvation in concurrent systems.
ACM SIGSOFT Softw. Eng. Notes
Anup Kumar Bandyopadhyay
2007 J jnl
On the correctness issues in two-process mutual exclusion algorithms.
ACM SIGSOFT Softw. Eng. Notes
Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal
2007 J jnl
Ordering of events in two-process concurrent system.
ACM SIGSOFT Softw. Eng. Notes
Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal
2007 J jnl
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.
ACM SIGPLAN Notices
Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal
2005 J jnl
Specifying Mobile Network using a wp-like Formal Approach.
Rev. Colomb. de Computación
Awadhesh Kumar Singh, Umesh Ghanekar, Anup Kumar Bandyopadhyay
2004 J jnl
Adding the leads-to operator to Dijkstra's calculus.
ACM SIGPLAN Notices
Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay
2004 J jnl
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.
J. Comput. Sci. Technol.
Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay