Priyankar Ghosh

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Anytime Algorithms

Invariant Representations

Top Venues

J. Low Power Electron.

IET Comput. Digit. Tech.

Publications

Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR (2014)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. J. Low Power Electron. 9 (3) (2013)
Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI (2013)
Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta
Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI (2013)
Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar
Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (8) (2013)
Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5 (1) (2013)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture CoRR (2013)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28 (4) (2012)
Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta
Verification by parts: reusing component invariant checking results. IET Comput. Digit. Tech. 6 (1) (2012)
Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta
Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS (2012)
Priyankar Ghosh, Aritra Hazra, Rahul Gonnabhaktula, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. J. Low Power Electron. 8 (3) (2012)
Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal
Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. ISED (2012)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. FDL (2012)
Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. 44 (2012)
Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta
Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence (2012)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. ACITY (3) (2012)
Priyankar Ghosh, Aritra Hazra, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. ISED (2011)
Priyankar Ghosh, Pallab Dasgupta
Detecting Ontological Conflicts in Protocols between Semantic Web Services CoRR (2010)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design (2010)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design (2009)