Anshuman Mukherjee

According to our database, Anshuman Mukherjee authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

A Spring Based Framework for Verification of Service Composition.

Anshuman Mukherjee, Zahir Tari, Peter Bertók

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Memory efficient state-space analysis in software model-checking.

Anshuman Mukherjee, Zahir Tari, Peter Bertók

Proceedings of the Computer Science 2010, 2010

2009

Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets.

Anshuman Mukherjee, Zahir Tari, Peter Bertók

Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009