Detecting Ontological Conflicts in Protocols between Semantic Web Services, Priyankar Ghosh and Pallab Dasgupta. In the proceedings of International Journal of Web & Semantic Technology (IJWesT), October 2010, Volume 1, Number 4.

A Formal Method for Detecting Semantic Conflicts in Protocols between Services with Different Ontologies, Priyankar Ghosh and Pallab Dasgupta. In the proceedings of International Conference on Web & Semantic Technology (WeST), 2010.

Coverage Management with Inline Assertions and Formal Test Points, Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, P. P. Chakrabarti. In the proceedings of VLSI Design Conference 2010. Awarded as the Best Student Paper

Incremental Verification Techniques for an Updated Architectural Specification, Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta, P. P. Chakrabarti. In INDICON Conference, December 2009.

A Novel Methodology to Assist Client Side Testing of Interactive Web Applications, Priyankar Ghosh, Srobona Mitra, Pallab Dasgupta. In INDICON Conference, December 2009.

Abstraction Refinement for State Space Partitioning based on Auxiliary State Machines, Priyankar Ghosh, B. Ramesh, Ansuman Banerjee, Pallab Dasgupta. In IEEE TENCON Conference, November 2009.

Inline Assertions - Embedding Formal Properties in a Test Bench, Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, P. P. Chakrabarti. In the proceedings of VLSI Design Conference 2009.