Formal Guarantees for Localized Bug Fixes
Mitra, Srobona, Banerjee, Ansuman, Dasgupta, Pallab, Ghosh, Priyankar, Kumar, Harish
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2013)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2013)
Get full text
Journal Article
DETERMINATION OF CLONAZEPAM IN HAIR AND NAIL USING LIQUID CHROMATOGRAPHY TANDEM MASS SPECTROMETRY (LC-MS/MS)
John, Cijo, Ghosh, Priyankar, Varshney, K. M., Kaur, Sukhminder, Shukla, S. K., Satyanarayana, S.
Published in Journal of liquid chromatography & related technologies (27.08.2014)
Published in Journal of liquid chromatography & related technologies (27.08.2014)
Get full text
Journal Article
Cohesive Coverage Management: Simulation Meets Formal Methods
Hazra, Aritra, Ghosh, Priyankar, Dasgupta, Pallab, Chakrabarti, Partha Pratim
Published in Journal of electronic testing (01.08.2012)
Published in Journal of electronic testing (01.08.2012)
Get full text
Journal Article
Memory Footprint Optimization for Neural Network Inference in Mobile SoCs
Agrawal, Sakshi, Ghosh, Priyankar, Kumar, Gaurav, Radhika, Tripuraneni
Published in 2023 IEEE Women in Technology Conference (WINTECHCON) (21.09.2023)
Published in 2023 IEEE Women in Technology Conference (WINTECHCON) (21.09.2023)
Get full text
Conference Proceeding
Execution Ordering in AND/OR Graphs with Failure Probabilities
Ghosh, Priyankar, Chakrabarti, P., Dasgupta, Pallab
Published in Proceedings of the International Symposium on Combinatorial Search (20.08.2021)
Published in Proceedings of the International Symposium on Combinatorial Search (20.08.2021)
Get full text
Journal Article
Simultaneous determination of methaqaulone, saccharin, paracetamol, and phenacetin in illicit drug samples by hplc
Idris, Mohd, John, Cijo, Ghosh, Priyankar, Shukla, Sudhir Kumar, Baggi, Tulsidas Ramachandra Rao
Published in Journal of analytical science and technology (18.04.2013)
Published in Journal of analytical science and technology (18.04.2013)
Get full text
Journal Article
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications
Hazra, A., Ghosh, P., Vadlamudi, S. G., Chakrabarti, P. P., Dasgupta, P.
Published in IEEE embedded systems letters (01.03.2013)
Published in IEEE embedded systems letters (01.03.2013)
Get full text
Journal Article
Source identification of Indian opium based on chromatographic fingerprinting of amino acids
Krishna Reddy, M.M., Ghosh, Priyankar, Rasool, S.N., Sarin, R.K., Sashidhar, R.B.
Published in Journal of Chromatography A (23.09.2005)
Published in Journal of Chromatography A (23.09.2005)
Get full text
Journal Article
Conference Proceeding
Coverage Management with Inline Assertions and Formal Test Points
Hazra, A., Ghosh, P., Dasgupta, P., Chakrabarti, P.P.
Published in 2010 23rd International Conference on VLSI Design (01.01.2010)
Published in 2010 23rd International Conference on VLSI Design (01.01.2010)
Get full text
Conference Proceeding
Inline Assertions - Embedding Formal Properties in a Test Bench
Hazra, A., Ghosh, P., Dasgupta, P., Chakrabarti, P.P.
Published in 2009 22nd International Conference on VLSI Design (01.01.2009)
Published in 2009 22nd International Conference on VLSI Design (01.01.2009)
Get full text
Conference Proceeding
Detecting Ontological Conflicts in Protocols between Semantic Web Services
Get full text
Paper
Journal Article