Priyankar Ghosh

According to our database, Priyankar Ghosh authored at least 19 papers between 2009 and 2013.

Collaborative distances:

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

2013

Formal Guarantees for Localized Bug Fixes.

Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis.

Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal

J. Low Power Electron., 2013

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.

Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2013

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture

Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal

CoRR, 2013

Ordered Solution Generation for Implicit AND/OR Search Spaces.

Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta

Proceedings of the Pattern Recognition and Machine Intelligence, 2013

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract.

Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta

Proceedings of the IJCAI 2013, 2013

2012

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

Priyankar Ghosh, Aritra Hazra, Rahul Gonnabhaktula, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul

J. Low Power Electron., 2012

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures.

Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta

J. Artif. Intell. Res., 2012

Verification by parts: reusing component invariant checking results.

Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta

IET Comput. Digit. Tech., 2012

Cohesive Coverage Management: Simulation Meets Formal Methods.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

J. Electron. Test., 2012

Execution Ordering in AND/OR Graphs with Failure Probabilities.

Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework.

Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal

Proceedings of the International Symposium on Electronic System Design, 2012

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Anytime Algorithms for Biobjective Heuristic Search.

Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture.

Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal

Proceedings of the Advances in Computing and Information Technology - Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India, 2012

2011

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

Priyankar Ghosh, Aritra Hazra, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul

Proceedings of the International Symposium on Electronic System Design, 2011

2010

Detecting Ontological Conflicts in Protocols between Semantic Web Services

Priyankar Ghosh, Pallab Dasgupta

CoRR, 2010

Coverage Management with Inline Assertions and Formal Test Points.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

2009

Inline Assertions - Embedding Formal Properties in a Test Bench.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009