Items where Author is "Ghosh, Priyankar"

Article

Mukherjee, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) An integrated approach for fine-grained power and temperature management during high-level synthesis Journal of Low Power Electronics, 9 (3). pp. 350-362. ISSN 1546-1998

Mitra, Srobona ; Banerjee, Ansuman ; Dasgupta, Pallab ; Ghosh, Priyankar ; Kumar, Harish (2013) Formal guarantees for localized bug fixes IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32 (8). pp. 1274-1287. ISSN 0278-0070

Mukherjee, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) A multi-objective perspective for operator scheduling using finegrained DVS architectures International Journal of VLSI Design & Communication Systems, 4 (1). pp. 105-122. ISSN 0976-1527

Hazra, Aritra ; Ghosh, Priyankar ; Vadlamudi, S. G. ; Chakrabarti, P. P. ; Dasgupta, Pallab (2013) Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications IEEE Embedded Systems Letters, 5 (1). pp. 8-11. ISSN 1943-0663

Hazra, Aritra ; Ghosh, Priyankar ; Vadlamudi, S. G. ; Chakrabarti, P. P. ; Dasgupta, Pallab (2013) Formal methods for early analysis of functional reliability in component-based embedded applications IEEE Embedded Systems Letters, 5 (1). pp. 8-11. ISSN 1943-0663

Ghosh, Priyankar ; Hazra, Aritra ; Gonnabhaktula, Rahul ; Bhilegaonkar, Niraj ; Dasgupta, Pallab ; Mandal, Chittaranjan ; Paul, Krishna (2012) POWER-SIM: an SOC simulator for estimating power profiles of mobile workloads Journal of Low Power Electronics, 8 (3). pp. 293-303. ISSN 1546-1998

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim (2012) Cohesive Coverage Management: Simulation Meets Formal Methods Journal of Electronic Testing, 28 (4). pp. 449-468. ISSN 0923-8174

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim (2012) Cohesive coverage management: simulation meets formal methods Journal of Electronic Testing, 28 (4). pp. 449-468. ISSN 0923-8174

Conference or Workshop Item

Mukherjee, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) Operator scheduling revisited: a multi-objective perspective for fine-grained DVS architecture In: Second International Conference on Advances in Computing and Information Technology (ACITY), 2012, July 13-15, 2012, Chennai, India.

Ghosh, Priyankar ; Chakrabarti, P. P. ; Dasgupta, Pallab (2012) Execution ordering in AND/OR graphs with failure probabilities In: Fifth Annual Symposium on Combinatorial Search, 19-21 July 2012, Niagara Falls, Ontario, Canada.

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab (2012) Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems In: 2012 Forum on Specification and Design Languages (FDL), 18-20 September 2012, Vienna, Austria.

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim (2010) Coverage management with inline assertions and formal test points In: 2010 23rd International Conference on VLSI Design, 3-7 January 2010, Bangalore, India.

Ghosh, Priyankar ; Dasgupta, Pallab (2010) A formal method for detecting semantic conflicts in protocols between services with different ontologies In: Second International Conference on Web & Semantic Technology (WeST-2010), 23-25 July 2010, Chennai, India.

Mitra, Srobona ; Ain, Antara ; Ghosh, Priyankar ; Dasgupta, Pallab (2010) A study of modeling techniques in use in digital and mixed-signal domains for semi-formal verification In: 2010 IEEE Students Technology Symposium (TechSym), 3-4 April 2010, IIT Kharagpur, West Bengal, India.

Ghosh, Priyankar ; Ramesh, B ; Banerjee, Ansuman ; Dasgupta, Pallab (2009) Abstraction refinement for state space partitioning based on auxiliary state machines In: TENCON 2009 - 2009 IEEE Region 10 Conference, 23-26 January 2009, Singapore.

Mitra, Srobona ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha P. (2009) Incremental verification techniques for an updated architectural specification In: 2009 Annual IEEE India Conference, 18-20 December 2009, Gandhinagar, Gujarat, India.

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim (2009) Inline assertions - embedding formal properties in a test bench In: 2009 22nd International Conference on VLSI Design, 5-9 January 2009, New Delhi, India.