Priyankar Ghosh

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