( en | de | ru )

 

Disambiguation of "Ghosh, Priyankar"

Author of the publication

copydeleteadd this publication to your clipboard
Verification by parts: reusing component invariant checking results.

, , and . IET Comput. Digit. Tech., 6 (1): 19-32 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Ghosh

Subhajit Ghosh

Arabinda Ghosh

Arabinda Ghosh

Rajat Ghosh

 

Other publications of authors with the same name

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures., , , and . CoRR, (2014)POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads., , , , , , and . J. Low Power Electron., 8 (3): 293-303 (2012)An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis., , , and . J. Low Power Electron., 9 (3): 350-362 (2013)Formal Guarantees for Localized Bug Fixes., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (8): 1274-1287 (2013)A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture, , , and . CoRR, (2013)Verification by parts: reusing component invariant checking results., , and . IET Comput. Digit. Tech., 6 (1): 19-32 (2012)Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications., , , , and . IEEE Embed. Syst. Lett., 5 (1): 8-11 (2013)Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture., , , and . ACITY (3), volume 178 of Advances in Intelligent Systems and Computing, page 633-648. Springer, (2012)Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract., , , and . IJCAI, page 3156-3160. IJCAI/AAAI, (2013)Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems., , and . FDL, page 36-43. IEEE, (2012)