Get started
Author

Priyankar Ghosh

Institution: Samsung (India)
OpenAlex ID: A5103543174
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications
2013 · Aritra Hazra, Priyankar Ghosh, et al. · IEEE Embedded Systems Letters · 10
Formal Guarantees for Localized Bug Fixes
2013 · Srobona Mitra, Ansuman Banerjee, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 6
A Hybrid Test Architecture to Reduce Test Application Time in Full Scan Sequential Circuits
2009 · Priyankar Ghosh, Srobona Mitra, et al. · IEEE India Conference · 5
Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture
2012 · Rajdeep Mukherjee, Priyankar Ghosh, et al. · Advances in intelligent systems and computing · 3
A Formal Method for Detecting Semantic Conflicts in Protocols between Services with Different Ontologies
2010 · Priyankar Ghosh, Pallab Dasgupta · Communications in computer and information science · 3
Memory Footprint Optimization for Neural Network Inference in Mobile SoCs
2023 · Sakshi Agrawal, Priyankar Ghosh, et al. · IEEE Women in Technology Conference (WINTECHCON) · 2
A Multi-Objective Perspective for Operator Scheduling Using Finegrained DVS Architectures
2013 · Rajdeep Mukherjee, Priyankar Ghosh, et al. · International Journal of VLSI Design & Communication Systems · 2
PDF
Inline Assertions - Embedding Formal Properties in a Test Bench
2009 · Aritra Hazra, Priyankar Ghosh, et al. · International Conference on VLSI Design · 2
Cohesive Coverage Management: Simulation Meets Formal Methods
2012 · Aritra Hazra, Priyankar Ghosh, et al. · Journal of Electronic Testing · 1
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads
2012 · Priyankar Ghosh, Aritra Hazra, et al. · Journal of Low Power Electronics · 1
Anytime Algorithms for Biobjective Heuristic Search
2012 · Priyankar Ghosh, Partha Pratim Chakrabarti, et al. · Lecture notes in computer science · 1
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads
2011 · Priyankar Ghosh, Aritra Hazra, et al. · International Symposium on Electronic System Design · 1
Coverage Management with Inline Assertions and Formal Test Points
2010 · Aritra Hazra, Priyankar Ghosh, et al. · International Conference on VLSI Design · 1
Abstraction refinement for state space partitioning based on auxiliary state machines
2009 · Priyankar Ghosh, B Ramesh, et al. · IEEE Region 10 Conference (TENCON) · 1
Execution Ordering in AND/OR Graphs with Failure Probabilities
2021 · Priyankar Ghosh, P. Chakrabarti, et al. · Proceedings of the International Symposium on Combinatorial Search
PDF
An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis
2013 · Rajdeep Mukherjee, Priyankar Ghosh, et al. · Journal of Low Power Electronics
Algorithms for generating ordered solutions for explicit AND/OR structures: extended abstract
2013 · Priyankar Ghosh, Amit Sharma, et al. · International Joint Conference on Artificial Intelligence
Ordered Solution Generation for Implicit AND/OR Search Spaces
2013 · Priyankar Ghosh, Partha Pratim Chakrabarti, et al. · Lecture notes in computer science
PDF
HotSpot minimization using fine-grained DVS architecture at 90 nm technology
2012 · Rajdeep Mukherjee, Priyankar Ghosh, et al. · Asia Pacific Conference on Postgraduate Research in Microelectronics and Electronics
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems
2012 · Aritra Hazra, Priyankar Ghosh, et al. · Forum on specification and Design Languages
A study of modeling techniques in use in digital and mixed-signal domains for semi-formal verification
2010 · Srobona Mitra, Antara Ain, et al. · IEEE Students’ Technology Symposium
Arun Kumar Choudhury Best Paper Award
2010 · Microfluidic Biochips, Yang Zhao, et al.
Incremental Verification Techniques for an Updated Architectural Specification
2009 · Srobona Mitra, Priyankar Ghosh, et al. · IEEE India Conference
Works count: 24
Citation count: 39
H-index: 3
I10-index: 1
Year
Topic
Type