A framework for end-to-end verification for digital microfluidics
Roy, Pushpita, Banerjee, Ansuman, Bhattacharya, Bhargab B.
Published in Innovations in systems and software engineering (01.09.2021)
Published in Innovations in systems and software engineering (01.09.2021)
Get full text
Journal Article
Counterexample Ranking Using Mined Invariants
Mitra, Srobona, Banerjee, Ansuman, Dasgupta, Pallab, Kumar, Harish
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2013)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2013)
Get full text
Journal Article
QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement
Chattopadhyay, Soumi, Banerjee, Ansuman
Published in IEEE transactions on services computing (01.05.2020)
Published in IEEE transactions on services computing (01.05.2020)
Get full text
Journal Article
Roadside Traffic Monitoring Using Video Processing on the Edge
Jaipuria, Saumya, Banerjee, Ansuman, Bhattacharya, Arani
Published in 2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS) (03.01.2024)
Published in 2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS) (03.01.2024)
Get full text
Conference Proceeding
Service Selection With Package Bundles and Compatibility Constraints
Ray, Kaustabha, Banerjee, Ansuman, Mohalik, Swarup Kumar
Published in IEEE transactions on services computing (01.09.2022)
Published in IEEE transactions on services computing (01.09.2022)
Get full text
Journal Article
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
Nongpoh, Bernard, Ray, Rajarshi, Dutta, Saikat, Banerjee, Ansuman
Published in IEEE transactions on software engineering (01.12.2017)
Published in IEEE transactions on software engineering (01.12.2017)
Get full text
Journal Article
High-sensitivity, disposable lab-on-a-chip with thin-film organic electronics for fluorescence detection
Pais, Andrea, Banerjee, Ansuman, Klotzkin, David, Papautsky, Ian
Published in Lab on a chip (01.01.2008)
Published in Lab on a chip (01.01.2008)
Get full text
Journal Article
Verifying Coalitions in 3-Party Systems
Banerjee, A.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2012)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2012)
Get full text
Journal Article
A Shared BTB Design for Multicore Systems
Das, Moumita, Banerjee, Ansuman, Sardar, Bhaskar
Published in 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (01.02.2019)
Published in 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (01.02.2019)
Get full text
Conference Proceeding
Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache
Das, Moumita, Banerjee, Ansuman, Chaudhuri, Mainak, Sardar, Bhaskar
Published in IEEE embedded systems letters (01.09.2020)
Published in IEEE embedded systems letters (01.09.2020)
Get full text
Journal Article